Package | Description |
---|---|
at.jku.risc.stout.urau.algo |
This package contains the classes of the rule based system
AntiUnifySystem, the corresponding
problem definition AntiUnifyProblem
and some standard implementations of a rigidity function
(RigidityFncSubsequence,
RigidityFncSubstring ).
|
at.jku.risc.stout.urau.data |
This package contains the classes which are needed to build up the term tree.
|
Constructor and Description |
---|
AntiUnifyProblem(Hedge left,
Hedge right)
Create an AUP with a fresh hedge variable as generalization variable and
the given hedges.
|
Modifier and Type | Field and Description |
---|---|
static Hedge |
TermNode.nullHedge |
Modifier and Type | Method and Description |
---|---|
Hedge |
Hedge.apply(Map<Variable,TermNode> sigma) |
Hedge |
Hedge.clone() |
Hedge |
NodeFactory.createHedge(TermNode... nodes) |
Hedge |
TermNode.getHedge() |
Hedge |
NodeFactory.popHedge() |
Hedge |
Hedge.substitute(Variable x,
TermNode t) |
Modifier and Type | Method and Description |
---|---|
TermNode |
NodeFactory.createFunction(String name,
Hedge hedge) |
abstract boolean |
TermNode.TraverseCallBack.exec(TermAtom atom,
Hedge hedge)
Propagation will stop as soon as this method returns true.
|
static TermNode |
NodeFactory.newNode(TermAtom atom,
Hedge hedge) |
void |
TermNode.setHedge(Hedge hedge)
Null values are transformed to unique objects which represent the null
value.
|
Constructor and Description |
---|
TermNode(TermAtom atom,
Hedge hedge)
Instantiates a new term node.
|