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

A

ASYNCHRONOUS - Static variable in class DLV.DlvHandler

This constant indicates a kind of synchronization method of a DlvHandler instance.

absolute(int) - Method in class DLV.Model

Moves the cursor to the given Predicate number in this Model object.

absolute(int) - Method in class DLV.Predicate

Moves the cursor to the given "row number" (in a relational view) in this Predicate object.

addDescriptor(String, OutputDescriptorItem) - Method in class DLV.OutputDescriptor

Associates a predicate name with an OutputDescriptorItem.

addLiteral(Predicate.Literal) - Method in class DLV.Predicate

This method append a new Literal to this Predicate.

addModel(Model) - Method in class DLV.DlvHandler

addPredicate(Predicate) - Method in class DLV.Program

Adds to this Program a Predicate object.

addProgramFile(String) - Method in class DLV.Program

Adds to this Program a reference to a text file which contains a logic program.

addString(StringBuffer) - Method in class DLV.Program

Adds to this Program a StringBuffer containing a logic program in text format.

addString(String) - Method in class DLV.Program

Append to this Program a String containing a logic program in text format.

afterLast() - Method in class DLV.Model

Moves the cursor to the end of this Model object, just after the last Predicate.

afterLast() - Method in class DLV.Predicate

Moves the cursor to the end of this Predicate object, just after the last Literal.

appendString(StringBuffer) - Method in class DLV.Program

Append to this Program a StringBuffer containing a logic program in text format.

appendString(String) - Method in class DLV.Program

Append to this Program a String containing a logic program in text format.

appendTo(PrintWriter) - Method in class DLV.Model

This method allows to save this Model in the file handled by "out".

appendTo(PrintWriter) - Method in class DLV.Predicate.Literal

This method allows to save this Literal in the file handled by "out" in datalog format.

appendTo(PrintWriter) - Method in class DLV.Predicate

This method allows to save this Predicate in the file handled by "out".

arity() - Method in class DLV.Predicate.Literal

Returns the arity of the Predicate which contains this Literal.

arity() - Method in class DLV.Predicate

Returns the arity of this predicate.

arrayListToStringArray(ArrayList) - Static method in class DLV.Tools

This function converts a java.util.ArrayList containing String objects in an array of String objects.

B

BIGDECIMAL - Static variable in class DLV.ConversionType

The constant identifying the DLV Wrapper type BIGDECIMAL.

BOOLEAN - Static variable in class DLV.ConversionType

The constant identifying the DLV Wrapper type BOOLEAN.

BadArityException - exception DLV.BadArityException.

This exception is trown if you try to construct a Literal specifying an incorrect number of terms.

BadArityException() - Constructor for class DLV.BadArityException

BadArityException(String) - Constructor for class DLV.BadArityException

BadColumnNameException - exception DLV.BadColumnNameException.

This exception is trown if the specified name does not correspond to a position.

BadColumnNameException() - Constructor for class DLV.BadColumnNameException

BadColumnNameException(String) - Constructor for class DLV.BadColumnNameException

beforeFirst() - Method in class DLV.Model

Moves the cursor to the front of this Model object, just before the first Predicate.

beforeFirst() - Method in class DLV.Predicate

Moves the cursor to the front of this Predicate object, just before the first Literal.

buildPredicate(String, int, Model, int) - Method in class DLV.ODIFilePredicate

buildPredicate(String, int, Model, int) - Method in class DLV.ODIJDBCPredicate

buildPredicate(String, int, Model, int) - Method in class DLV.ODIPredicate

buildPredicate(String, int, Model, int) - Method in class DLV.OutputDescriptorItem

C

CONST_BYTE - Static variable in class DLV.ConversionType

The constant identifying the DLV Wrapper type CONST_BYTE.

CONST_INT - Static variable in class DLV.ConversionType

The constant identifying the DLV Wrapper type CONST_INT.

CONST_LONG - Static variable in class DLV.ConversionType

The constant identifying the DLV Wrapper type CONST_LONG.

CONST_SHORT - Static variable in class DLV.ConversionType

The constant identifying the DLV Wrapper type CONST_SHORT.

ConversionType - class DLV.ConversionType.

The class that defines the constants that are used to identify generic DLV Wrapper types.

ConversionType() - Constructor for class DLV.ConversionType

