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
G
generateParseException()
- Method in class DLV.parser.
QueryParser
getArgumentByName(String)
- Method in class DLV.
PredicateMetaData
Gets the position of the first argument named "argumentName".
getArity()
- Method in class DLV.
PredicateMetaData
Gets the Predicate arity.
getBeginColumn()
- Method in class DLV.parser.
JavaCharStream
getBeginLine()
- Method in class DLV.parser.
JavaCharStream
getBigDecimal(int)
- Method in class DLV.
Predicate
Gets the value of the designated column in the current row of this Predicate object as a java.math.BigDecimal object in the Java programming language.
getBoolean(int)
- Method in class DLV.
Predicate
Gets the value of the designated column in the current row of this Predicate object as a boolean in the Java programming language.
getBufferSize()
- Method in class DLV.io.
RandomAccessCharacterFile
getByte(int)
- Method in class DLV.
Predicate
Gets the value of the designated column in the current row of this Predicate object as a byte in the Java programming language.
getColumn()
- Method in class DLV.parser.
JavaCharStream
Deprecated.
getContrary()
- Method in class DLV.
Predicate.Literal
Gets the contrary Literal.
getCost()
- Method in class DLV.
Model
Returns the cost of this model if the program hasn't weak constraints.
getCostWithPriority()
- Method in class DLV.
Model
Returns the cost of this model if the program has some weak constraints, null otherwise.
getCursor()
- Method in class DLV.
DlvHandler
Returns the current cursor position.
getCursor()
- Method in class DLV.
Model
This method returns the position of current predicate.
getCursor()
- Method in class DLV.
Predicate
This method returns the position of current Literal.
getDate(int)
- Method in class DLV.
Predicate
Gets the value of the designated column in the current row of this Predicate object as a java.sql.Date object in the Java programming language.
getDescriptor(String)
- Method in class DLV.
OutputDescriptor
Returns the OutputDescriptorItem associated with predicate name "predicateName".
getDLVWrapperInfo()
- Static method in class DLV.
DlvHandler
Returns name and version of this version of the DLV Wrapper.
getDouble(int)
- Method in class DLV.
Predicate
Gets the value of the designated column in the current row of this Predicate object as a double in the Java programming language.
getEncoding()
- Method in interface DLV.core.
DlvIOHandler
getEncoding()
- Method in class DLV.
DlvHandler
Returns the encoding used to exchange data with DLV.
getEncoding()
- Method in class DLV.io.
RandomAccessCharacterFile
getEndColumn()
- Method in class DLV.parser.
JavaCharStream
getEndLine()
- Method in class DLV.parser.
JavaCharStream
getFilePointer()
- Method in class DLV.io.
RandomAccessCharacterFile
getFloat(int)
- Method in class DLV.
Predicate
Gets the value of the designated column in the current row of this Predicate object as a float in the Java programming language.
GetImage()
- Method in class DLV.parser.
JavaCharStream
getInt(int)
- Method in class DLV.
Predicate
Gets the value of the designated column in the current row of this Predicate object as a int in the Java programming language.
getInvocationParameters()
- Method in interface DLV.core.
DlvIOHandler
getInvocationParameters()
- Method in class DLV.
DlvHandler
getIsPositive(int)
- Method in class DLV.
Predicate
Returns true if the row-th Literal is positive.
getIsPositive()
- Method in class DLV.
Predicate
Returns true if the i-th Literal is positive.
getLength()
- Method in class DLV.io.
RandomAccessCharacterFile
getLine()
- Method in class DLV.parser.
JavaCharStream
Deprecated.
getLiteral()
- Method in class DLV.
Predicate
Returns the literal currently pointed by the cursor.
getLiteral(int)
- Method in class DLV.
Predicate
Returns the i-th literal.
getLiteralHandler(long)
- Method in class DLV.io.
LiteralFile
getLiterals()
- Method in class DLV.
Predicate
This method returns an Enumeration of the Literals of this Predicate.
getLogicalPosition()
- Method in class DLV.io.
LiteralFile.LiteralHandler
getLong(int)
- Method in class DLV.
Predicate
Gets the value of the designated column in the current row of this Predicate object as a long in the Java programming language.
getMessage()
- Method in exception DLV.parser.
ParseException
This method has the standard behavior when this object has been created using the standard constructors.
getMessage()
- Method in error DLV.parser.
TokenMgrError
You can also modify the body of this method to customize your error messages.
getMethod()
- Method in interface DLV.core.
DlvIOHandler
getMethod()
- Method in class DLV.
DlvHandler
Gets the method used in the last invocation of this Dlvhandler instance (see static constants).
getModel(int)
- Method in class DLV.
DlvHandler
Returns the i-th Model object if exists null otherwise.
getModel()
- Method in class DLV.
DlvHandler
If exists, returns the Model object currently pointed by the cursor, null otherwise.
getModel()
- Method in class DLV.
Predicate
Returns the model which contains this predicate, null otherwise.
getName()
- Method in class DLV.io.
LiteralFile
getName()
- Method in class DLV.io.
LiteralFile.LiteralHandler
getName()
- Method in class DLV.io.
RandomAccessCharacterFile
getName()
- Method in class DLV.io.
RandomAccessLiteralFile
Returns the name of the file.
getName(int)
- Method in class DLV.
PredicateMetaData
Gets the name of the argument-th column.
getNextToken()
- Method in class DLV.parser.
QueryParser
getNextToken()
- Method in class DLV.parser.
QueryParserTokenManager
getOutputDescriptor()
- Method in interface DLV.core.
DlvIOHandler
getOutputDescriptor()
- Method in class DLV.
DlvHandler
This function allows to get the OutputDescriptor object which describe how to process the output of DLV.
getPath()
- Method in class DLV.
DlvHandler
Get the current pathname of DLV.
getPathName()
- Method in class DLV.core.
JavaPipedIOImpl
getPredicate(String)
- Method in class DLV.
Model
Returns, if exists, a Predicate object of name "name", null otherwise.
getPredicate()
- Method in class DLV.
Model
Returns the Predicate currently pointed by the cursor.
getPredicate(int)
- Method in class DLV.
Model
Returns the i-th predicate.
getPredicate()
- Method in class DLV.
Predicate.Literal
This function returns the Predicate object which contains this Literal.
getPredicateMetaData()
- Method in class DLV.
Predicate
Gets meta information for this Predicate
getPredicateNames()
- Method in class DLV.
Model
Returns an array which contains the predicate names contained in this model.
getPredicates()
- Method in class DLV.
Model
Returns an Enumeration of predicates contained in this model.
getPredicates()
- Method in class DLV.
Program
Returns the array of predicate objects contained in this Program object.
getProgram()
- Method in interface DLV.core.
DlvIOHandler
getProgram()
- Method in class DLV.
DlvHandler
This function allows to get the Program object that is the input of DLV.
getProgramsPathNames()
- Method in class DLV.
Program
Returns an array of String object which contains the program pathnames previously set, otherwise null.
getProgramStrings()
- Method in class DLV.
Program
Returns a StringBuffer object which contains the StringBuffer partition of this program (which might be empty).
getQueryResult()
- Method in class DLV.parser.
QueryParser
getQuoted(int)
- Method in class DLV.
JDBCPredicate
Gets the quoted property for the i-th term.
getQuoted()
- Method in class DLV.
ODIJDBCPredicate
Returns the specified array of boolean handling the quioted property for terms.
getRandomAccessLiteralFile()
- Method in class DLV.
FilePredicate
Returns the underlying RandomAccessLiteralFile.
getReplace()
- Method in class DLV.
OutputDescriptorItem
Gets the replace option flag value.
getResultSet()
- Method in class DLV.
JDBCPredicate
Gets the underlying java.sql.ResultSet obejct.
getRow()
- Method in class DLV.
Predicate
Retrieves the current row number.
getShort(int)
- Method in class DLV.
Predicate
Gets the value of the designated column in the current row of this Predicate object as a short in the Java programming language.
getSign()
- Method in class DLV.io.
LiteralFile.LiteralHandler
getSize()
- Method in class DLV.
DlvHandler
Returns the
current
number of models computed by DLV.
getStatus()
- Method in class DLV.
DlvHandler
Gets the status of this DlvHandler instance (see static constants).
getString(int)
- Method in class DLV.
Predicate
Gets the value of the designated column in the current row of this Predicate object as a String object in the Java programming language.
GetSuffix(int)
- Method in class DLV.parser.
JavaCharStream
getTermAt(int)
- Method in class DLV.io.
LiteralFile.LiteralHandler
getTermAt(int, int)
- Method in class DLV.
Predicate
Returns the term contained in the j-th argument of the i-th Literal.
getTermAt(int)
- Method in class DLV.
Predicate.Literal
This function returns the i-th term of this Literal.
getTerms()
- Method in class DLV.io.
LiteralFile.LiteralHandler
getTime(int)
- Method in class DLV.
Predicate
Gets the value of the designated column in the current row of this Predicate object as a java.sql.Time object in the Java programming language.
getToken(int)
- Method in class DLV.parser.
QueryParser
getType(int)
- Method in class DLV.
PredicateMetaData
Gets the type of the argument-th column.
getVersion()
- Method in interface DLV.core.
AbstractIOImplementation
getVersion()
- Method in class DLV.core.
JavaPipedIOImpl
getVersion()
- Method in class DLV.
DlvHandler
This function asks the selected DLV implementation for version information.
getWarnings()
- Method in interface DLV.core.
AbstractIOImplementation
getWarnings()
- Method in class DLV.core.
JavaPipedIOImpl
getWarnings()
- Method in class DLV.
DlvHandler
After a DLV invocation, this function returns the warning messages.
GRAFFAAP
- Static variable in interface DLV.parser.
QueryParserConstants
GRAFFACH
- Static variable in interface DLV.parser.
QueryParserConstants
groundAtom()
- Method in class DLV.parser.
QueryParser
groundQuery()
- Method in class DLV.parser.
QueryParser
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