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
F
FreshnessCtx
- Class in
at.jku.risc.stout.nau.data
A freshness context is a set of the form {a#X, b#Y,...} where a,b,... are atoms and X,Y,... are variables, stating that the atom a is fresh in X, b is fresh in Y,....
FreshnessCtx()
- Constructor for class at.jku.risc.stout.nau.data.
FreshnessCtx
FreshnessCtx(int, int)
- Constructor for class at.jku.risc.stout.nau.data.
FreshnessCtx
FunctionApplication
- Class in
at.jku.risc.stout.nau.data.atom
A
FunctionApplication
is a
NominalTerm
consisting of a unique
FunctionSymbol
and an array of arguments.
FunctionApplication(FunctionSymbol)
- Constructor for class at.jku.risc.stout.nau.data.atom.
FunctionApplication
Instantiates a constant without arguments.
FunctionApplication(FunctionSymbol, List<NominalTerm>)
- Constructor for class at.jku.risc.stout.nau.data.atom.
FunctionApplication
Instantiates a function application with the given arguments.
FunctionApplication(FunctionSymbol, NominalTerm[])
- Constructor for class at.jku.risc.stout.nau.data.atom.
FunctionApplication
Instantiates a function application with the given arguments.
FunctionSymbol
- Class in
at.jku.risc.stout.nau.data.atom
A
FunctionSymbol
has a unique name and may be typed by a sort of data.
FunctionSymbol(String)
- Constructor for class at.jku.risc.stout.nau.data.atom.
FunctionSymbol
Instantiates a function symbol of the specified name.
$
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