+ size=getSizeVectorPredicate(This->allPredicates);
+ for(uint i=0;i<size;i++) {
+ deletePredicate(getVectorPredicate(This->allPredicates, i));
+ }
+ deleteVectorPredicate(This->allPredicates);
+
+ size=getSizeVectorOrder(This->allOrders);
+ for(uint i=0;i<size;i++) {
+ deleteOrder(getVectorOrder(This->allOrders, i));
+ }
+ deleteVectorOrder(This->allOrders);
+
+ size=getSizeVectorFunction(This->allFunctions);
+ for(uint i=0;i<size;i++) {
+ deleteFunction(getVectorFunction(This->allFunctions, i));
+ }
+ deleteVectorFunction(This->allFunctions);
+ deleteSATEncoder(This->satEncoder);
+ ourfree(This);