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 |
Contour.add(int i,
int j,
TermAtom tLeft,
TermAtom tRight) |
void |
ContourArrangement.setMatchAtom(int contour,
int i,
int j,
TermAtom tLeft,
TermAtom tRight)
|
Modifier and Type | Method and Description |
---|---|
void |
AntiUnifyProblem.makeAssociative(Set<TermAtom> associativeSymbols)
Make some symbols and/or the root hedge commutative.
|
void |
AntiUnifyProblem.makeCommutativ(Set<TermAtom> commutativeSymbols,
boolean commutativeRootHedge)
Make some symbols and/or the root hedge commutative.
|
Modifier and Type | Field and Description |
---|---|
TermAtom |
Alignment.AlignmentAtom.atomLeft |
TermAtom |
Alignment.AlignmentAtom.atomRight |
TermAtom[] |
TermAtomList.atoms |
Modifier and Type | Method and Description |
---|---|
TermAtom |
Hedge.get(int[] position,
int idx) |
TermAtom |
TermNode.get(int[] position,
int idx) |
TermAtom |
TermNode.getAtom() |
Modifier and Type | Method and Description |
---|---|
static Set<TermAtom> |
InputParser.parseAtomSet(String atomsCSV) |
Modifier and Type | Method and Description |
---|---|
void |
Hedge.add(TermAtom atom) |
void |
TermAtomList.add(TermAtom atom) |
void |
Hedge.addAll(TermAtom... atoms) |
abstract boolean |
TermNode.TraverseCallBack.exec(TermAtom atom,
Hedge hedge)
Propagation will stop as soon as this method returns true.
|
void |
Hedge.makeAssociative(Set<TermAtom> associativeSymbols,
TermAtom associativeParent) |
static TermNode |
NodeFactory.newNode(TermAtom atom,
Hedge hedge) |
void |
Alignment.AlignmentAtom.set(TermAtom atomLeft,
TermAtom atomRight) |
void |
TermNode.setAtom(TermAtom atom)
Null values are transformed to unique objects which represent the null
value.
|
Modifier and Type | Method and Description |
---|---|
void |
TermNode.makeAssociative(Set<TermAtom> associativeSymbols) |
void |
Hedge.makeAssociative(Set<TermAtom> associativeSymbols,
TermAtom associativeParent) |
void |
TermNode.makeCommutative(Set<TermAtom> commutativeSymbols) |
void |
Hedge.makeCommutative(Set<TermAtom> commutativeSymbols,
boolean commutative) |
void |
Hedge.setIgnoreLeaves(Map<TermAtom,Integer> symDiff) |
Constructor and Description |
---|
Alignment.AlignmentAtom(TermAtom atomLeft,
TermAtom atomRight) |
Hedge(TermAtom... atoms)
|
TermNode(TermAtom atom)
Instantiates a new term node with an empty hedge.
|
TermNode(TermAtom atom,
Hedge hedge)
Instantiates a new term node.
|
Modifier and Type | Class and Description |
---|---|
class |
ContextVar
A context variable can be substituted by a context.
|
class |
FunctionSymbol
A TermAtom which represents a function symbol.
|
class |
FunctionVar
A function variable can be substituted by a bounded context, that is an
application of a function to a hedge with a hole in it.
|
class |
HedgeVar
A hedge variable can be substituted by a single TermNode or a
hedge which is represented by a TermNode with a null-atom
TermNode.isNullAtom().
|
class |
Hole
The hole which appears exactly once in a context.
|
class |
TermVar
A simple term variable can be substituted by a single TermNode.
|
class |
Variable
This is the base class for different types of variables.
|
Modifier and Type | Field and Description |
---|---|
static TermAtom |
TermAtom.nullAtom |
Modifier and Type | Method and Description |
---|---|
TermAtom |
Hole.clone() |
TermAtom |
TermAtom.clone() |
Modifier and Type | Method and Description |
---|---|
int |
TermAtom.commonAncestor(TermAtom other) |
int |
TermAtom.compareTo(TermAtom o) |
boolean |
TermAtom.isAncestor(TermAtom other) |