public class UnifAlgorithm extends Object
Constructor and Description |
---|
UnifAlgorithm(UnifSystem system,
long maxDerivationDepth) |
Modifier and Type | Method and Description |
---|---|
UnifSystem |
getInitialSystem() |
long |
getMaxDerivationDepth() |
Set<Substitution> |
getResult() |
boolean |
isMaxDepthReached() |
Set<Substitution> |
unify(DebugLevel debugLevel,
PrintStream debugOut,
PrintStream debugErr,
boolean justify) |
public UnifAlgorithm(UnifSystem system, long maxDerivationDepth)
public UnifSystem getInitialSystem()
public long getMaxDerivationDepth()
public Set<Substitution> getResult()
public boolean isMaxDepthReached()
public Set<Substitution> unify(DebugLevel debugLevel, PrintStream debugOut, PrintStream debugErr, boolean justify)