at.jku.risc.stout.urmc.algo

Class MatchProblem

java.lang.Object

at.jku.risc.stout.urmc.algo.MatchProblem

public class MatchProblem
extends Object

Constructor Summary

Constructors

Constructor and Description
MatchProblem()

Method Summary

Methods

Modifier and Type	Method and Description
void	add(MatchEquation eq)
void	apply(Substitution theta)
void	apply(Variable fromVar, TermNode toTerm)
MatchProblem	copy()
boolean	equals(Object obj)
MatchEquation	getFirst()
boolean	isEmpty()
MatchEquation	remove()
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

MatchProblem

public MatchProblem()

Method Detail

add

public void add(MatchEquation eq)

apply

public void apply(Substitution theta)

apply

public void apply(Variable fromVar,
         TermNode toTerm)

copy

public MatchProblem copy()

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

getFirst

public MatchEquation getFirst()

isEmpty

public boolean isEmpty()

remove

public MatchEquation remove()

toString

public String toString()

Overrides:

toString in class Object