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
I
IDENTIFIER
- Static variable in interface DLV.parser.
QueryParserConstants
image
- Variable in class DLV.parser.
Token
The string image of the token.
indexOfLiteral(LiteralFile.LiteralHandler)
- Method in class DLV.io.
LiteralFile
indexOfLiteralHandler(LiteralFile.LiteralHandler)
- Method in class DLV.io.
LiteralFile
insertRow()
- Method in class DLV.
Predicate
Inserts the contents of the insert row into this Predicate object and into the database.
InvalidParameterException
- Exception in
DLV
This exception is trown if you insert an ivalid parameter.
InvalidParameterException()
- Constructor for exception DLV.
InvalidParameterException
InvalidParameterException(String)
- Constructor for exception DLV.
InvalidParameterException
InvalidValueException
- Exception in
DLV
This exception is trown if you try to get a value from a Predicate with an incorrect method.
InvalidValueException()
- Constructor for exception DLV.
InvalidValueException
InvalidValueException(String)
- Constructor for exception DLV.
InvalidValueException
invert()
- Method in class DLV.
Predicate.Literal
If this Literal is positive this method make it negative and vice versa.
isBest()
- Method in class DLV.
Model
Returns true if and only if this is a best model.
isConst(String)
- Static method in class DLV.
ConversionType
isContrary(Predicate.Literal)
- Method in class DLV.
Predicate.Literal
If this Literal is the contrary of f returns true, otherwise false.
isEmpty()
- Method in class DLV.
Model
Returns true if and only if this is an empty model.
isFirst()
- Method in class DLV.
DlvHandler
Returns true if the cursor is on the first position, false otherwise.
isFirst()
- Method in class DLV.
Model
Indicates whether the cursor is on the first Predicate of this Model object.
isFirst()
- Method in class DLV.
Predicate
Indicates whether the cursor is on the first Literal of this Predicate object.
isLast()
- Method in class DLV.
DlvHandler
Returns true if the cursor is
currently
on the last position, false otherwise.
isLast()
- Method in class DLV.
Model
Indicates whether the cursor is on the last Predicate of this Model object.
isLast()
- Method in class DLV.
Predicate
Indicates whether the cursor is on the last Literal of this Predicate object.
isNoModel()
- Method in class DLV.
Model
Returns true if and only if this object represents the lack of models (no model were computed).
IsNoModelException
- Exception in
DLV
This exception is trown if you call a method and this object represents no model.
IsNoModelException()
- Constructor for exception DLV.
IsNoModelException
isPositive()
- Method in class DLV.
Predicate.Literal
Returns true if this Literal is positive.
isQuoted(String)
- Static method in class DLV.
ConversionType
isValid(String)
- Static method in class DLV.
ConversionType
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