public class UnitResolutionSolver extends Solver
| Constructor and Description |
|---|
UnitResolutionSolver() |
| Modifier and Type | Method and Description |
|---|---|
protected java.util.List<ResolutionPair> |
getAdmissiblePairs(java.util.List<ResolutionPair> pairs) |
addFormula, getClausesWithSamePredicates, getFormulas, getInternalRepresentationOfFormulas, getNextPair, getPossibleResolutionPairs, getPossibleResolutionPairs, getPossibleResolutionsPairsOfClauses, getTree, getUnificatorForLiterals, isClauseAlreadyContainedInFormula, isSatisfiable, isSatisfiable, isSatisfiable, performResolutionStepForPair, performResolutionUntilEmptyClauseIsFound, removeFormulaprotected java.util.List<ResolutionPair> getAdmissiblePairs(java.util.List<ResolutionPair> pairs)
getAdmissiblePairs in class Solver