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
 

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