1 /* Copyright (c) 2015 Regents of the University of California
3 * Author: Brian Demsky <bdemsky@uci.edu>
5 * This program is free software; you can redistribute it and/or
6 * modify it under the terms of the GNU General Public License
7 * version 2 as published by the Free Software Foundation.
12 #include <sys/types.h>
18 #include "solver_interface.h"
19 #include "classlist.h"
23 struct IncrementalSolver {
34 IncrementalSolver *allocIncrementalSolver();
35 void deleteIncrementalSolver(IncrementalSolver *This);
36 void addClauseLiteral(IncrementalSolver *This, int literal);
37 void addArrayClauseLiteral(IncrementalSolver *This, uint numliterals, int *literals);
38 void finishedClauses(IncrementalSolver *This);
39 void freeze(IncrementalSolver *This, int variable);
40 int solve(IncrementalSolver *This);
41 void startSolve(IncrementalSolver *This);
42 int getSolution(IncrementalSolver *This);
43 bool getValueSolver(IncrementalSolver *This, int variable);
44 void resetSolver(IncrementalSolver *This);
45 void createSolver(IncrementalSolver *This);
46 void killSolver(IncrementalSolver *This);
47 void flushBufferSolver(IncrementalSolver *This);
48 int readIntSolver(IncrementalSolver *This);
49 int readStatus(IncrementalSolver *This);
50 void readSolver(IncrementalSolver *This, void *buffer, ssize_t size);