/** This function creates an empty instance table.*/
-Table * createTable(CSolver *solver, Element **domains, uint numDomain, Element * range);
+Table * createTable(CSolver *solver, Set **domains, uint numDomain, Set * range);
/** This function adds an input output relation to a table. */
/** This function instantiates a boolean on two items in an order. */
Boolean * orderConstraint(CSolver *, Order * order, uint64_t first, uint64_t second);
+
+/** When everything is done, the client calls this function and then csolver starts to encode*/
+void startEncoding(CSolver*);
#endif