JavaScript is disabled on your browser.
Overview
Package
Class
Use
Tree
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
$
A
C
D
E
F
G
H
I
J
M
N
O
P
R
S
T
U
V
W
P
pairEnd
- Static variable in class at.jku.risc.stout.nau.data.
NominalPair
The closing parenthesis used to group a nominal pair, Default = '>'
pairSeparator
- Static variable in class at.jku.risc.stout.nau.data.
NominalPair
The character used to separate the two parts of a nominal pair, Default = '; '
pairStart
- Static variable in class at.jku.risc.stout.nau.data.
NominalPair
The opening parenthesis used to group a nominal pair, Default = '<'
parseAtomSet(Reader)
- Method in class at.jku.risc.stout.nau.data.
InputParser
parseEquation(Reader, Reader, EquationSystem<T>)
- Method in class at.jku.risc.stout.nau.data.
InputParser
parseEquationAndCtx(Reader, Reader, Reader, Reader, EquationSystem<AntiUnifyProblem>)
- Method in class at.jku.risc.stout.nau.data.
InputParser
parseEquationSystem(Reader, EquationSystem<T>)
- Method in class at.jku.risc.stout.nau.data.
InputParser
Pull characters from the given
Reader
and parse the input.
parseNabla(Reader)
- Method in class at.jku.risc.stout.nau.data.
InputParser
parsePair(Reader, Reader)
- Method in class at.jku.risc.stout.nau.data.
InputParser
parseTerm(Reader, boolean)
- Method in class at.jku.risc.stout.nau.data.
InputParser
Pull characters from the given
Reader
and parse the input.
Permutation
- Class in
at.jku.risc.stout.nau.data.atom
A permutation of atoms which may be composed by swappings.
Permutation()
- Constructor for class at.jku.risc.stout.nau.data.atom.
Permutation
Permutation(int)
- Constructor for class at.jku.risc.stout.nau.data.atom.
Permutation
permute(Permutation)
- Method in class at.jku.risc.stout.nau.data.atom.
Abstraction
permute(Permutation)
- Method in class at.jku.risc.stout.nau.data.atom.
Atom
permute(Permutation)
- Method in class at.jku.risc.stout.nau.data.atom.
FunctionApplication
permute(Permutation)
- Method in class at.jku.risc.stout.nau.data.atom.
NominalTerm
permute(Atom)
- Method in class at.jku.risc.stout.nau.data.atom.
Permutation
Applies the permutation to the given
Atom
and returns the permuted atom.
permute(Permutation)
- Method in class at.jku.risc.stout.nau.data.atom.
Suspension
permuteInverse(Atom)
- Method in class at.jku.risc.stout.nau.data.atom.
Permutation
Applies the inverse permutation to the given
Atom
and returns the inverse permuted atom.
popFirst()
- Method in class at.jku.risc.stout.nau.data.
EquationSystem
Retrieves and removes the first element of this system of equations or returns null if it is empty.
popLast()
- Method in class at.jku.risc.stout.nau.data.
EquationSystem
Retrieves and removes the last element of this system of equations or returns null if it is empty.
Printable
- Class in
at.jku.risc.stout.nau.util
Superclass for all printable classes.
Printable()
- Constructor for class at.jku.risc.stout.nau.util.
Printable
printPair(Writer, FreshnessCtx, NominalTerm)
- Static method in class at.jku.risc.stout.nau.data.
NominalPair
printRanString(Writer, FreshnessCtx)
- Method in class at.jku.risc.stout.nau.algo.
Substitution
Only prints the range of the mapping, which is actually useful to display a computed generalization of an AUP without the generalization variable.
printString(Writer)
- Method in class at.jku.risc.stout.nau.algo.
AntiUnifyProblem
printString(Writer, NominalTerm, NominalTerm, Variable)
- Static method in class at.jku.risc.stout.nau.algo.
AntiUnifyProblem
printString(Writer)
- Method in class at.jku.risc.stout.nau.algo.
AntiUnifySystem
printString(Writer)
- Method in class at.jku.risc.stout.nau.algo.
EquivarianceProblem
printString(Writer, NominalTerm, NominalTerm)
- Static method in class at.jku.risc.stout.nau.algo.
EquivarianceProblem
printString(Writer)
- Method in class at.jku.risc.stout.nau.data.atom.
Abstraction
printString(Writer)
- Method in class at.jku.risc.stout.nau.data.atom.
Atom
printString(Writer)
- Method in class at.jku.risc.stout.nau.data.atom.
FunctionApplication
printString(Writer)
- Method in class at.jku.risc.stout.nau.data.atom.
Suspension
printString(Writer)
- Method in class at.jku.risc.stout.nau.data.
EquationSystem
printString(Writer)
- Method in class at.jku.risc.stout.nau.data.
FreshnessCtx
printString(Writer)
- Method in class at.jku.risc.stout.nau.data.
NominalPair
printString(Writer)
- Method in class at.jku.risc.stout.nau.util.
Printable
Writes a string representation of this object into an arbitrary
Writer
.
printString(PrintStream)
- Method in class at.jku.risc.stout.nau.util.
Printable
Writes a string representation of this object into an arbitrary
PrintStream
.
prooveFresh(Atom)
- Method in class at.jku.risc.stout.nau.data.
NominalPair
Tests whether the given atom is fresh in the nominal term respecting the freshness context.
put(Variable, NominalTerm)
- Method in class at.jku.risc.stout.nau.algo.
Substitution
Add a new mapping of the form: Variable -> Term.
put(Atom, Collection<Variable>)
- Method in class at.jku.risc.stout.nau.data.
FreshnessCtx
put(Atom, Variable...)
- Method in class at.jku.risc.stout.nau.data.
FreshnessCtx
put(Variable, Collection<Atom>)
- Method in class at.jku.risc.stout.nau.data.
FreshnessCtx
put(Variable, Atom...)
- Method in class at.jku.risc.stout.nau.data.
FreshnessCtx
putAtom(DebugLevel, PrintStream, Atom, Atom)
- Method in class at.jku.risc.stout.nau.algo.
EquivarianceSystem
$
A
C
D
E
F
G
H
I
J
M
N
O
P
R
S
T
U
V
W
Overview
Package
Class
Use
Tree
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes