- public:
- IncrementalSolver();
- ~IncrementalSolver();
- void addClauseLiteral(int literal);
- void finishedClauses();
- void freeze(int variable);
- int solve();
+public:
+ IncrementalSolver();
+ ~IncrementalSolver();
+ void addClauseLiteral(int literal);
+ void finishedClauses();
+ void freeze(int variable);
+ int solve();