Package | Description |
---|---|
at.jku.risc.stout.nau.algo |
This package contains the classes of the rule based system
(
AntiUnifySystem ) to solve the nominal
anti-unification problem and an algorithm to solve the nominal
equivariance problem (EquivarianceSystem )
which is needed by the anti-unification algorithm. |
at.jku.risc.stout.nau.data |
This package contains the nominal parser and some container classes like
equation systems, freshness context and a container for nominal pairs.
|
at.jku.risc.stout.nau.data.atom |
This package contains the classes which are needed to build up the term tree
(E.g.: Atom,
Abstraction,
FunctionApplication,
Suspension,
SortAtom,
SortData,
NodeFactory,...).
|
Modifier and Type | Method and Description |
---|---|
FreshnessCtx |
AntiUnifySystem.getNablaGen()
The freshness context of the generalization after AntiUnifySystem.compute()
succeeded.
|
FreshnessCtx |
Equivariance.getNablaIn() |
Modifier and Type | Method and Description |
---|---|
void |
Substitution.printRanString(Writer writer,
FreshnessCtx nabla)
Only prints the range of the mapping, which is actually useful to display
a computed generalization of an AUP without the generalization variable.
|
void |
EquivarianceSystem.start(Collection<? extends Atom> atoms,
FreshnessCtx nablaIn)
Initializes the permutation computation.
|
Constructor and Description |
---|
AntiUnify(EquationSystem<AntiUnifyProblem> eqSys,
FreshnessCtx nablaIn,
DebugLevel debugLevel,
NodeFactory factory)
Creates and initializes the encapsulated rule based system
AntiUnifySystem with the given equation system and freshness
context.
|
AntiUnifySystem(NodeFactory factory,
EquationSystem<AntiUnifyProblem> problemSet,
FreshnessCtx nablaIn)
Creates and initializes the rule based system.
|
AntiUnifySystem(NodeFactory factory,
EquationSystem<AntiUnifyProblem> problemSet,
FreshnessCtx nablaIn,
Collection<? extends Atom> atoms,
List<AntiUnifyProblem> store,
FreshnessCtx nablaGen,
Substitution sigma)
Creates and initializes the rule based system.
|
Equivariance(EquationSystem<EquivarianceProblem> eqSys,
Collection<? extends Atom> atoms,
FreshnessCtx nablaIn)
Creates and initializes the encapsulated rule based system
EquivarianceSystem with the given equation system, atoms and
freshness context.
|
Modifier and Type | Method and Description |
---|---|
FreshnessCtx |
FreshnessCtx.deepCopy() |
FreshnessCtx |
NominalPair.getFreshEnv()
Returns the freshness context (FreshnessCtx) of this
nominal pair.
|
FreshnessCtx |
InputParser.parseEquationAndCtx(Reader in1,
Reader in2,
Reader inA,
Reader inN,
EquationSystem<AntiUnifyProblem> eqSys) |
FreshnessCtx |
InputParser.parseNabla(Reader in) |
FreshnessCtx |
FreshnessCtx.swap(Atom a,
Atom b)
Creates a new freshness context with swapped atoms.
|
Modifier and Type | Method and Description |
---|---|
boolean |
FreshnessCtx.isSubsetOf(FreshnessCtx other) |
static void |
NominalPair.printPair(Writer toPrint,
FreshnessCtx freshEnv,
NominalTerm term) |
void |
NominalPair.setFreshEnv(FreshnessCtx freshEnv)
Changes the freshness context (FreshnessCtx) of this
nominal pair.
|
Constructor and Description |
---|
NominalPair(FreshnessCtx freshEnv,
NominalTerm term)
Instantiates a nominal pair with then given freshness context and
nominal term.
|
Modifier and Type | Method and Description |
---|---|
boolean |
NominalTerm.equivalent(NominalTerm otherTerm,
FreshnessCtx nabla)
Alpha-equivalence test of two nominal terms respecting nabla.
|
Set<Atom[]> |
Permutation.getDisagreementSet(Permutation otherPerm,
Variable var,
FreshnessCtx nabla)
Returns the set of disagreements between this permutation and another
one.
|
boolean |
Atom.isFresh(Atom atom,
FreshnessCtx nabla) |
boolean |
FunctionApplication.isFresh(Atom atom,
FreshnessCtx nabla) |
boolean |
Suspension.isFresh(Atom atom,
FreshnessCtx nabla) |
boolean |
Abstraction.isFresh(Atom atom,
FreshnessCtx nabla) |
abstract boolean |
NominalTerm.isFresh(Atom atom,
FreshnessCtx nabla) |