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

N

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.
newToken(int) - Static method in class DLV.parser.Token
Returns a new Token object, by default.
next() - Method in class DLV.Model
Moves the cursor down one position from its current.
next - Variable in class DLV.parser.Token
A reference to the next regular (non-special) token from the input stream.
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.
NO_MODEL - Static variable in class DLV.Model
DLV programs may have many models or no model at all.
NoModelsComputed - Exception in DLV
This exception is trown if you call a method to handle the output of DLV before the execution of DLV.
NoModelsComputed() - Constructor for exception DLV.NoModelsComputed
 
NoModelsComputed(String) - Constructor for exception DLV.NoModelsComputed
 
nonGroundLine() - Method in class DLV.parser.QueryParser
 
nonGroundQuery() - Method in class DLV.parser.QueryParser
 
NoSuchLiteralException - Exception in DLV
This exception is thrown if you try to get, from a predicate, a literal which doesn't exist.
NoSuchLiteralException() - Constructor for exception DLV.NoSuchLiteralException
 
NoSuchLiteralException(String) - Constructor for exception DLV.NoSuchLiteralException
 
NoSuchModelException - Exception in DLV
This exception is trown if is asked to DLV_Manager istance a model that not exists.
NoSuchModelException() - Constructor for exception DLV.NoSuchModelException
 
NoSuchModelException(String) - Constructor for exception DLV.NoSuchModelException
 
NoSuchPredicateException - Exception in DLV
This exception is thrown if you try to get, from a model, a predicate which doesn't exist.
NoSuchPredicateException() - Constructor for exception DLV.NoSuchPredicateException
 
NoSuchPredicateException(String) - Constructor for exception DLV.NoSuchPredicateException
 
NoSuchTermException - Exception in DLV
This exception is thrown if you try to get, from a predicate, a term which doesn't exist.
NoSuchTermException() - Constructor for exception DLV.NoSuchTermException
 
NoSuchTermException(String) - Constructor for exception DLV.NoSuchTermException
 
NULL - Static variable in class DLV.ConversionType
The constant identifying the DLV Wrapper type NULL.

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