|
|||||||||
PREV NEXT | FRAMES NO FRAMES |
DlpProcessor
,
EvolpProcessor
and EvolpVarProcessor
.LpStructureUnitVisitor
instance, i.e. calls its
visitor.visit(this)
.
LpStructureUnitVisitor
instance, i.e. calls its
visitor.visit(this)
.
LpStructureUnitVisitor
instance, i.e. calls
visitor.visit(this)
.
LpStructureUnitVisitor
instance, i.e. calls
visitor.visit(this)
.
LpStructureUnitVisitor
instance, i.e. calls its
visitor.visit(this)
.
LpStructureUnitVisitor
instance, i.e. calls its
visitor.visit(this)
.
LpStructureUnitVisitor
instance, i.e. calls its
visitor.visit(this)
.
LpStructureUnitVisitor
.
LpStructureUnitVisitor
instance, i.e. calls
visitor.visit(this)
.
program
to end of this dynamic logic program.
UnsupportedOperationException
.
rule
to this program and remembers it to be of type
type
.
rule
to this program and remembers it to be in the
group no.
UnsupportedOperationException
.
LpBuffer
.
LpBuffer
.
LpBuffer
.
unit
to this
LpBuffer
.
unit
to this
LpPrinter
.
Writer
.
Writer
.
Writer
.
seq
but escapes the characters '_', 'L', 'R', 'C', 'A',
'D' by writing "__", "_l", "_r", "_c", "_a", "_d" instead of them.
LpLexer.lexem
and reads a new
one.
LpPrettyPrinter
does.
LpPrettyPrinter
does.
punctuation
surrounded by a
<span class="punctuation">
element.
punctuation
surrounded by a <span class="punctuation">
element.
rule
to this character sequence
not taking into account the position of the rule within the structure and
without the trailing dot.
LpPrettyPrinter.ARROW_STRING
enclosed in a
<span class="punctuation">
element.
LpPrettyPrinter.ARROW_STRING
.
<span class="punctuation">
element.
LpToken
buffer used to implement the lookahead.
WrapperUtils.transfer(InputStream, OutputStream)
method.
char
value in this sequence at the specified index.
WrapperUtils.transfer(InputStream, StringBuilder)
method.
predicate.getArity()
equals
arguments.size()
.
function.getArity()
equals
arguments.size()
.
UnsupportedOperationException
.
Writer
.
Reader
.
Reader
.
Reader
.
CollectingModelConsumer.consume(StableModel)
method.<span class="punctuation">
element.
model
to this set.
item
.
true
iff this sequence contains number
.
false
.
c.isEmpty()
.
DynamicLogicProgram
.DlpGrounder
that creates its own
LparseWrapper
instance using its default constructors.
DlpGrounder
that uses the given object
to invoke lparse and process its output.
TaggedDlpParser
.
LpStructureUnit
printer that:
gets rid of negation in rule heads by prepending a "p_" or "n_"
adds a tagging literal to body of every rule.TaggingPrettyPrinter
.
DlpGrounder
class.LpParser
.DlpParser
instance that uses a new LpLexer
instance to tokenize the character input before parsing.
DlpParser
instance that uses lexer
to
tokenize the character input before parsing.
DlpParser
class.DlpParser
, DlpGrounder
,
DlpTransformer
and DlpSolver
.DlpSolver
.
DlpSolver
.
DlpSolver
class.DlpTransformer
.
DlpTransformer
class.pred
with
argTerms
as its arguments will be appended (or converted to
string) correctly.
LpAbstractStructureUnit.toString()
method)
<span class="punctuation">
element.
LpLexerTest.lexer
to tokenize source
and compares the results
with contents of expectedTokens
.
LpLexerTest.doTest(String, List)
and then makes a more
advanced test with some lookahead calls (which shouldn't influence the
results of other methods).
source
to the parser and expects expected
to be
returned.
LpGroundDecider.isGround(LpStructureUnit)
when called
with unit
as input.
LpBuffer.asString(LpStructureUnit)
and
LpPrinter.append(LpStructureUnit)
methods when called with
unit
as input.
dlp
is the dynamic logic program obtained by parsing
dlpSource
.
filename
.
program
is the logic program obtained by parsing
programSource
.
doTest(input, "-t", expOutput, expError, expWarnings)
.
lw
.
LpParser
instance actually throws the specified
LpParserException
on the given source.
InputStream
as a string.
DynamicLogicProgram
.
DynamicLogicProgram
with the specified
initial capacity.
<span class="punctuation">
element.
true
if and only if
obj
is a LpAtom
instance,
its predicate is equal to this atom's predicate as defined by
LpPredicate.equals(Object)
,
its argument list are equal to this atom's argument list.
true
if and only if
obj
is a LpCompoundTerm
instance,
its function symbol is equal to this term's function symbol as
defined by LpFunction.equals(Object)
,
its argument list is equal to this term's argument list
true
if and only if
obj
is a LpConstant
instance,
its name is equal to this constant's name as
defined by String.equals(Object)
,
true
if and only if
obj
is a LpFunction
instance,
its name is equal to this function's name as defined by
String.equals(Object)
,
its arity is equal to this function's arity
true
if and only if
obj
is a LpLiteral
instance,
it has the same polarity as this literal,
its underlying LpAtom
instance is equal to this literal's
underlying LpAtom
instance
true
if and only if
obj
is a LpPredicate
instance,
its name is equal to this predicate's name as defined by
String.equals(Object)
,
its arity is equal to this predicate's arity
true
if and only if
obj
is a LpRule
instance,
its head is equal to this rule's head, i.e. either they are
both null
or they are equal according to
LpLiteral.equals(Object)
,
its body is equal to this rule's body, i.e. either they are both
null
or one is null
and the other has Set.size()
equal to 0 or they are equal according to
Set.equals(Object)
.
true
if and only if obj
is a term of the same
structure.
true
if and only if
obj
is a LpVariable
instance,
its name is equal to this variable's name as
defined by String.equals(Object)
,
true
if obj
is a GrounderMessage
with the
same members as this one.
true
iff obj
implements the LogicProgram
interface and contains no rules.
true
iff obj
is an instance of
LparseMessage
, is of the same type (as specified by
LparseMessage.isWarning()
) and contains the same message for the same
line number.
Runnable
that keeps reading and parsing the standard error
output of the lparse process while it is being executed.
LparseWrapper.errorProcessor
is running.
true
iff c
is one of '_', 'L', 'R', 'C', 'A',
'D'.
LpParser
and overrides some parts
in order to parse the input according to this grammar:
Rule ---> (Literal | InnerRule) DOT
InnerRule ---> NormalRule | Constraint
OrdinaryRule ---> Literal RULE_ARROW (Literal (COMMA Literal)*)?EvolpParser
instance that uses a new
LpLexer
instance to tokenize the character input before parsing.
EvolpParser
instance that uses lexer
to
tokenize the character input before parsing.
EvolpParser
class.EvolpParser
class that reuses data from
LpPrettyPrinterTest
.LpStructureUnit
interface into a human-readable
(standard) textual representation.EvolpPrettyPrinter
.
EvolpPrettyPrinter
.
initialValue
.
EvolpPrettyPrinter
class.EvolpParser
,
EvolpTransformer
and EvolpSolver
.EvolpProgram
LpParserTest.getRule2()
.
EvolpSolver
.
EvolpSolver
.
LpEncoder
.Decoder
that filters the contents
of in
.
EvolpTransformer
.
EvolpTransformer
class.EvolpParser
,
EvolpVarTransformer
, DlpTransformer
and EvolpSolver
.EvolpVarTransformer
.
EvolpVarTransformer
class.EvolutionStableModel
.
EvolutionStableModel
with the given
initial capacity.
RuntimeException
container for checked exceptions.ExceptionAdapter
that stores
cause
as its cause.
LparseWrapper.setOptions(String method)
).
SmodelsWrapper.setModelLimit(int)
) to it.
command
through Runtime.exec(String)
and puts the contents of input
on the process's standard input.
LpPrettyPrinterTest.pp
during the tests.
LpPrettyPrinterTest.pp2
during the tests.
LpLexer.getTokenType()
with an expected token.
Writer
.
LpGroundDecider
instance used in the GeneralizedLogicProgram.isGround()
method.
LogicProgram
interface.GeneralizedLogicProgram
representing an
empty logic program.
GeneralizedLogicProgram
class.IndexOutOfBoundsException
.
i
-th rule in this logic program.
i
-th rule in this logic program.
LpBuffer
that uses a new
EvolpPrettyPrinter
instance to write LpStructureUnit
s.It
will use the string "<-" to separate the head and body of a rule.
LpBuffer
that uses a new
EvolpPrettyPrinter
instance to write LpStructureUnit
s.
LpBuffer
that uses a new
LpEncoder
instance to write LpStructureUnit
s.
LpBuffer
that uses a new
LpHtmlPrinter
instance to write
LpStructureUnit
s.
LpBuffer
that uses a new
LpHtmlPrinter
instance to write
LpStructureUnit
s.
LpBuffer
that uses a new
LpPrettyPrinter
instance to write
LpStructureUnit
s.
LpBuffer
that uses a new
LpPrettyPrinter
instance to write
LpStructureUnit
s.
InputStream
of this fake process.
LogicProgram
containing all rules of type type
from this program.
LogicProgram
containing all rules from group no.
InputStream
of this fake process.
LpAtom
with the given predicate symbol and
argument list.
LpCompoundTerm
with the given function
symbol and argument list.
LpConstant
with the given name.
LpFunction
with the given name and arity.
LpFunction
with the given name and arity
implied by the size of the given argument list.
LpPredicate
with the given name and
arity.
LpPredicate
with the given name and arity
implied by the size of the given argument list.
LpVariable
with the given name.
n
steps further in the
input.
LpParser.lexer
.
n
steps
further in the input occurs.
LpLiteral
instance.
limit
, or -1 if no such element exists.
LpLiteral
instance.
Writer
into which this writes the
output.
OutputStream
of this fake process.
n
steps further in the input.
LpLiteral
instance.
WrapperUtils.getCommandName(String)
) that follows the last
File.separatorChar
character.
LpToken
instance containing information about the last
token read.
LpToken
instance containing information about the last
token read.
LpToken
instance containing information about the token
n
steps further in the input.
n
steps further in the input.
visit()
methods.
inputProgram
.
DlpGrounder
instance.
LpGrounder
and DlpGrounder
).Grounder
that uses the given object
to invoke lparse and process its output.
LpGrounder
instance used in the tests.
GrounderMessage
with the specified
message that relates to the given rule.
GrounderMessage
with the specified
message that relates to the given rule.
Object.hashCode()
.
Object.hashCode()
.
Object.hashCode()
.
Object.hashCode()
.
Object.hashCode()
.
Object.hashCode()
.
Object.hashCode()
.
Object.hashCode()
.
Object.hashCode()
.
Object.hashCode()
.
Object.hashCode()
.
true
if there are more tokens on the input and
false
if there are no more tokens or if LpParser.close()
has
already been called.
Reader
instance.
Reader
.
trackPosition
is true
, this stack holds the numbers of
remaining inner terms of function and predicate symbols.
maxCount
elements.
true
iff this sequence has 0 elements.
true
.
true
iff unit
doesn't contain a variable
represented by a LpVariable
instance.
true
iff all programs in the sequence are also ground.
true
.
true
iff both the base program and all events are ground.
true
iff this logic programs contains only ground rules,
i.e. rules that contain no variables.
true
iff this logic programs contains only ground rules,
i.e. rules that contain no variables.
true
if this literal is positive and false
otherwise.
true
if this is a warning message and false
if it
is an error message.
true
if this is a warning message and false
if it
is an error message.
JspWriter
.LpAtom.pool
.
LpCompoundTerm.pool
.
positive
is true
and the
string "<span class=\"negLitPrefix\">not</span> "
otherwise.
positive
is true
and the
string "not " otherwise.
count
tokens and stores them in the buffer.
LpRule
instances.lp.struct
package.LpAbstractStructureUnit.toString()
method for all classes implementing the
LpStructureUnit
interface.LpAbstractStructureUnit
class.LparseWrapper
.
LparseMessage
objects in
LparseWrapper.error
and LparseWrapper.warnings
.ErrorStreamProcessor
.
LparseWrapper
class.LpAtom
with the given predicate symbol
and argument list.
LpAtom
class.LpPrinter
for writing into a string buffer instead of a
writer.LpBuffer
that uses printer
to
append usual objects and also LpStructureUnit
s to a string
buffer.
LpCompoundTerm
class.LpConstant
with the given name.
LpConstant
class.LpStructureUnit
interface into an encoded
textual form that only contains the characters [a-zA-Z_] and can be decoded
back to the original components.LpEncoder
.
LpFunction
class.LpStructureUnit
is ground, i.e. if it "contains" a
variable (represented by a LpVariable
instance) or not.LpGroundDecider
.
LpGroundDecider
class.LpGrounder
that creates its own
LparseWrapper
instance using its default constructors.
LpGrounder
that uses the given object
to invoke lparse and process its output.
LpGrounder
class.LpStructureUnit
interface into an HTML
representation.LpHtmlPrinter
.
LpHtmlPrinter
.
LpLexer
.
LpLexer
class.LpLiteral
class.LpLexer
and it offers the
possibility to take a look at future tokens and not loose the current
position in the input.LpLookaheadLexer
class.LpRule
, LpLiteral
and LpTerm
objects.LpParser
instance that uses a new LpLexer
instance to tokenize the character input before parsing.
LpParser
instance that uses lexer
to
tokenize the character input before parsing.
LpParser
when it can't parse the input.LpLexer
.
LpParser
class.LpParser
class that reuses data from
LpPrettyPrinterTest
.LpPredicate
class.LpStructureUnit
interface into a
human-readable (standard) textual representation.LpPrettyPrinter
.
LpPrettyPrinter
.
LpPrettyPrinter
class.W
.
LpPrinter
class.LpRule
with the given ruleHead
and ruleBody
.
LpRule
class.LpSolver
.
LpSolver
.
LpSolver
class.LpStructureUnit.accept(LpStructureUnitVisitor)
method
that make implementing classes visitable by any
LpStructureUnitVisitor
.lp.struct
.LpStructureUnit
interface.LpLexer
.LpToken
class.LpLexer
and further used by
parsers to parse source code.LpVariable
with the given name.
LpVariable
class.LparseWrapper
instance used to execute lparse when grounding
the logic program with tagged rules created from the original
(non-ground) dynamic logic program.
LparseWrapper
instance used to execute lparse before executing
smodels.
LparseWrapper
instance used in the tests.
lparseMessage
from lparse and
the input program.
lparseMessage
from lparse and
the input program.
lparseMessage
from lparse and
the input program.
LpLexer.getTokenType()
with an expected token and reads a new token.
Reader
and stores it
in la
.
LpLexer
.
LparseWrapper.exec()
method.
Writer
into which the class writes.
LogicProgram
object.
LogicProgram
object.
modelString
and returns the model that it represents.
modelString
and returns the model that it represents.
modelString
and returns the model that it represents.
modelString
and returns the model that it represents.
LpParser
instance used in the tests.
LpParser
instance used in the tests.
LpParser
instance used in the tests to convert create object
representations of rules.
EvolpParser
instance used in the tests to convert create
object representations of rules.
LpParser
instance used in tests to convert strings into
LpRule
instances.
LpLiteral
objects.
Reader
and with the given
stop character.
LpPrettyPrinter
used in the tests.
LpPrettyPrinter
that is used to create the lparse
input with the original (non-ground) program.
LpPrettyPrinter
used in the tests.
LpPrinter
used to append LpStructureUnit
s to
LpBuffer.buffer
.
LparseWrapper
.
inputProgram
in a form that is groundable by lparse (as
long as the programmer didn't break the constraints imposed by lparse).
inputProgram
in a form that is groundable by lparse (as
long as the programmer didn't break the constraints imposed by lparse).
inputProgram
in a form that is groundable by lparse (as
long as the programmer didn't break the constraints imposed by lparse).
LpPrettyPrinterTest.doTest(String, LpStructureUnit)
to randomize the tests.
len
characters and puts them to cbuf
beginning at
position off
.
LpLexer.la
.
EvolpPrettyPrinter.trackPosition
is true
, 1 one is subtracted from the
topmost integer in EvolpPrettyPrinter.innerTermsLeft
.
UnsupportedOperationException
.
UnsupportedOperationException
.
UnsupportedOperationException
.
LpParserTest.getRule1()
.
LpParserTest.getRule2()
.
LparseWrapper.ErrorStreamProcessor.setErrorStream(InputStream)
is read and parsed.
File.separatorChar
.
program
as the base program.
LpLexer
.
LpLexer
.
LpLexer
.
LpParser
to the given
CharSequence
.
LpParser
to the contents of the
given file.
LpParser
to the given
Reader
.
LpParser
to the given
CharSequence
.
LpParser
to the given
CharSequence
.
LpParser
to the contents of the
given file.
LpParser
to the given
Reader
.
LparseWrapper.exec()
method.
Writer
into which this writes the
output.
LpPrettyPrinterTest.r
, LpPrettyPrinterTest.pp
, LpPrettyPrinterTest.pp2
,
LpPrettyPrinterTest.expContents
and LpPrettyPrinterTest.expContents2
).
LpPrettyPrinterTest.r
, LpPrettyPrinterTest.pp
, LpPrettyPrinterTest.pp2
,
LpPrettyPrinterTest.expContents
and LpPrettyPrinterTest.expContents2
).
SmodelsWrapper
.
SmodelsWrapper
class.program
and passes them to consumer
.
DlpSolver
that is being tested.
LpSolver
that is being tested.
LpSolver
,
DlpSolver
and EvolpSolver
).LpPrettyPrinter.SPACE_STRING
.
StableModel
.
InputStream
.
OutputStream
.
InputStream
.
InputStream
to read stream.
SmodelsWrapper
instance used to compute the stable models.
SmodelsWrapper
instance used in the tests.
LpLexer.close()
is called.
DlpGrounder
on an already grounded input.
LpCompoundTerm
instances to the
LpBuffer.asString(LpStructureUnit)
and
LpPrinter.append(LpStructureUnit)
methods.
LpConstant
instances to the
LpBuffer.asString(LpStructureUnit)
and
LpPrinter.append(LpStructureUnit)
methods.
EvolpPrettyPrinter
on rules that contain other rules as
an inner term.
LpFunction
instances to the
LpBuffer.asString(LpStructureUnit)
and
LpPrinter.append(LpStructureUnit)
methods.
LpLiteral
instances to the
LpBuffer.asString(LpStructureUnit)
and
LpPrinter.append(LpStructureUnit)
methods.
null
to the
LpBuffer.asString(LpStructureUnit)
and
LpPrinter.append(LpStructureUnit)
methods.
LpPredicate
instances to the
LpBuffer.asString(LpStructureUnit)
and
LpPrinter.append(LpStructureUnit)
methods.
LpRule
instances to the
LpBuffer.asString(LpStructureUnit)
and
LpPrinter.append(LpStructureUnit)
methods.
LpVariable
instances to the
LpBuffer.asString(LpStructureUnit)
and
LpPrinter.append(LpStructureUnit)
methods.
LpBuffer.asString(LpStructureUnit)
method.
LpParserTest.getRule1()
and LpParserTest.getRule2()
.
DlpGrounder
on input with constraints.
LpLexer.nextToken()
is called for the first time.
WrapperUtils.dumpToString(InputStream)
method.
LpGrounder
on an empty input program.
actual
is as expected.
type
, lexem
, position
and
lineNumber
are as expected.
LpAtom.equals(Object)
and
LpAtom.hashCode()
methods.
LpCompoundTerm.equals(Object)
and
LpCompoundTerm.hashCode()
methods.
LpConstant.equals(Object)
and
LpConstant.hashCode()
methods.
LpFunction.equals(Object)
and
LpFunction.hashCode()
methods.
LpLiteral.equals(Object)
and
LpLiteral.hashCode()
methods.
LpPredicate.equals(Object)
and
LpPredicate.hashCode()
methods.
LpRule.equals(Object)
and LpRule.hashCode()
methods.
LpVariable.equals(Object)
and
LpVariable.hashCode()
methods.
AbstractSet.equals(Object)
and
AbstractSet.hashCode()
methods.
DlpGrounder
on an error free input.
LpGrounder
on an error free input.
LparseWrapper
on an error free input.
EvolpParserTest.getEvolpRule()
.
LpAbstractStructureUnit.toString()
method)
LpParser
.
WrapperUtils.exec(String)
method.
LpFunction.getArity()
method.
LpPredicate.getArity()
method.
LpRule.getBodySize()
method.
WrapperUtils.getCommandName(String)
method.
WrapperUtils.getShortCommandName(String)
method.
DlpGrounder
on input with an error.
LpGrounder
on an input with a single error and no warnings.
LparseWrapper
on an input with a single error and no
warnings.
GeneralizedLogicProgram.isGround()
method.
LpCompoundTerm
instances to the
LpGroundDecider.isGround(LpStructureUnit)
method.
LpConstant
instance to the
LpGroundDecider.isGround(LpStructureUnit)
method.
LpFunction
instance to the
LpGroundDecider.isGround(LpStructureUnit)
method.
LpLiteral
instances to the
LpGroundDecider.isGround(LpStructureUnit)
method.
null
to the
LpGroundDecider.isGround(LpStructureUnit)
method.
LpPredicate
instance to the
LpGroundDecider.isGround(LpStructureUnit)
method.
LpRule
instances to the
LpGroundDecider.isGround(LpStructureUnit)
method.
LpVariable
instance to the
LpGroundDecider.isGround(LpStructureUnit)
method.
LpGrounder
on a program containing only the rule
"a :- not a.".
DlpGrounder
on input that should issue multiple warnings.
LpGrounder
on an input with a multiple warnings and no
error.
LparseWrapper
on an input with a multiple warnings and
no error.
DlpGrounder
on input that only contains no program.
LpParserTest.getRule2()
.
DlpGrounder
on input that only contains one empty program.
DlpGrounder
on input that should issue one warning.
LpGrounder
on an input with a single warning and no error.
LparseWrapper
on an input with a single warning and no
error.
LpGrounder
on a typical program.
DlpParser.parseDlp()
method.
EvolpParser.parseEvolp()
method.
LpParserTest.getRule1()
.
LpBuffer
instance)
IllegalArgumentException
should be
thrown).
IllegalArgumentException
should
be thrown).
LparseWrapper.setLparsePath(String)
method.
SmodelsWrapper.setModelLimit(int)
and
SmodelsWrapper.exec()
methods—sets a maximum model count
limit and a simple input string and tests if the correct output is
produced by smodels.
LparseWrapper.setOptions(String)
and
LparseWrapper.exec()
methods—sets a simple option string
and a simple input string and tests if the correct output is produced by
lparse.
SmodelsWrapper.setSmodelsPath(String)
method.
LparseWrapper.exec()
method—sets a simple input
string and tests if the correct output is produced by lparse.
SmodelsWrapper.exec()
method—sets a simple input
string and tests if the correct output is produced by smodels.
LpAbstractStructureUnit.toString()
method.
LpAbstractStructureUnit.toString()
method.
LpAbstractStructureUnit.toString()
method.
LpFunction.toString()
method.
LpAbstractStructureUnit.toString()
method.
LpPredicate.toString()
method.
LpAbstractStructureUnit.toString()
method.
LpAbstractStructureUnit.toString()
method for
unit
.
LpAbstractStructureUnit.toString()
method.
LpAbstractStructureUnit.toUnmodifiableList(List)
method.
LpAbstractStructureUnit.toUnmodifiableSet(Set)
method.
WrapperUtils.transfer(InputStream, OutputStream)
method.
WrapperUtils.transfer(String, OutputStream)
method.
WrapperUtils.transfer(InputStream, StringBuilder)
method.
LparseWrapper
on an input with a single error but without
an error message.
LparseWrapper
on an input with a single error with an error
message that begins with "Error:".
DlpGrounder
on input that should issue a weird error.
LpBuffer
instance for the toString() method.
LpAbstractStructureUnit.toString()
.
LpAbstractStructureUnit.toString()
.
Collections.unmodifiableList(List)
method.
Collections.unmodifiableSet(Set)
method.
true
when a rule or a compound term is being appended.
from
to to
.
from
to to
using the default
character encoding.
from
to to
using the default
character encoding.
dlp
.
evolp
.
evolp
.
TransformedDlp
.
TransformedEvolp
.
DlpTransformer
instance used in the tests.
EvolpTransformer
instance used in the tests.
LpConstant
.
LpVariable
.
LpFunction
.
LpCompoundTerm
.
LpPredicate
.
LpAtom
.
LpLiteral
.
LpRule
.
LpConstant
instance to the
underlying Writer
.
LpVariable
instance to the
underlying Writer
.
LpFunction
instance to the
underlying Writer
.
LpCompoundTerm
instance to
the underlying Writer
.
LpPredicate
instance to the
underlying Writer
.
LpRule
instance to this
LpPrinter
.
LpConstant
instance to this
LpEncoder
.
LpVariable
instance to this
LpEncoder
.
LpFunction
instance to this
LpEncoder
.
LpCompoundTerm
instance to
the underlying Writer
.
LpPredicate
instance to this
LpEncoder
.
LpAtom
instance to the
underlying Writer
.
LpLiteral
instance to the underlying
Writer
.
LpRule
instance to the underlying
Writer
.
LpConstant
instance to this
LpHtmlPrinter
.
LpVariable
instance to this
LpHtmlPrinter
.
LpFunction
instance to this
LpHtmlPrinter
.
LpPredicate
instance to this
LpHtmlPrinter
.
LpConstant
instance to the
underlying Writer
.
LpVariable
instance to the
underlying Writer
.
LpFunction
instance to the
underlying Writer
.
LpCompoundTerm
instance to
the underlying Writer
.
LpPredicate
instance to the
underlying Writer
.
LpAtom
instance to the
underlying Writer
.
LpLiteral
instance to the
underlying Writer
.
LpRule
instance to the
underlying Writer
.
LpRule
instance to this character
sequence.
LpLiteral
instance to this
character sequence.
LpEncoder.visit(LpCompoundTerm)
and
LpEncoder.visit(LpLiteral)
.
LpPrettyPrinter.visit(LpCompoundTerm)
and
LpPrettyPrinter.visit(LpLiteral)
.
Process.waitFor()
.
Process.waitFor()
).
true
if this is a warning message and false
if it is
an error message.
true
if this is a warning message and false
if it is
an error message.
LparseWrapper
and SmodelsWrapper
when
there are problems while invoking an external command with the desired
command line options, environment variables and standard input or while
reading the standard/error output of the resulting Process
instance
or waiting for the process to finish execution.WrapperException
with the specified detail message.
WrapperException
with the specified detail message
and cause.
WrapperException
with the specified cause and a
detail message of {@code (cause==null ?
WrapperUtils
class.unit
to this
LpPrinter
.
unit
to this
LpPrinter
.
Writer
.
Writer
.
Writer
instance.
Writer
.
Writer
.
WrapperUtils
instance used in the implementation.
WrapperUtils
instance used in the implementation.
WrapperUtils
|
|||||||||
PREV NEXT | FRAMES NO FRAMES |