more edits

[satune.git] / src / Backend / inc_solver.h

diff --git a/src/Backend/inc_solver.h b/src/Backend/inc_solver.h
index 15e5def4ccd8c498f7bca94694bf3b01938205bb..9b3e2ab55cc61f6ee503bcd81288e66974a5e538 100644 (file)
--- a/src/Backend/inc_solver.h
+++ b/src/Backend/inc_solver.h
@@ -31,6 +31,7 @@ struct IncrementalSolver {
 IncrementalSolver * allocIncrementalSolver();
 void deleteIncrementalSolver(IncrementalSolver * This);
 void addClauseLiteral(IncrementalSolver * This, int literal);
+void addArrayClauseLiteral(IncrementalSolver * This, uint numliterals, int * literals);
 void finishedClauses(IncrementalSolver * This);
 void freeze(IncrementalSolver * This, int variable);
 int solve(IncrementalSolver * This);