at.jku.risc.stout.uru.algo

Class UnifAlgorithm

java.lang.Object

at.jku.risc.stout.uru.algo.UnifAlgorithm

public class UnifAlgorithm
extends Object

Constructor Summary

Constructors

Constructor and Description
UnifAlgorithm(UnifSystem system, long maxDerivationDepth)

Method Summary

Methods

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)

Methods inherited from class java.lang.Object

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

Constructor Detail

UnifAlgorithm

public UnifAlgorithm(UnifSystem system,
             long maxDerivationDepth)

Method Detail

getInitialSystem

public UnifSystem getInitialSystem()

getMaxDerivationDepth

public long getMaxDerivationDepth()

getResult

public Set<Substitution> getResult()

isMaxDepthReached

public boolean isMaxDepthReached()

unify

public Set<Substitution> unify(DebugLevel debugLevel,
                      PrintStream debugOut,
                      PrintStream debugErr,
                      boolean justify)