Package owl.logic.propositional.sat
Interface IncrementalSolver
-
- All Known Implementing Classes:
JbddIncrementalSolver
public interface IncrementalSolver
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description Optional<BitSet>model()voidpopClauses()voidpushClauses(int... clauses)voidpushClauses(com.google.common.primitives.ImmutableIntArray clauses)
-