diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2005-12-25 08:01:00 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2005-12-25 08:01:00 -0800 |
| commit | a6aec18afb8cf503d9168a22197867c5f431fbb8 (patch) | |
| tree | be5f8c2306d415149654574fef987d83c1ee60ff /src/sat/msat/msatSolverApi.c | |
| parent | 457e243e588e7ed5f39251784335e254a0c9e711 (diff) | |
| download | abc-a6aec18afb8cf503d9168a22197867c5f431fbb8.tar.gz abc-a6aec18afb8cf503d9168a22197867c5f431fbb8.tar.bz2 abc-a6aec18afb8cf503d9168a22197867c5f431fbb8.zip | |
Version abc51225
Diffstat (limited to 'src/sat/msat/msatSolverApi.c')
| -rw-r--r-- | src/sat/msat/msatSolverApi.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/sat/msat/msatSolverApi.c b/src/sat/msat/msatSolverApi.c index dd3a5a43..4a721487 100644 --- a/src/sat/msat/msatSolverApi.c +++ b/src/sat/msat/msatSolverApi.c @@ -42,6 +42,7 @@ static void Msat_SolverSetupTruthTables( unsigned uTruths[][2] ); ***********************************************************************/ int Msat_SolverReadVarNum( Msat_Solver_t * p ) { return p->nVars; } +int Msat_SolverReadClauseNum( Msat_Solver_t * p ) { return p->nClauses; } int Msat_SolverReadVarAllocNum( Msat_Solver_t * p ) { return p->nVarsAlloc;} int Msat_SolverReadDecisionLevel( Msat_Solver_t * p ) { return Msat_IntVecReadSize(p->vTrailLim); } int * Msat_SolverReadDecisionLevelArray( Msat_Solver_t * p ) { return p->pLevel; } |