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
N
newAtom(String)
- Method in class at.jku.risc.stout.nau.data.
NodeFactory
Instantiates an untyped atom.
newAtom(String, String)
- Method in class at.jku.risc.stout.nau.data.
NodeFactory
Instantiates an atom of the specified sort.
newAtom(String, SortAtom)
- Method in class at.jku.risc.stout.nau.data.
NodeFactory
Instantiates an atom of the specified sort.
newDeque()
- Method in class at.jku.risc.stout.nau.util.
DataStructureFactory
newDeque(Collection<T>)
- Method in class at.jku.risc.stout.nau.util.
DataStructureFactory
newDeque(int)
- Method in class at.jku.risc.stout.nau.util.
DataStructureFactory
newEquation(NominalTerm, NominalTerm)
- Method in class at.jku.risc.stout.nau.data.
EquationSystem
You have to implement this method, so that an algorithm is able to instantiate new
Equation
s of arbitrary types.
newFunction(String)
- Method in class at.jku.risc.stout.nau.data.
NodeFactory
Instantiates an untyped function symbol.
newFunction(String, Sort[], String)
- Method in class at.jku.risc.stout.nau.data.
NodeFactory
Instantiates a function symbol of the specified arity.
newFunction(String, Sort[], SortData)
- Method in class at.jku.risc.stout.nau.data.
NodeFactory
Instantiates a function symbol of the specified arity.
newList()
- Method in class at.jku.risc.stout.nau.util.
DataStructureFactory
newList(Collection<T>)
- Method in class at.jku.risc.stout.nau.util.
DataStructureFactory
newList(int)
- Method in class at.jku.risc.stout.nau.util.
DataStructureFactory
newMap()
- Method in class at.jku.risc.stout.nau.util.
DataStructureFactory
newMap(Map<K, V>)
- Method in class at.jku.risc.stout.nau.util.
DataStructureFactory
newMap(int)
- Method in class at.jku.risc.stout.nau.util.
DataStructureFactory
newSet()
- Method in class at.jku.risc.stout.nau.util.
DataStructureFactory
newSet(Collection<T>)
- Method in class at.jku.risc.stout.nau.util.
DataStructureFactory
newSet(int)
- Method in class at.jku.risc.stout.nau.util.
DataStructureFactory
newSort(Class<T>, String)
- Method in class at.jku.risc.stout.nau.data.
NodeFactory
Returns a sort of atom by name.
newVarAtom(String, String)
- Method in class at.jku.risc.stout.nau.data.
NodeFactory
Instantiates a variable of the specified sort.
newVarData(String, String)
- Method in class at.jku.risc.stout.nau.data.
NodeFactory
Instantiates a variable of the specified sort.
newVariable(String)
- Method in class at.jku.risc.stout.nau.data.
NodeFactory
Instantiates an untyped variable.
newVariable(String, Sort)
- Method in class at.jku.risc.stout.nau.data.
NodeFactory
Instantiates a variable of the specified sort.
NodeFactory
- Class in
at.jku.risc.stout.nau.data
This factory is used to instantiate new
NominalTerm
s, subterms and atomic term blocks.
NodeFactory()
- Constructor for class at.jku.risc.stout.nau.data.
NodeFactory
NodeFactory(String, String)
- Constructor for class at.jku.risc.stout.nau.data.
NodeFactory
NodeFactory.FactoryInstantiationException
- Exception in
at.jku.risc.stout.nau.data
NominalPair
- Class in
at.jku.risc.stout.nau.data
A nominal pair is a pair consisting of one freshness context (
FreshnessCtx
) and one nominal term (
NominalTerm
).
NominalPair(NominalTerm)
- Constructor for class at.jku.risc.stout.nau.data.
NominalPair
Instantiates a nominal pair with an empty freshness context.
NominalPair(FreshnessCtx, NominalTerm)
- Constructor for class at.jku.risc.stout.nau.data.
NominalPair
Instantiates a nominal pair with then given freshness context and nominal term.
NominalTerm
- Class in
at.jku.risc.stout.nau.data.atom
This is the base class for nominal terms like
Abstraction
,
FunctionApplication
,
Atom
,
Suspension
.
NominalTerm()
- Constructor for class at.jku.risc.stout.nau.data.atom.
NominalTerm
$
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