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

L

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.
LETTER - Static variable in interface DLV.parser.QueryParserConstants
 
lexStateNames - Static variable in class DLV.parser.QueryParserTokenManager
 
LiteralFile - Class in DLV.io
Implements a file of Literals.
LiteralFile(String, String, int, int) - Constructor for class DLV.io.LiteralFile
 
LiteralFile.LiteralHandler - Class in DLV.io
 
LiteralFile.LiteralHandler(long, String, String[], boolean) - Constructor for class DLV.io.LiteralFile.LiteralHandler
 
LiteralFile.LiteralHandler(long, Predicate.Literal) - Constructor for class DLV.io.LiteralFile.LiteralHandler
 
LiteralIncompatibleException - Exception in DLV.io
This exception is trown if you try to replace a Literal l1 from a Predicate p1 with Literal l2 from Predicate p2.
LiteralIncompatibleException() - Constructor for exception DLV.io.LiteralIncompatibleException
 
LiteralIncompatibleException(String) - Constructor for exception DLV.io.LiteralIncompatibleException
 
LiteralStaledException - Exception in DLV
This exception is thrown if you try to update a staled Literal object.
LiteralStaledException() - Constructor for exception DLV.LiteralStaledException
 
LiteralStaledException(String) - Constructor for exception DLV.LiteralStaledException
 
lookingAhead - Variable 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