UnifSystem

Constructors
Constructor and Description
`UnifSystem()`
`UnifSystem(UnifProblem problem, Substitution sigma)`

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

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

public UnifSystem(UnifProblem problem,
          Substitution sigma)

public void apply(Substitution theta)

public void apply(Variable fromVar,
         TermNode toTerm)

public void eliminateSeqVariable(HedgeVar seqVar)

Class UnifSystem