Switch to vector class
[satune.git] / src / ASTAnalyses / ordergraph.cc
index 0871a414d450f5a2906dd86d80f3f9f586e1a491..a9d974d48ddee38baf0b927c6ddc5d9837567459 100644 (file)
@@ -15,9 +15,9 @@ OrderGraph *allocOrderGraph(Order *order) {
 
 OrderGraph *buildOrderGraph(Order *order) {
        OrderGraph *orderGraph = allocOrderGraph(order);
-       uint constrSize = getSizeVectorBooleanOrder(&order->constraints);
+       uint constrSize = order->constraints.getSize();
        for (uint j = 0; j < constrSize; j++) {
-               addOrderConstraintToOrderGraph(orderGraph, getVectorBooleanOrder(&order->constraints, j));
+               addOrderConstraintToOrderGraph(orderGraph, order->constraints.get(j));
        }
        return orderGraph;
 }
@@ -25,9 +25,9 @@ OrderGraph *buildOrderGraph(Order *order) {
 //Builds only the subgraph for the must order graph.
 OrderGraph *buildMustOrderGraph(Order *order) {
        OrderGraph *orderGraph = allocOrderGraph(order);
-       uint constrSize = getSizeVectorBooleanOrder(&order->constraints);
+       uint constrSize = order->constraints.getSize();
        for (uint j = 0; j < constrSize; j++) {
-               addMustOrderConstraintToOrderGraph(orderGraph, getVectorBooleanOrder(&order->constraints, j));
+               addMustOrderConstraintToOrderGraph(orderGraph, order->constraints.get(j));
        }
        return orderGraph;
 }