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.
|
Modifier and Type | Method and Description |
---|---|
AntiUnifyProblem |
AntiUnifyProblem.clone() |
AntiUnifyProblem |
AntiUnifyProblem.CommutativeArrangementIter.next() |
Modifier and Type | Method and Description |
---|---|
EquationSystem<AntiUnifyProblem> |
AntiUnifySystem.getProblemSet()
Returns the problem set which is empty after AntiUnifySystem.compute()
succeeded.
|
Modifier and Type | Method and Description |
---|---|
long |
AntiUnify.antiUnifySingleAup(AntiUnifyProblem aup,
boolean iterateAll,
boolean justify,
PrintStream out) |
AlignFnc.AlignmentIterator |
AlignFncInput.getIterator(AntiUnifyProblem aup,
int minAlignLen,
int upperBound,
boolean iterateAll,
PrintStream out) |
AlignFnc.AlignmentIterator |
AlignFncLAA.getIterator(AntiUnifyProblem aup,
int minAlignLen,
int upperBound,
boolean iterateAll,
PrintStream out) |
abstract AlignFnc.AlignmentIterator |
AlignFnc.getIterator(AntiUnifyProblem aup,
int minAlignLen,
int upperBound,
boolean iterateAll,
PrintStream out)
Initialize the computation.
|
Constructor and Description |
---|
AntiUnify.AntiUnifyOne(AntiUnifyProblem aup) |
Constructor and Description |
---|
AntiUnify(AlignFnc aFnc,
EquationSystem<AntiUnifyProblem> sys,
DebugLevel debugLevel) |
AntiUnify(AlignFnc aFnc,
EquationSystem<AntiUnifyProblem> sys,
int minAlignmentLength,
int upperBound,
boolean applyResH,
DebugLevel debugLevel) |
AntiUnifySystem(EquationSystem<AntiUnifyProblem> problemSet,
Substitution sigma,
boolean applyResH)
Creates and initializes the rule based system.
|
Modifier and Type | Method and Description |
---|---|
static Alignment |
InputParser.parseAlignment(AntiUnifyProblem aup,
String alignment,
boolean checkAdmissible) |