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

S

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".
seek(long) - Method in class DLV.io.RandomAccessCharacterFile
 
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.
setDebugStream(PrintStream) - Method in class DLV.parser.QueryParserTokenManager
 
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.
setLength(long) - Method in class DLV.io.RandomAccessCharacterFile
 
setLiteralHandler(long, LiteralFile.LiteralHandler) - Method in class DLV.io.LiteralFile
 
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.
setPath(String) - Method in class DLV.DlvHandler
Set the full pathname of DLV for the next invocation.
setPathName(String) - Method in class DLV.core.JavaPipedIOImpl
 
setPFilter(String[]) - Method in class DLV.DlvHandler
Includes only positive instances of the predicate specified in the filter parameter in output.
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.
setWarnings(String) - Method in class DLV.core.JavaPipedIOImpl
 
signalDlvDeFreeze() - Method in interface DLV.core.DlvIOHandler
 
signalDlvDeFreeze() - Method in class DLV.DlvHandler
 
signalDlvEnd() - Method in interface DLV.core.DlvIOHandler
 
signalDlvEnd() - Method in class DLV.DlvHandler
 
signalDlvFreeze() - Method in interface DLV.core.DlvIOHandler
 
signalDlvFreeze() - Method in class DLV.DlvHandler
 
signalDlvKill() - Method in interface DLV.core.DlvIOHandler
 
signalDlvKill() - Method in class DLV.DlvHandler
 
signalError(Throwable) - Method in interface DLV.core.DlvIOHandler
 
signalError(Throwable) - Method in class DLV.DlvHandler
 
size() - Method in class DLV.io.LiteralFile
 
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").
specialToken - Variable in class DLV.parser.Token
This field is used to access special tokens that occur prior to this token, but after the immediately preceding regular (non-special) token.
sqlToDlvTypes(int) - Static method in class DLV.ConversionType
This function converts SQL type code in a DLV Wrapper type code.
start() - Method in class DLV.parser.QueryParser
 
startMySql() - Static method in class DLV.Tester
 
Statement() - Method in class DLV.parser.QueryParser
 
staticFlag - Static variable in class DLV.parser.JavaCharStream
 
STOPLIST - Static variable in interface DLV.parser.QueryParserConstants
 
stopMySql() - Static method in class DLV.Tester
 
STRING - Static variable in class DLV.ConversionType
The constant identifying the DLV Wrapper type STRING (which is QUOTED_STRING).
STRING_LITERAL - Static variable in interface DLV.parser.QueryParserConstants
 
SwitchTo(int) - Method in class DLV.parser.QueryParserTokenManager
 
SYNCHRONOUS - Static variable in class DLV.DlvHandler
This constant indicates a kind of synchronization method of a DlvHandler instance.

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