ConversionType.DBNull - class DLV.ConversionType.DBNull.

The static class identifying the DLV term used to identify database null values.

cancelRowUpdates() - Method in class DLV.Predicate

Cancels the updates made to the current row in this Predicate object.

clear() - Method in class DLV.OutputDescriptor

Removes all associations.

clearMemory() - Method in class DLV.Program

Clears the in-memory partition of this program (is equivalent to call removePredicates(),removeResultSetHandlers() and removeStrings()).

cutQuotes(String) - Static method in class DLV.ConversionType

D

DATE - Static variable in class DLV.ConversionType

The constant identifying the DLV Wrapper type DATE.

DBNULL - Static variable in class DLV.ConversionType

The constant identifying the DLV term used to identify database null values.

DBNULL_CLASS - Static variable in class DLV.ConversionType

The statc class instance identifying the DLV term used to identify database null values.

DLV - package DLV

DLVException - class DLV.DLVException.

This is the ancestor class of all (checked) Exception classes which are contained in DLV package.

DLVException() - Constructor for class DLV.DLVException

DLVException(String) - Constructor for class DLV.DLVException

DLVExceptionUncheked - exception DLV.DLVExceptionUncheked.

This is the ancestor class of all (unchecked) Exception classes which are contained in DLV package.

DLVExceptionUncheked() - Constructor for class DLV.DLVExceptionUncheked

DLVExceptionUncheked(String) - Constructor for class DLV.DLVExceptionUncheked

DLVInvocationException - class DLV.DLVInvocationException.

This exception is trown if any error is occurred during DLV invocation.

DLVInvocationException() - Constructor for class DLV.DLVInvocationException

DLVInvocationException(String) - Constructor for class DLV.DLVInvocationException

DlvHandler - class DLV.DlvHandler.

This is a wrapper class that allows to call DLV from a Java program.

DlvHandler(String) - Constructor for class DLV.DlvHandler

Constructs a Dlvhandler object that uses the standard Input Output implementation.

DlvHandler(AbstractIOImplementation) - Constructor for class DLV.DlvHandler

Constructs a Dlvhandler object that uses the specified implementation.

deFreeze() - Method in class DLV.DlvHandler

This function deFreezes the current DLV process.

E

equals(Object) - Method in class DLV.Predicate.Literal

If this Literal is the same of f returns true, otherwise false.

F

FINISHED - Static variable in class DLV.DlvHandler

The status of a DlvHandler instance when DLV process terminates a computation.

FREEZED - Static variable in class DLV.DlvHandler

The status of a DlvHandler instance when DLV process was freezed.

FilePredicate - class DLV.FilePredicate.

This class allows to handle ground predicates stored in a text file in datalog format.

FilePredicate(String, int, String) - Constructor for class DLV.FilePredicate

Constructs a new FilePredicate instance.

FilePredicate(String, int, String, String, int, int) - Constructor for class DLV.FilePredicate

Constructs a new FilePredicate instance.

FilePredicate(String, int, RandomAccessLiteralFile) - Constructor for class DLV.FilePredicate

Constructs a new FilePredicate instance.

first() - Method in class DLV.Model

This method moves the cursor to the first Predicate in this Model object.

first() - Method in class DLV.Predicate

This method moves the cursor to the first Literal in this Predicate object.

firstLiteral() - Method in class DLV.Predicate

This method returns the first literal and sets the cursor at the first position of this Predicate.

firstPredicate() - Method in class DLV.Model

This method returns the first predicate and set the cursor at the beginning of this Model.

flush() - Method in class DLV.FilePredicate

This method calls the flush() method of the underlying RandomAccessLiteralFile.

flushAndClean() - Method in class DLV.ODIFilePredicate

flushAndClean() - Method in class DLV.ODIJDBCPredicate

flushAndClean() - Method in class DLV.ODIPredicate

flushAndClean() - Method in class DLV.OutputDescriptorItem

freeze() - Method in class DLV.DlvHandler

This function freezes the current DLV process.

G

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.

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.

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.

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.

getDLVWrapperInfo() - Static method in class DLV.DlvHandler

Returns name and version of this version of the DLV Wrapper.

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".

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 class DLV.DlvHandler

Returns the encoding used to exchange data with DLV.

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.

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 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.

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.

