Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
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.
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W