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

M

main(String[]) - Static method in class DLV.io.LiteralFile
 
main(String[]) - Static method in class DLV.parser.QueryParser
 
main(String[]) - Static method in class DLV.Tester
 
MalformedTermException - Exception in DLV
This exception is trown if you try to put a malformed term in a literal.
MalformedTermException() - Constructor for exception DLV.MalformedTermException
 
MalformedTermException(String) - Constructor for exception DLV.MalformedTermException
 
Model - Class in DLV
This class represents a Model of a logic program (output of DLV).
MODEL_SYNCHRONOUS - Static variable in class DLV.DlvHandler
This constant indicates a kind of synchronization method of a DlvHandler instance.
modelElapsedTime() - Method in class DLV.Parser
 
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.

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