public class ResolutionStep
extends java.lang.Object
| Constructor and Description |
|---|
ResolutionStep(ResolutionPair pair,
Clause r,
java.util.Map<VariableParam,LiteralParam> unificator) |
| Modifier and Type | Method and Description |
|---|---|
ResolutionPair |
getPair() |
Clause |
getR() |
java.util.Map<VariableParam,LiteralParam> |
getUnificator() |
public ResolutionStep(ResolutionPair pair, Clause r, java.util.Map<VariableParam,LiteralParam> unificator)
public ResolutionPair getPair()
public Clause getR()
public java.util.Map<VariableParam,LiteralParam> getUnificator()