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"
21 struct IncrementalSolver {
31 IncrementalSolver * allocIncrementalSolver();
32 void deleteIncrementalSolver(IncrementalSolver * This);
33 void addClauseLiteral(IncrementalSolver * This, int literal);
34 void finishedClauses(IncrementalSolver * This);
35 void freeze(IncrementalSolver * This, int variable);
36 int solve(IncrementalSolver * This);
37 void startSolve(IncrementalSolver * This);
38 int getSolution(IncrementalSolver * This);
39 bool getValueSolver(IncrementalSolver * This, int variable);
40 void resetSolver(IncrementalSolver * This);
41 void createSolver(IncrementalSolver * This);
42 void killSolver(IncrementalSolver * This);
43 void flushBufferSolver(IncrementalSolver * This);
44 int readIntSolver(IncrementalSolver * This);
45 void readSolver(IncrementalSolver * This, void * buffer, ssize_t size);