getLiterals() - Method in class DLV.Predicate

This method returns an Enumeration of the Literals of this Predicate.

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.

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(int) - Method in class DLV.PredicateMetaData

Gets the name of the argument-th column.

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.

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 class DLV.DlvHandler

This function allows to get the Program object that is the input of DLV.

getProgramStrings() - Method in class DLV.Program

Returns a StringBuffer object which contains the StringBuffer partition of this program (which might be empty).

getProgramsPathNames() - Method in class DLV.Program

Returns an array of String object which contains the program pathnames previously set, otherwise null.

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.

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.

getTermAt(int) - Method in class DLV.Predicate.Literal

This function returns the i-th term of this Literal.

getTermAt(int, int) - Method in class DLV.Predicate

Returns the term contained in the j-th argument of the i-th Literal.

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.

getType(int) - Method in class DLV.PredicateMetaData

Gets the type of the argument-th column.

getVersion() - Method in class DLV.DlvHandler

This function asks the selected DLV implementation for version information.

getWarnings() - Method in class DLV.DlvHandler

After a DLV invocation, this function returns the warning messages.

H

hasMoreLiterals() - Method in class DLV.Predicate

This method returns true if there are more literals.

hasMoreModels() - Method in class DLV.DlvHandler

Tests If there are more Model object available.

hasMorePredicates() - Method in class DLV.Model

This method returns true if there are more predicates.

I

InvalidParameterException - exception DLV.InvalidParameterException.

This exception is trown if you insert an ivalid parameter.

InvalidParameterException() - Constructor for class DLV.InvalidParameterException

InvalidParameterException(String) - Constructor for class DLV.InvalidParameterException

InvalidValueException - exception DLV.InvalidValueException.

This exception is trown if you try to get a value from a Predicate with an incorrect method.

InvalidValueException() - Constructor for class DLV.InvalidValueException

InvalidValueException(String) - Constructor for class DLV.InvalidValueException

IsNoModelException - exception DLV.IsNoModelException.

This exception is trown if you call a method and this object represents no model.

IsNoModelException() - Constructor for class DLV.IsNoModelException

insertRow() - Method in class DLV.Predicate

Inserts the contents of the insert row into this Predicate object and into the database.

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).

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

J

JDBCException - exception DLV.JDBCException.

This exception is thrown if something goes wrong working with JDBC classes.

JDBCException() - Constructor for class DLV.JDBCException

JDBCException(String) - Constructor for class DLV.JDBCException

JDBCPredicate - class DLV.JDBCPredicate.

This class allows to handle ground predicates stored in realtional database tables.

JDBCPredicate(ResultSet) - Constructor for class DLV.JDBCPredicate

Builds a JDBCPredicate from a java.sql.ResultSet object.

JDBCPredicate(String, ResultSet) - Constructor for class DLV.JDBCPredicate

Builds a JDBCPredicate from a java.sql.ResultSet object.

JDBCPredicate(ResultSet, PredicateMetaData) - Constructor for class DLV.JDBCPredicate

Builds a JDBCPredicate, described by PredicateMetadata object "pmd", from a java.sql.ResultSet object.

JDBCPredicate(String, ResultSet, PredicateMetaData) - Constructor for class DLV.JDBCPredicate

Builds a JDBCPredicate, described by PredicateMetadata object "pmd", from a java.sql.ResultSet object.

K

KILLED - Static variable in class DLV.DlvHandler

The status of a DlvHandler instance when DLV process was killed.

kill() - Method in class DLV.DlvHandler

This function kills the current DLV process.

L

LiteralStaledException - exception DLV.LiteralStaledException.

This exception is thrown if you try to update a staled Literal object.

LiteralStaledException() - Constructor for class DLV.LiteralStaledException

LiteralStaledException(String) - Constructor for class DLV.LiteralStaledException

last() - Method in class DLV.Model

This method moves the cursor to the last Predicate in this Model object.

last() - Method in class DLV.Predicate

This method moves the cursor to the last Literal in this Predicate object.

lastLiteral() - Method in class DLV.Predicate

This method returns the last literal and set the cursor at the last position of this Predicate.

lastPredicate() - Method in class DLV.Model

This method returns the last predicate and set the cursor at the end of this Model.

M

MODEL_SYNCHRONOUS - Static variable in class DLV.DlvHandler

