UnitResolutionSolver (jaicore-logic 0.2.5 API)

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 Description
  
  UnitResolutionSolver()
- Method Summary
  
  All Methods Instance Methods Concrete Methods
  Modifier and Type Method 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