Implementing the generic interface

• consistent? (?)

  • returns true iff ? has no conflicts after unit propagation terminates

• follows-from? (literal, ?)

  • returns literal’s label after unit propagation terminates

• supporting-clause (literal, ?)

supporting-literals (literal, ?)

• returns the clause and literals, respectively, that support literal after unit propagation terminates

Previous slide

Next slide

Back to first slide

View graphic version