This constant indicates a kind of synchronization method of a DlvHandler instance.

MalformedTermException - exception DLV.MalformedTermException.

This exception is trown if you try to put a malformed term in a literal.

MalformedTermException() - Constructor for class DLV.MalformedTermException

MalformedTermException(String) - Constructor for class DLV.MalformedTermException

Model - class DLV.Model.

This class represents a Model of a logic program (output of DLV).

main(String[]) - Static method in class DLV.Tester

main1(String[]) - Static method in class DLV.Tester

main2(String[]) - Static method in class DLV.Tester

moveToCurrentRow() - Method in class DLV.Predicate

Moves the cursor to the remembered cursor position, usually the current row.

moveToInsertRow() - Method in class DLV.Predicate

multipleModelAllowed() - Method in class DLV.ODIFilePredicate

multipleModelAllowed() - Method in class DLV.ODIJDBCPredicate

multipleModelAllowed() - Method in class DLV.OutputDescriptor

Returns true if this OutputDescriptor supports multiple model generation, false otherwise.

multipleModelAllowed() - Method in class DLV.OutputDescriptorItem

Returns true if this OutputDescriptorItem supports multiple model generation, false otherwise.

N

NO_MODEL - Static variable in class DLV.Model

DLV programs may have many models or no model at all.

NULL - Static variable in class DLV.ConversionType

The constant identifying the DLV Wrapper type NULL.

NoModelsComputed - exception DLV.NoModelsComputed.

This exception is trown if you call a method to handle the output of DLV before the execution of DLV.

NoModelsComputed() - Constructor for class DLV.NoModelsComputed

NoModelsComputed(String) - Constructor for class DLV.NoModelsComputed

NoSuchLiteralException - exception DLV.NoSuchLiteralException.

This exception is thrown if you try to get, from a predicate, a literal which doesn't exist.

NoSuchLiteralException() - Constructor for class DLV.NoSuchLiteralException

NoSuchLiteralException(String) - Constructor for class DLV.NoSuchLiteralException

NoSuchModelException - exception DLV.NoSuchModelException.

This exception is trown if is asked to DLV_Manager istance a model that not exists.

NoSuchModelException() - Constructor for class DLV.NoSuchModelException

NoSuchModelException(String) - Constructor for class DLV.NoSuchModelException

NoSuchPredicateException - exception DLV.NoSuchPredicateException.

This exception is thrown if you try to get, from a model, a predicate which doesn't exist.

NoSuchPredicateException() - Constructor for class DLV.NoSuchPredicateException

NoSuchPredicateException(String) - Constructor for class DLV.NoSuchPredicateException

NoSuchTermException - exception DLV.NoSuchTermException.

This exception is thrown if you try to get, from a predicate, a term which doesn't exist.

NoSuchTermException() - Constructor for class DLV.NoSuchTermException

NoSuchTermException(String) - Constructor for class DLV.NoSuchTermException

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.

next() - Method in class DLV.Model

Moves the cursor down one position from its current.

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.

O

OBJECT - Static variable in class DLV.ConversionType

The constant identifying the DLV Wrapper type OBJECT.

ODIFilePredicate - class DLV.ODIFilePredicate.

This class allows to specify that the output storage device are one or more text files in datalog format.

ODIFilePredicate(String, String, int, int) - Constructor for class DLV.ODIFilePredicate

Builds an ODIFilePredicate given a file name, a supported character encoding, the literal cache size, and the character buffer size.

ODIFilePredicate(String, String, int) - Constructor for class DLV.ODIFilePredicate

Builds an ODIFilePredicate given a file name, a supported character encoding and the literal cache size.

ODIFilePredicate(String, String) - Constructor for class DLV.ODIFilePredicate

Builds an ODIFilePredicate given a file name and a supported character encoding.

ODIFilePredicate(String) - Constructor for class DLV.ODIFilePredicate

Builds an ODIFilePredicate given a file name.

ODIFilePredicate(RandomAccessLiteralFile) - Constructor for class DLV.ODIFilePredicate

Builds an ODIFilePredicate given a RandomAccessLiteralFile.

ODIJDBCPredicate - class DLV.ODIJDBCPredicate.

This class allows to specify that the output storage device is a database table.

