at.jku.risc.stout.uru.algo

Class UnifProblem

java.lang.Object

at.jku.risc.stout.uru.algo.UnifProblem

public class UnifProblem
extends Object

Constructor Summary

Constructors

Constructor and Description
UnifProblem()

Method Summary

Methods

Modifier and Type	Method and Description
void	add(UnifEquation eq)
void	apply(Substitution theta)
void	apply(Variable fromVar, TermNode toTerm)
Set<HedgeVar>	collectHedgeVars()
UnifProblem	copy()
boolean	equals(Object obj)
UnifEquation	getFirst()
boolean	isEmpty()
UnifEquation	remove()
String	toString()

Methods inherited from class java.lang.Object

getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

UnifProblem

public UnifProblem()

Method Detail

add

public void add(UnifEquation eq)

apply

public void apply(Substitution theta)

apply

public void apply(Variable fromVar,
         TermNode toTerm)

collectHedgeVars

public Set<HedgeVar> collectHedgeVars()

copy

public UnifProblem copy()

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

getFirst

public UnifEquation getFirst()

isEmpty

public boolean isEmpty()

remove

public UnifEquation remove()

toString

public String toString()

Overrides:

toString in class Object