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

Class ResolutionStep

java.lang.Object

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

public class ResolutionStep
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
ResolutionStep(ResolutionPair pair, Clause r, java.util.Map<VariableParam,LiteralParam> unificator)

Method Summary

Modifier and Type	Method and Description
ResolutionPair	getPair()
Clause	getR()
java.util.Map<VariableParam,LiteralParam>	getUnificator()

Methods inherited from class java.lang.Object

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

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()