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
 

A B C D E F G H I J K L M N O P Q R S T U V W