diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2006-09-16 08:01:00 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2006-09-16 08:01:00 -0700 |
commit | 370578bf1c4504b65f49ab63fcf7ed9c88a15d69 (patch) | |
tree | d8297df3e080f52c6526fd7ccded9dd4cc601f2d /src/sat/msat/msat.h | |
parent | aab0c478e4c78c6856919fcd1027583ca148f3eb (diff) | |
download | abc-370578bf1c4504b65f49ab63fcf7ed9c88a15d69.tar.gz abc-370578bf1c4504b65f49ab63fcf7ed9c88a15d69.tar.bz2 abc-370578bf1c4504b65f49ab63fcf7ed9c88a15d69.zip |
Version abc60916
Diffstat (limited to 'src/sat/msat/msat.h')
-rw-r--r-- | src/sat/msat/msat.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/sat/msat/msat.h b/src/sat/msat/msat.h index 1d9c0005..53353ba6 100644 --- a/src/sat/msat/msat.h +++ b/src/sat/msat/msat.h @@ -104,6 +104,7 @@ extern void Msat_SolverSetVarTypeA( Msat_Solver_t * p, int Var ); extern void Msat_SolverSetVarMap( Msat_Solver_t * p, Msat_IntVec_t * vVarMap ); extern void Msat_SolverMarkLastClauseTypeA( Msat_Solver_t * p ); extern void Msat_SolverMarkClausesStart( Msat_Solver_t * p ); +extern float * Msat_SolverReadFactors( Msat_Solver_t * p ); // returns the solution after incremental solving extern int Msat_SolverReadSolutions( Msat_Solver_t * p ); extern int * Msat_SolverReadSolutionsArray( Msat_Solver_t * p ); |