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
P
PARAP
- Static variable in interface DLV.parser.
QueryParserConstants
PARCH
- Static variable in interface DLV.parser.
QueryParserConstants
parse(BufferedReader, DlvIOHandler)
- Method in class DLV.
Parser
ParseException
- Exception in
DLV.parser
This exception is thrown when parse errors are encountered.
ParseException(Token, int[][], String[])
- Constructor for exception DLV.parser.
ParseException
This constructor is used by the method "generateParseException" in the generated parser.
ParseException()
- Constructor for exception DLV.parser.
ParseException
The following constructors are for use by you for whatever purpose you can think of.
ParseException(String)
- Constructor for exception DLV.parser.
ParseException
Parser
- Class in
DLV
Parser()
- Constructor for class DLV.
Parser
ParserException
- Exception in
DLV
This exception is trown if a syntax error is found.
ParserException()
- Constructor for exception DLV.
ParserException
ParserException(String)
- Constructor for exception DLV.
ParserException
Predicate
- Class in
DLV
This class allows to handle predicates (which corresponds to tables in a relational database).
Predicate(String, int)
- Constructor for class DLV.
Predicate
Constructs a new Predicate instance.
Predicate(String, PredicateMetaData)
- Constructor for class DLV.
Predicate
Constructs a new Predicate instance described by "meta".
Predicate.Literal
- Class in
DLV
This class represents Literals.
Predicate.Literal()
- Constructor for class DLV.
Predicate.Literal
Constructs a (positive) Literal of arity 0.
Predicate.Literal(boolean)
- Constructor for class DLV.
Predicate.Literal
Constructs a Literal of arity 0.
Predicate.Literal(String[])
- Constructor for class DLV.
Predicate.Literal
Constructs a (positive) Literal from an array of terms.
Predicate.Literal(String[], boolean)
- Constructor for class DLV.
Predicate.Literal
Constructs a Literal from an array of terms.
PredicateMetaData
- Class in
DLV
An object that can be used to get information about the types and properties of the "columns" in a Predicate object (in a relational database view of predicates).
PredicateMetaData(int)
- Constructor for class DLV.
PredicateMetaData
Builds a PredicateMetadata object for a predicate of arity "arity".
PredicateMetaData(ResultSetMetaData)
- Constructor for class DLV.
PredicateMetaData
Builds a PredicateMetadata object for a predicate from a java.sql.ResultSetMetaData descriptor.
previous()
- Method in class DLV.
Model
Moves the cursor to the previous Predicate in this Model object.
previous()
- Method in class DLV.
Predicate
Moves the cursor to the previous Literal in this Predicate object.
previousLiteral()
- Method in class DLV.
Predicate
This method returns the previous literal.
previousModel()
- Method in class DLV.
DlvHandler
Returns The previous Model object available with respect to the current cursor position.
previousPredicate()
- Method in class DLV.
Model
This method returns the previous Predicate.
Program()
- Method in class DLV.parser.
QueryParser
LA GRAMMATICA INIZIA QUI *
Program
- Class in
DLV
This class represents a logic program input of DLV.
Program()
- Constructor for class DLV.
Program
Constructs an empty Program object.
Program(StringBuffer)
- Constructor for class DLV.
Program
Constructs a Program object from a StringBuffer object which contains a logic program in text format.
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