ODIJDBCPredicate(String, Statement) - Constructor for class DLV.ODIJDBCPredicate

Builds an ODIJDBCPredicate, specifying output table name.

ODIJDBCPredicate(ResultSet) - Constructor for class DLV.ODIJDBCPredicate

Builds an ODIJDBCPredicate, specifying output table by a java.sql.ResultSet.

ODIJDBCPredicate(ResultSet, PredicateMetaData) - Constructor for class DLV.ODIJDBCPredicate

Builds an ODIJDBCPredicate, specifying output table by a java.sql.ResultSet and a PredicateMetaData.

ODIPredicate - class DLV.ODIPredicate.

This class allows to specify that the output storage device is main memory.

ODIPredicate() - Constructor for class DLV.ODIPredicate

OutputDescriptor - class DLV.OutputDescriptor.

This class describes how to build the output of DLV.

OutputDescriptor() - Constructor for class DLV.OutputDescriptor

Builds a new (empty) OutputDescriptor.

OutputDescriptor(OutputDescriptorItem) - Constructor for class DLV.OutputDescriptor

Builds a new OutputDescriptor specifying the default descriptor to be used.

OutputDescriptorItem - class DLV.OutputDescriptorItem.

Each OutputDescriptorItem instance allows to specify how to build a specified Predicate object during DLV output handling process.

OutputDescriptorItem() - Constructor for class DLV.OutputDescriptorItem

P

Parser - class DLV.Parser.

Parser() - Constructor for class DLV.Parser

ParserException - exception DLV.ParserException.

This exception is trown if a syntax error is found.

ParserException() - Constructor for class DLV.ParserException

ParserException(String) - Constructor for class DLV.ParserException

Predicate - class DLV.Predicate.

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 DLV.Predicate.Literal.

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 DLV.PredicateMetaData.

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.

Program - class DLV.Program.

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.

parse(BufferedReader, DlvIOHandler) - Method in class DLV.Parser

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.

Q

QUOTED_BYTE - Static variable in class DLV.ConversionType

The constant identifying the DLV Wrapper type QUOTED_BYTE.

QUOTED_DOUBLE - Static variable in class DLV.ConversionType

The constant identifying the DLV Wrapper type QUOTED_DOUBLE.

QUOTED_FLOAT - Static variable in class DLV.ConversionType

The constant identifying the DLV Wrapper type QUOTED_FLOAT.

QUOTED_INT - Static variable in class DLV.ConversionType

The constant identifying the DLV Wrapper type QUOTED_INT.

QUOTED_LONG - Static variable in class DLV.ConversionType

The constant identifying the DLV Wrapper type QUOTED_LONG.

QUOTED_SHORT - Static variable in class DLV.ConversionType

The constant identifying the DLV Wrapper type QUOTED_SHORT.

R

READY - Static variable in class DLV.DlvHandler

The status of a DlvHandler instance when DLV is running.

ROUND_DOUBLE - Static variable in class DLV.ConversionType

The constant identifying the DLV Wrapper type ROUND_DOUBLE.

ROUND_FLOAT - Static variable in class DLV.ConversionType

The constant identifying the DLV Wrapper type ROUND_FLOAT.

RUNNING - Static variable in class DLV.DlvHandler

The status of a DlvHandler instance when DLV process is running.

relative(int) - Method in class DLV.Model

Moves the cursor a relative number of positions, either positive or negative.

relative(int) - Method in class DLV.Predicate

Moves the cursor a relative number of positions, either positive or negative.

removeDescriptor(String) - Method in class DLV.OutputDescriptor

Removes (if exists) the OutputDescriptorItem associated with Predicate "predicateName".

removeLiteral() - Method in class DLV.Predicate

This method removes the current literal if it exists, otherwise no operation is performed.

removeLiteral(int) - Method in class DLV.Predicate

This method removes the i-th literal if it exists, otherwise no operation is performed.

removeModel(int) - Method in class DLV.DlvHandler

This function allows to discard the i-th Model object.

removeModel() - Method in class DLV.DlvHandler

This function allows to discard the current Model.

removePredicate(Predicate) - Method in class DLV.Program

Remove from this Program the "relation" Predicate object.

removePredicates() - Method in class DLV.Program

Remove all Predicate objects from this Program.

removeProgramFile(String) - Method in class DLV.Program

