Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
N
name()
- Method in class DLV.
Predicate.Literal
Returns the name of the Predicate which contains this Literal.
name()
- Method in class DLV.
Predicate
Returns the name of this predicate.
newToken(int)
- Static method in class DLV.parser.
Token
Returns a new Token object, by default.
next()
- Method in class DLV.
Model
Moves the cursor down one position from its current.
next
- Variable in class DLV.parser.
Token
A reference to the next regular (non-special) token from the input stream.
next()
- Method in class DLV.
Predicate
Moves the cursor down one position from its current.
nextLiteral()
- Method in class DLV.
Predicate
This method returns the next literal.
nextModel()
- Method in class DLV.
DlvHandler
Returns The next Model object available with respect to the current cursor position.
nextPredicate()
- Method in class DLV.
Model
This method returns the next predicate.
NO_MODEL
- Static variable in class DLV.
Model
DLV programs may have many models or no model at all.
NoModelsComputed
- Exception in
DLV
This exception is trown if you call a method to handle the output of DLV before the execution of DLV.
NoModelsComputed()
- Constructor for exception DLV.
NoModelsComputed
NoModelsComputed(String)
- Constructor for exception DLV.
NoModelsComputed
nonGroundLine()
- Method in class DLV.parser.
QueryParser
nonGroundQuery()
- Method in class DLV.parser.
QueryParser
NoSuchLiteralException
- Exception in
DLV
This exception is thrown if you try to get, from a predicate, a literal which doesn't exist.
NoSuchLiteralException()
- Constructor for exception DLV.
NoSuchLiteralException
NoSuchLiteralException(String)
- Constructor for exception DLV.
NoSuchLiteralException
NoSuchModelException
- Exception in
DLV
This exception is trown if is asked to DLV_Manager istance a model that not exists.
NoSuchModelException()
- Constructor for exception DLV.
NoSuchModelException
NoSuchModelException(String)
- Constructor for exception DLV.
NoSuchModelException
NoSuchPredicateException
- Exception in
DLV
This exception is thrown if you try to get, from a model, a predicate which doesn't exist.
NoSuchPredicateException()
- Constructor for exception DLV.
NoSuchPredicateException
NoSuchPredicateException(String)
- Constructor for exception DLV.
NoSuchPredicateException
NoSuchTermException
- Exception in
DLV
This exception is thrown if you try to get, from a predicate, a term which doesn't exist.
NoSuchTermException()
- Constructor for exception DLV.
NoSuchTermException
NoSuchTermException(String)
- Constructor for exception DLV.
NoSuchTermException
NULL
- Static variable in class DLV.
ConversionType
The constant identifying the DLV Wrapper type NULL.
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W