Package | Description |
---|---|
at.jku.risc.stout.uru.algo | |
at.jku.risc.stout.uru.data |
This package contains the classes which are needed to build up the term tree.
|
at.jku.risc.stout.uru.data.atom |
Modifier and Type | Method and Description |
---|---|
Set<HedgeVar> |
UnifProblem.collectHedgeVars() |
Modifier and Type | Method and Description |
---|---|
void |
UnifSystem.eliminateSeqVariable(HedgeVar seqVar) |
Modifier and Type | Method and Description |
---|---|
void |
UnifEquation.collectHedgeVars(Set<HedgeVar> atoms) |
Modifier and Type | Method and Description |
---|---|
Set<HedgeVar> |
TermNode.collectHedgeVars(Set<HedgeVar> atoms) |
Modifier and Type | Method and Description |
---|---|
Set<HedgeVar> |
TermNode.collectHedgeVars(Set<HedgeVar> atoms) |
Modifier and Type | Method and Description |
---|---|
static HedgeVar |
NodeFactory.obtainFreshHedgeVar() |