Removes from this Program a File which contains a logic program in text format.

removeProgramFiles() - Method in class DLV.Program

Removes from this Program all program files.

removeStrings() - Method in class DLV.Program

Clears the StringBuffer partition of this program.

reset() - Method in class DLV.DlvHandler

This function resets the current DlvHandler instance.

reset() - Method in class DLV.OutputDescriptor

Resets this OutputDescriptor.

reset() - Method in class DLV.Program

Resets this Program object (is equivalent to call removePredicates(), removeProgramFiles(), removeResultSetHandlers() and removeStrings()).

run() - Method in class DLV.DlvHandler

// *************************************** FUNZIONI DI INVOCAZIONE ********************************** /** This function starts DLV in MODEL_SYNCHRONOUS mode.

run(byte) - Method in class DLV.DlvHandler

This function starts DLV in "method" mode.

S

STRING - Static variable in class DLV.ConversionType

The constant identifying the DLV Wrapper type STRING (which is QUOTED_STRING).

SYNCHRONOUS - Static variable in class DLV.DlvHandler

This constant indicates a kind of synchronization method of a DlvHandler instance.

saveTo(String) - Method in class DLV.Model

This method allows to save this Model in the file "file".

saveTo(String) - Method in class DLV.Predicate

This method allows to save this Predicate in the file "file".

setCostBound(String) - Method in class DLV.DlvHandler

Set the value of costbound option.

setCursor(int) - Method in class DLV.DlvHandler

Sets the cursor position. 0 is the first position.

setDeterministicConsequences(boolean) - Method in class DLV.DlvHandler

If set, DLV only computes deterministic consequences.

setEncoding(String) - Method in class DLV.DlvHandler

Sets the encoding used to exchange data with DLV.

setFilter(String[]) - Method in class DLV.DlvHandler

Includes only instances of the predicate specified in the filter parameter in output.

setFrontEnd(String) - Method in class DLV.DlvHandler

Set the DLV frontend parameters.

setGenerateAllPossibilyModels(boolean) - Method in class DLV.DlvHandler

If set, DLV outputs all (possibly not optimal) models ignoring weak constraints.

setIncludeFacts(boolean) - Method in class DLV.DlvHandler

If set, DLV includes facts as part of the output.

setInstantiate(boolean) - Method in class DLV.DlvHandler

If set, DLV only ground and out the instantiation.

setIsPositive(int, boolean) - Method in class DLV.Predicate

Updates the designated row (literal) with a boolean value indicating if row-th Literal must be positive.

setMaxint(int) - Method in class DLV.DlvHandler

Limit integers to [0,N].

setName(String) - Method in class DLV.Predicate

Sets predicate name.

setName(int, String) - Method in class DLV.PredicateMetaData

Sets the name of the argument-th column.

setNumberOfModels(int) - Method in class DLV.DlvHandler

If set, DLV computes at most N stable models.

setOptimizationOptions(String) - Method in class DLV.DlvHandler

Set the DLV Optimization Options parameters.

setOutputDescriptor(OutputDescriptor) - Method in class DLV.DlvHandler

This function allows to set the OutputDescriptor object which describe how to process the output of DLV.

setPFilter(String[]) - Method in class DLV.DlvHandler

Includes only positive instances of the predicate specified in the filter parameter in output.

setPath(String) - Method in class DLV.DlvHandler

Set the full pathname of DLV for the next invocation.

setPredicateMetaData(PredicateMetaData) - Method in class DLV.Predicate

Sets meta information for this Predicate.

setProgram(Program) - Method in class DLV.DlvHandler

This function allows to set the Program object that is the input of DLV.

setQuoted(int, boolean) - Method in class DLV.JDBCPredicate

Sets the quoted property for the i-th term.

setQuoted(boolean[]) - Method in class DLV.ODIJDBCPredicate

Sets the quoted property of the JDBCPredicate.

setRandomAccessLiteralFile(RandomAccessLiteralFile) - Method in class DLV.FilePredicate

Changes the underlying RandomAccessLiteralFile.

setReplace(boolean) - Method in class DLV.OutputDescriptorItem

Sets the replace option flag value.

setTermAt(String, int) - Method in class DLV.Predicate.Literal

Deprecated. use setTermAt(int i, String t) instead.

