Class ResolutionStep
- java.lang.Object
-
- ai.libs.jaicore.logic.fol.algorithms.resolution.ResolutionStep
-
public class ResolutionStep extends java.lang.Object
-
-
Constructor Summary
Constructors Constructor Description ResolutionStep(ResolutionPair pair, Clause r, java.util.Map<VariableParam,LiteralParam> unificator)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description ResolutionPair
getPair()
Clause
getR()
java.util.Map<VariableParam,LiteralParam>
getUnificator()
-
-
-
Constructor Detail
-
ResolutionStep
public ResolutionStep(ResolutionPair pair, Clause r, java.util.Map<VariableParam,LiteralParam> unificator)
-
-
Method Detail
-
getPair
public ResolutionPair getPair()
-
getR
public Clause getR()
-
getUnificator
public java.util.Map<VariableParam,LiteralParam> getUnificator()
-
-