ai.libs.jaicore.logic.fol.algorithms.resolution

Class UnitResolutionSolver

java.lang.Object

ai.libs.jaicore.logic.fol.algorithms.resolution.Solver

ai.libs.jaicore.logic.fol.algorithms.resolution.UnitResolutionSolver

public class UnitResolutionSolver
extends Solver

Constructor Summary

Constructors

Constructor and Description
UnitResolutionSolver()

Method Summary

Modifier and Type	Method and Description
protected java.util.List<ResolutionPair>	getAdmissiblePairs(java.util.List<ResolutionPair> pairs)

Methods inherited from class ai.libs.jaicore.logic.fol.algorithms.resolution.Solver

addFormula, getClausesWithSamePredicates, getFormulas, getInternalRepresentationOfFormulas, getNextPair, getPossibleResolutionPairs, getPossibleResolutionPairs, getPossibleResolutionsPairsOfClauses, getTree, getUnificatorForLiterals, isClauseAlreadyContainedInFormula, isSatisfiable, isSatisfiable, isSatisfiable, performResolutionStepForPair, performResolutionUntilEmptyClauseIsFound, removeFormula

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

UnitResolutionSolver

public UnitResolutionSolver()

Method Detail

getAdmissiblePairs

protected java.util.List<ResolutionPair> getAdmissiblePairs(java.util.List<ResolutionPair> pairs)

Specified by:

getAdmissiblePairs in class Solver