setTermAt(int, String) - Method in class DLV.Predicate.Literal

This function sets the i-th term of this Literal.

setTermAt(int, int, String) - Method in class DLV.Predicate

Sets the term contained in the j-th argument of the i-th Literal.

setType(int, byte) - Method in class DLV.PredicateMetaData

Sets the Predicate arity.

signalDlvDeFreeze() - Method in class DLV.DlvHandler

signalDlvEnd() - Method in class DLV.DlvHandler

signalDlvFreeze() - Method in class DLV.DlvHandler

signalDlvKill() - Method in class DLV.DlvHandler

signalError(Throwable) - Method in class DLV.DlvHandler

size() - Method in class DLV.Model

Returns the size of this model (The number of predicates it contains).

size() - Method in class DLV.Predicate

Returns the size of this predicate (number of tuples in a "relational view").

sqlToDlvTypes(int) - Static method in class DLV.ConversionType

This function converts SQL type code in a DLV Wrapper type code.

startMySql() - Static method in class DLV.Tester

stopMySql() - Static method in class DLV.Tester

T

TIME - Static variable in class DLV.ConversionType

The constant identifying the DLV Wrapper type TIME.

TRUNC_DOUBLE - Static variable in class DLV.ConversionType

The constant identifying the DLV Wrapper type TRUNC_DOUBLE.

TRUNC_FLOAT - Static variable in class DLV.ConversionType

The constant identifying the DLV Wrapper type TRUNC_FLOAT.

Tester - class DLV.Tester.

Tester() - Constructor for class DLV.Tester

Tools - class DLV.Tools.

This class provide some useful static methods.

Tools() - Constructor for class DLV.Tools

TrueNegationNotSupportedException - exception DLV.TrueNegationNotSupportedException.

This exception is thrown if you try to use true negation in a predicate that does not support it.

TrueNegationNotSupportedException() - Constructor for class DLV.TrueNegationNotSupportedException

TrueNegationNotSupportedException(String) - Constructor for class DLV.TrueNegationNotSupportedException

toString() - Method in class DLV.ConversionType.DBNull

toString() - Method in class DLV.Model

toString() - Method in class DLV.Predicate.Literal

toString() - Method in class DLV.Predicate

U

UNIMPLEMENTED - Static variable in class DLV.ConversionType

The constant identifying the DLV Wrapper type UNIMPLEMENTED.

update() - Method in class DLV.Predicate.Literal

Commits changes made in this object updating the underlying literal implementation stored in the Predicate object.

updateBigDecimal(int, BigDecimal) - Method in class DLV.Predicate

Updates the designated column with a value.

updateBoolean(int, boolean) - Method in class DLV.Predicate

Updates the designated column with a boolean value.

updateByte(int, byte) - Method in class DLV.Predicate

Updates the designated column with an byte value.

updateDate(int, Date) - Method in class DLV.Predicate

Updates the designated column with a java.sql.Date value.

updateDouble(int, double) - Method in class DLV.Predicate

Updates the designated column with a double value.

updateFloat(int, float) - Method in class DLV.Predicate

Updates the designated column with a Float value.

updateInt(int, int) - Method in class DLV.Predicate

Updates the designated column with an int value.

updateIsPositive(boolean) - Method in class DLV.Predicate

Updates the designated row (literal) with a boolean value indicating if current Literal must be positive.

updateLiteral(Predicate.Literal) - Method in class DLV.Predicate

This method updates (replace) the literal currently pointed by the cursor if it exists, otherwise NoSuchLiteralException is thrown.

updateLiteral(int, Predicate.Literal) - Method in class DLV.Predicate

This method updates (replace) the i-th literal if it exists, otherwise NoSuchLiteralException is thrown.

updateLong(int, long) - Method in class DLV.Predicate

Updates the designated column with a long value.

updateNull(int) - Method in class DLV.Predicate

Gives a nullable column a null value.

updateRow() - Method in class DLV.Predicate

Updates the underlying Predicate object with the new contents of the current row.

updateShort(int, short) - Method in class DLV.Predicate

Updates the designated column with a Short value.

updateString(int, String) - Method in class DLV.Predicate

Updates the designated column with a String value.

updateTime(int, Time) - Method in class DLV.Predicate

Updates the designated column with a Time value.

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