MatchSystem

Constructors
Constructor and Description
`MatchSystem()`
`MatchSystem(MatchProblem problem, Substitution sigma)`

Methods
Modifier and Type	Method and Description
`void`	`apply(Substitution theta)`
`void`	`apply(Variable fromVar, TermNode toTerm)`
`MatchSystem`	`copy()`
`void`	`eliminateSeqVariable(HedgeVar seqVar)`
`MatchSystem`	`getNext()`
`MatchProblem`	`getProblem()`
`Substitution`	`getSigma()`
`void`	`setNext(MatchSystem next)`
`String`	`toString()`

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

public MatchSystem(MatchProblem problem,
           Substitution sigma)

public void apply(Substitution theta)

public void apply(Variable fromVar,
         TermNode toTerm)

public void eliminateSeqVariable(HedgeVar seqVar)

public void setNext(MatchSystem next)

Class MatchSystem