Package | Description |
---|---|
at.jku.risc.stout.urauc.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
(AlignFncLAA,
AlignFncInput ).
|
at.jku.risc.stout.urauc.data |
This package contains the classes which are needed to build up the term tree.
|
at.jku.risc.stout.urauc.data.atom |
Modifier and Type | Method and Description |
---|---|
void |
AntiUnifyProblem.addLeft(TermNode left) |
void |
AntiUnifyProblem.addRight(TermNode right) |
Hedge |
AntiUnifyProblem.newHedge(TermNode... nodes)
Creates a new hedge which is commutative iff
AntiUnifyProblem.getHorizontalPartX().checkCommutative() is true.
|
Modifier and Type | Method and Description |
---|---|
TermNode |
TermNode.apply(Map<Variable,TermNode> sigma)
Applies a substitution recursively and returns the new
TermNode.
|
TermNode |
TermNode.clone() |
TermNode |
NodeFactory.createConstant(String name) |
TermNode |
NodeFactory.createContextVar(String name,
Hedge hedge) |
TermNode |
NodeFactory.createFunction(String name,
Hedge hedge) |
TermNode |
NodeFactory.createFunctionVar(String name,
Hedge hedge) |
TermNode |
NodeFactory.createHedgeVar(String name) |
TermNode |
NodeFactory.createHole(String name)
Will return always the same Object.
|
TermNode |
NodeFactory.createIndividualVar(String name) |
TermNode |
Hedge.get(int i) |
static TermNode |
NodeFactory.newNode(TermAtom atom,
Hedge hedge) |
static TermNode |
NodeFactory.obtainFreeHedgeNode() |
static TermNode |
NodeFactory.obtainHole() |
TermNode |
InputParser.parseTerm(Reader in) |
TermNode |
InputParser.parseTerm(String in)
Use InputParser.parseTerm(Reader) if possible! It performs much better
and saves space by reading directly from the data stream!!!
|
TermNode |
TermNode.replaceHole(TermNode plugIn)
Replaces the hole in this context with the given TermNode
(term | hedge | context).
|
TermNode |
TermNode.substitute(Variable from,
TermNode to)
|
static TermNode |
NodeFactory.toHedgeNode(HedgeVar hedgeVar) |
Modifier and Type | Method and Description |
---|---|
void |
Hedge.add(TermNode t) |
void |
Hedge.addAll(TermNode... tNodes) |
void |
Equation.addLeft(TermNode node)
Adds a TermNode to the left hedge of the equation.
|
void |
Equation.addRight(TermNode node)
Adds a TermNode to the right hedge of the equation.
|
void |
NodeFactory.addToHedge(TermNode node) |
int |
TermNode.compareTo(TermNode other)
This compare method treads commutativity by ordered argument sequences.
|
Hedge |
NodeFactory.createHedge(TermNode... nodes) |
int |
Hedge.replace(int idx,
TermNode toTerm)
|
TermNode |
TermNode.replaceHole(TermNode plugIn)
Replaces the hole in this context with the given TermNode
(term | hedge | context).
|
void |
Hedge.setTo(TermNode singleNode) |
Hedge |
Hedge.substitute(Variable x,
TermNode t) |
TermNode |
TermNode.substitute(Variable from,
TermNode to)
|
Modifier and Type | Method and Description |
---|---|
Hedge |
Hedge.apply(Map<Variable,TermNode> sigma) |
TermNode |
TermNode.apply(Map<Variable,TermNode> sigma)
Applies a substitution recursively and returns the new
TermNode.
|
Constructor and Description |
---|
Hedge(TermNode... tNodes)
Create a hedge with the specified TermNodes in it.
|
Constructor and Description |
---|
Hedge(List<TermNode> sequence)
Create a hedge with the specified sequence of TermNodes in
it.
|
Hedge(List<TermNode> sequence,
boolean commutative) |
Modifier and Type | Method and Description |
---|---|
TermNode |
Variable.apply(Map<Variable,TermNode> sigma,
TermNode thisNode) |
TermNode |
ContextVar.apply(Map<Variable,TermNode> sigma,
TermNode thisNode) |
TermNode |
TermAtom.apply(Map<Variable,TermNode> sigma,
TermNode thisNode) |
TermNode |
Variable.substitute(Variable from,
TermNode to,
TermNode thisNode) |
TermNode |
ContextVar.substitute(Variable from,
TermNode to,
TermNode thisNode) |
TermNode |
TermAtom.substitute(Variable from,
TermNode to,
TermNode thisNode) |
Modifier and Type | Method and Description |
---|---|
TermNode |
Variable.apply(Map<Variable,TermNode> sigma,
TermNode thisNode) |
TermNode |
ContextVar.apply(Map<Variable,TermNode> sigma,
TermNode thisNode) |
TermNode |
TermAtom.apply(Map<Variable,TermNode> sigma,
TermNode thisNode) |
TermNode |
Variable.substitute(Variable from,
TermNode to,
TermNode thisNode) |
TermNode |
ContextVar.substitute(Variable from,
TermNode to,
TermNode thisNode) |
TermNode |
TermAtom.substitute(Variable from,
TermNode to,
TermNode thisNode) |
Modifier and Type | Method and Description |
---|---|
TermNode |
Variable.apply(Map<Variable,TermNode> sigma,
TermNode thisNode) |
TermNode |
ContextVar.apply(Map<Variable,TermNode> sigma,
TermNode thisNode) |
TermNode |
TermAtom.apply(Map<Variable,TermNode> sigma,
TermNode thisNode) |