Package owl.logic.propositional.sat

Interface IncrementalSolver

All Known Implementing Classes:

JbddIncrementalSolver

public interface IncrementalSolver

Method Summary

Modifier and Type	Method	Description
Optional<BitSet>	model()
void	popClauses()
void	pushClauses(int... clauses)
void	pushClauses(com.google.common.primitives.ImmutableIntArray clauses)

Method Detail

model

Optional<BitSet> model()

popClauses

void popClauses()

pushClauses

void pushClauses(int... clauses)

pushClauses

void pushClauses(com.google.common.primitives.ImmutableIntArray clauses)