Switch to vector class

[satune.git] / src / AST / order.cc

diff --git a/src/AST/order.cc b/src/AST/order.cc
index f797d9b029d7e176c9503cb26119987bff415385..544307553a4bb3246927d7c9ed9e8ab8db7be2bb 100644 (file)
--- a/src/AST/order.cc
+++ b/src/AST/order.cc
@@ -5,7 +5,6 @@
 #include "ordergraph.h"
 
 Order::Order(OrderType _type, Set *_set) : type(_type), set(_set), orderPairTable(NULL), elementTable(NULL), graph(NULL) {
-       initDefVectorBooleanOrder(&constraints);
        initOrderEncoding(&order, this);
 }
 
@@ -18,7 +17,7 @@ void Order::initializeOrderElementsHashTable() {
 }
 
 void Order::addOrderConstraint(BooleanOrder *constraint) {
-       pushVectorBooleanOrder(&constraints, constraint);
+       constraints.push(constraint);
 }
 
 void Order::setOrderEncodingType(OrderEncodingType type) {
@@ -26,7 +25,6 @@ void Order::setOrderEncodingType(OrderEncodingType type) {
 }
 
 Order::~Order() {
-       deleteVectorArrayBooleanOrder(&constraints);
        deleteOrderEncoding(&order);
        if (orderPairTable != NULL) {
                resetAndDeleteHashTableOrderPair(orderPairTable);