Give vector more specific type

[satune.git] / src / Encoders / ordergraph.h

diff --git a/src/Encoders/ordergraph.h b/src/Encoders/ordergraph.h
index 1848d2e7c197c6fc941b31c56d745b75ec6cbdf8..a30c9f94d302981874987d95a061e572202173ca 100644 (file)
--- a/src/Encoders/ordergraph.h
+++ b/src/Encoders/ordergraph.h
@@ -15,14 +15,13 @@ struct OrderGraph {
        HashSetOrderNode* nodes;
        HashSetOrderEdge* edges;
        Order* order;
-       VectorOrderNode scc;
 };
 
 OrderGraph* allocOrderGraph(Order *order);
-void addOrderConstraintToOrderGraph(OrderGraph* graph, Boolean* constr);
+void addOrderConstraintToOrderGraph(OrderGraph* graph, BooleanOrder* bOrder);
 OrderNode* getOrderNodeFromOrderGraph(OrderGraph* graph, uint64_t id);
 OrderEdge* getOrderEdgeFromOrderGraph(OrderGraph* graph, OrderNode* begin, OrderNode* end);
-void addOrderEdge(OrderGraph* graph, OrderNode* node1, OrderNode* node2, Boolean* constr);
+void addOrderEdge(OrderGraph* graph, OrderNode* node1, OrderNode* node2, BooleanOrder* constr);
 void deleteOrderGraph(OrderGraph* graph);
 OrderEdge* getInverseOrderEdge(OrderGraph* graph, OrderEdge *edge);
 #endif /* ORDERGRAPH_H */