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

A

AbstractProcessor - Class in lp.ui
An abstract class with a set of methods common for DlpProcessor, EvolpProcessor and EvolpVarProcessor.
AbstractProcessor(ConfigManager) - Constructor for class lp.ui.AbstractProcessor
 
AbstractProcessor.StopWatch - Class in lp.ui
 
AbstractProcessor.StopWatch() - Constructor for class lp.ui.AbstractProcessor.StopWatch
 
accept(LpStructureUnitVisitor) - Method in class lp.struct.LpAtom
Accepts LpStructureUnitVisitor instance, i.e. calls its visitor.visit(this).
accept(LpStructureUnitVisitor) - Method in class lp.struct.LpCompoundTerm
Accepts LpStructureUnitVisitor instance, i.e. calls its visitor.visit(this).
accept(LpStructureUnitVisitor) - Method in class lp.struct.LpConstant
Accepts LpStructureUnitVisitor instance, i.e. calls visitor.visit(this).
accept(LpStructureUnitVisitor) - Method in class lp.struct.LpFunction
Accepts LpStructureUnitVisitor instance, i.e. calls visitor.visit(this).
accept(LpStructureUnitVisitor) - Method in class lp.struct.LpLiteral
Accepts LpStructureUnitVisitor instance, i.e. calls its visitor.visit(this).
accept(LpStructureUnitVisitor) - Method in class lp.struct.LpPredicate
Accepts LpStructureUnitVisitor instance, i.e. calls its visitor.visit(this).
accept(LpStructureUnitVisitor) - Method in class lp.struct.LpRule
Accepts LpStructureUnitVisitor instance, i.e. calls its visitor.visit(this).
accept(LpStructureUnitVisitor) - Method in interface lp.struct.LpStructureUnit
Makes the implementing classes visitable by a LpStructureUnitVisitor.
accept(LpStructureUnitVisitor) - Method in class lp.struct.LpVariable
Accepts LpStructureUnitVisitor instance, i.e. calls visitor.visit(this).
add(int) - Method in class lp.trans.IntArrayWrapper
Adds a new element to the sequence.
add(LogicProgram) - Method in class lp.unit.DynamicLogicProgram
Adds program to end of this dynamic logic program.
add(LpRule) - Method in class lp.unit.EmptyProgram
Throws an UnsupportedOperationException.
add(LpRule, TransDlpRuleType) - Method in class lp.unit.TransformedDlp
Adds the rule rule to this program and remembers it to be of type type.
add(LpRule, int, TransEvolpRuleType) - Method in class lp.unit.TransformedEvolp
Adds the rule rule to this program and remembers it to be in the group no.
addAll(Collection<? extends LpRule>) - Method in class lp.unit.EmptyProgram
Throws an UnsupportedOperationException.
addEvent(LogicProgram) - Method in class lp.unit.EvolpProgram
Adds a new event to the end of the event sequence.
addHeadAppearance(int, boolean, boolean) - Method in class lp.trans.EvolpTransformer.AtomAppearance
 
addNegativeBodyAppearance(int, boolean) - Method in class lp.trans.EvolpTransformer.AtomAppearance
 
addOccurence(boolean, int) - Method in class lp.trans.DlpTransformer.AtomInfo
 
addRulesTo(TransformedDlp) - Method in class lp.trans.DlpTransformer.AtomInfo
 
addRulesTo(TransformedEvolp) - Method in class lp.trans.EvolpTransformer.AtomAppearance
 
after - Variable in class lp.ui.AbstractProcessor.StopWatch
 
afterConsuming() - Method in class lp.trans.CollectingModelConsumer
No action needed here.
afterConsuming() - Method in interface lp.trans.Consumer
If the consumer is used to process a sequence of instances, this method should be called after the sequence ends.
afterConsuming() - Method in class lp.ui.DlpWebappHelper.DlpModelProcessor
 
afterConsuming() - Method in class lp.ui.EvolpVarWebappHelper.EvolpModelProcessor
 
afterConsuming() - Method in class lp.ui.EvolpWebappHelper.EvolpModelProcessor
 
appearances - Variable in class lp.trans.EvolpTransformer
 
append(CharSequence) - Method in class lp.struct.util.LpBuffer
Appends the specified character sequence to this LpBuffer.
append(CharSequence, int, int) - Method in class lp.struct.util.LpBuffer
Appends a subsequence of the specified character sequence to this LpBuffer.
append(char) - Method in class lp.struct.util.LpBuffer
Appends the specified character to this LpBuffer.
append(LpStructureUnit) - Method in class lp.struct.util.LpBuffer
Appends a textual representation of unit to this LpBuffer.
append(DynamicLogicProgram) - Method in class lp.struct.util.LpHtmlPrinter
Appends a dynamic logic program.
append(EvolpProgram) - Method in class lp.struct.util.LpHtmlPrinter
Appends an evolving logic program and a sequence of events.
append(LpStructureUnit) - Method in class lp.struct.util.LpPrinter
Appends a textual representation of unit to this LpPrinter.
append(CharSequence) - Method in class lp.struct.util.LpPrinter
Appends a character sequence to the underlying Writer.
append(CharSequence, int, int) - Method in class lp.struct.util.LpPrinter
Appends a portion of a character sequence to the underlying Writer.
append(char) - Method in class lp.struct.util.LpPrinter
Appends a single character to the underlying Writer.
append(TransformedDlp) - Method in class lp.ui.DlpWebappHelper.TransDlpHtmlPrinter
 
append(TransformedDlp) - Method in class lp.ui.EvolpVarWebappHelper.TransEvolpHtmlPrinter
 
append(TransformedEvolp) - Method in class lp.ui.EvolpWebappHelper.TransEvolpHtmlPrinter
 
appendEncoded(CharSequence) - Method in class lp.struct.util.LpEncoder
Appends seq but escapes the characters '_', 'L', 'R', 'C', 'A', 'D' by writing "__", "_l", "_r", "_c", "_a", "_d" instead of them.
appendInnerRule(LpRule) - Method in class lp.struct.util.EvolpPrettyPrinter
Appends an inner rule, i.e. it is appended without the trailing dot, the separating arrow is never ommited and it is enclosed in parenthesis if more terms follow after the rule and the body of the rule is non-empty.
appendOne() - Method in class lp.parse.LpLexer
Appends the current lookahead character to LpLexer.lexem and reads a new one.
appendOuterRule(LpRule) - Method in class lp.struct.util.EvolpPrettyPrinter
Takes care of writing an ordinary rule, just like LpPrettyPrinter does.
appendOuterRule(LpRule) - Method in class lp.struct.util.LpHtmlPrinter
Takes care of writing an ordinary rule, just like LpPrettyPrinter does.
appendPunctuation(String) - Method in class lp.struct.util.LpHtmlPrinter
Appends punctuation surrounded by a <span class="punctuation"> element.
appendPunctuation(char) - Method in class lp.struct.util.LpHtmlPrinter
Appends punctuation surrounded by a <span class="punctuation"> element.
appendRuleNoDot(LpRule) - Method in class lp.struct.util.LpPrettyPrinter
Appends a natural textual form of rule to this character sequence not taking into account the position of the rule within the structure and without the trailing dot.
appendTagFacts() - Method in class lp.trans.DlpGrounder.DlpTagger
Appends facts with all tagging literals used until now to this character sequence.
arguments - Variable in class lp.struct.LpAtom
The predicate's arguments.
arguments - Variable in class lp.struct.LpCompoundTerm
The function's arguments.
arity - Variable in class lp.struct.LpFunction
This function's arity.
arity - Variable in class lp.struct.LpPredicate
This predicate's arity.
arrow() - Method in class lp.struct.util.LpHtmlPrinter
Appends the LpPrettyPrinter.ARROW_STRING enclosed in a <span class="punctuation"> element.
arrow() - Method in class lp.struct.util.LpPrettyPrinter
Appends the LpPrettyPrinter.ARROW_STRING.
ARROW_STRING - Variable in class lp.struct.util.LpPrettyPrinter
String that separates the head and body of a rule.
AS_ARRAY - Static variable in class lp.unit.EmptyProgram
Empty array used to return the program as an of rules.
asString(LpStructureUnit) - Method in class lp.struct.util.LpBuffer
The call to this method is identical to calling reset(); append(unit); return toString();
atom - Variable in class lp.struct.LpLiteral
The atom part of this literal.
atomData - Variable in class lp.trans.DlpTransformer
 

B

baseProgram - Variable in class lp.unit.EvolpProgram
The base logic program.
before - Variable in class lp.ui.AbstractProcessor.StopWatch
 
beforeConsuming() - Method in class lp.trans.CollectingModelConsumer
No action needed here.
beforeConsuming() - Method in interface lp.trans.Consumer
If the consumer is used to process a sequence of instances, this method should be called before the sequence begins.
beforeConsuming() - Method in class lp.ui.DlpWebappHelper.DlpModelProcessor
 
beforeConsuming() - Method in class lp.ui.EvolpVarWebappHelper.EvolpModelProcessor
 
beforeConsuming() - Method in class lp.ui.EvolpWebappHelper.EvolpModelProcessor
 
beginParen() - Method in class lp.struct.util.LpHtmlPrinter
Appends a left parenthesis enclosed in a <span class="punctuation"> element.
beginParen() - Method in class lp.struct.util.LpPrettyPrinter
Appends a left parenthesis.
body - Variable in class lp.struct.LpRule
The rule's body.
buffer - Variable in class lp.parse.LpLookaheadLexer
A LpToken buffer used to implement the lookahead.
buffer - Variable in class lp.struct.util.LpBuffer
The delegate for manipulating a mutable string.
buffer - Variable in class lp.trans.EvolpSolver.Decoder
A small buffer used in case a single character in the original input corresponds to more characters after the decoding filter is applied.
byteBuffer - Variable in class lp.wrap.WrapperUtils
A byte buffer for the WrapperUtils.transfer(InputStream, OutputStream) method.

C

charAt(int) - Method in class lp.struct.util.LpBuffer
Returns the char value in this sequence at the specified index.
charBuffer - Variable in class lp.wrap.WrapperUtils
A character buffer for the WrapperUtils.transfer(InputStream, StringBuilder) method.
checkArity(LpPredicate, List<LpTerm>) - Static method in class lp.struct.LpAtom
Checks whether predicate.getArity() equals arguments.size().
checkArity(LpFunction, List<LpTerm>) - Static method in class lp.struct.LpCompoundTerm
Checks whether function.getArity() equals arguments.size().
chmod(String) - Method in class lp.ui.AbstractProcessor
 
clear() - Method in class lp.unit.EmptyProgram
Throws an UnsupportedOperationException.
close() - Method in class lp.parse.LpLexer
Closes the underlying reader.
close() - Method in class lp.parse.LpLookaheadLexer
Closes the underlying reader.
close() - Method in class lp.parse.LpParser
Closes the underlying lexer.
close() - Method in class lp.struct.util.LpPrinter
Closes the underlying Writer.
close() - Method in class lp.test.util.PartReader
Closes the underlying Reader.
close() - Method in class lp.test.util.TabSeparatedReader
Closes the underlying Reader.
close() - Method in class lp.trans.EvolpSolver.Decoder
Closes the underlying Reader.
closeStdin() - Method in class lp.wrap.LparseWrapper
Closes the standard output stream of the currently executed lparse process.
closeStdin() - Method in class lp.wrap.SmodelsWrapper
Closes the standard output stream of the currently executed smodels process.
CollectingModelConsumer - Class in lp.trans
A model consumer that collects all models it receives through the CollectingModelConsumer.consume(StableModel) method.
CollectingModelConsumer() - Constructor for class lp.trans.CollectingModelConsumer
 
comma() - Method in class lp.struct.util.LpHtmlPrinter
Appends a comma enclosed in a <span class="punctuation"> element.
comma() - Method in class lp.struct.util.LpPrettyPrinter
Appends a comma.
computeModels(Consumer<StableModel>) - Method in class lp.ui.DlpProcessor
 
computeModels(Consumer<EvolutionStableModel>) - Method in class lp.ui.EvolpProcessor
 
computeModels(Consumer<EvolutionStableModel>) - Method in class lp.ui.EvolpVarProcessor
 
config - Variable in class lp.ui.AbstractProcessor
 
CONFIG_NAME - Static variable in class lp.ui.ConfigManager
 
ConfigManager - Class in lp.ui
Manages configuration options.
ConfigManager() - Constructor for class lp.ui.ConfigManager
 
consume(StableModel) - Method in class lp.trans.CollectingModelConsumer
Adds model to this set.
consume(I) - Method in interface lp.trans.Consumer
Consume item.
consume(StableModel) - Method in class lp.ui.DlpWebappHelper.DlpModelProcessor
 
consume(EvolutionStableModel) - Method in class lp.ui.EvolpVarWebappHelper.EvolpModelProcessor
 
consume(EvolutionStableModel) - Method in class lp.ui.EvolpWebappHelper.EvolpModelProcessor
 
Consumer<I> - Interface in lp.trans
Implementors of this interface can process instances of a specific class.
consumer - Variable in class lp.trans.LpSolverTest
Object for collecting the computed models.
contains(int) - Method in class lp.trans.IntArrayWrapper
Returns true iff this sequence contains number.
contains(Object) - Method in class lp.unit.EmptyProgram
Returns false.
containsAll(Collection<?>) - Method in class lp.unit.EmptyProgram
Returns the same as c.isEmpty().
CURRENT_DIR_CONFIG - Static variable in class lp.ui.ConfigManager
 

D

decode(LpConstant) - Method in class lp.trans.EvolpVarTransformer.TransformationHelper
 
decoder - Variable in class lp.trans.EvolpVarTransformer.TransformationHelper
 
decrement() - Method in class lp.struct.util.EvolpPrettyPrinter.MutableInteger
Subtracts 1 from the current value.
defaultNeeded - Variable in class lp.trans.DlpTransformer.AtomInfo
 
defFromGroup - Variable in class lp.trans.EvolpTransformer.AtomAppearance
 
defInGroup - Variable in class lp.trans.EvolpTransformer.AtomAppearance
 
description - Variable in enum lp.parse.LpTokenType
Description of the token.
destroy() - Method in class lp.test.util.FakeProcess
Has no effect.
dlp - Variable in class lp.ui.DlpProcessor
 
DlpGrounder - Class in lp.trans
Creates a grounded version of a DynamicLogicProgram.
DlpGrounder() - Constructor for class lp.trans.DlpGrounder
Creates a new instance of DlpGrounder that creates its own LparseWrapper instance using its default constructors.
DlpGrounder(LparseWrapper) - Constructor for class lp.trans.DlpGrounder
Creates a new instance of DlpGrounder that uses the given object to invoke lparse and process its output.
DlpGrounder.DlpDetagger - Class in lp.trans
A special parser for parsing the grounded and tagged program.
DlpGrounder.DlpDetagger() - Constructor for class lp.trans.DlpGrounder.DlpDetagger
Creates a new instance of TaggedDlpParser.
DlpGrounder.DlpTagger<W extends Writer> - Class in lp.trans
A special 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.
DlpGrounder.DlpTagger(W) - Constructor for class lp.trans.DlpGrounder.DlpTagger
Creates a new instance of TaggingPrettyPrinter.
DlpGrounderTest - Class in lp.trans
Contains tests of the DlpGrounder class.
DlpGrounderTest(String) - Constructor for class lp.trans.DlpGrounderTest
A default test case constructor.
DlpParser - Class in lp.parse
This parser inherits all behaviour from LpParser.
DlpParser() - Constructor for class lp.parse.DlpParser
Creates a new DlpParser instance that uses a new LpLexer instance to tokenize the character input before parsing.
DlpParser(LpLexer) - Constructor for class lp.parse.DlpParser
Creates a new DlpParser instance that uses lexer to tokenize the character input before parsing.
DlpParserTest - Class in lp.parse
Contains tests of the DlpParser class.
DlpParserTest(String) - Constructor for class lp.parse.DlpParserTest
A default test case constructor.
DlpProcessor - Class in lp.ui
A developer-friendly aggregation of DlpParser, DlpGrounder, DlpTransformer and DlpSolver.
DlpProcessor(ConfigManager) - Constructor for class lp.ui.DlpProcessor
 
DlpSolver - Class in lp.trans
A class that computes refined dynamic stable models of a dynamic logic program given its transformational equivalent.
DlpSolver() - Constructor for class lp.trans.DlpSolver
Creates a new instance of DlpSolver.
DlpSolver(LparseWrapper, SmodelsWrapper) - Constructor for class lp.trans.DlpSolver
Creates a new instance of DlpSolver.
DlpSolverTest - Class in lp.trans
Contains tests of the DlpSolver class.
DlpSolverTest(String) - Constructor for class lp.trans.DlpSolverTest
A default test case constructor.
dlpTrans - Variable in class lp.trans.EvolpVarTransformerTest
 
DlpTransformer - Class in lp.trans
Transforms a dynamic logic program into an equivalent normal logic program.
DlpTransformer() - Constructor for class lp.trans.DlpTransformer
Creates a new instance of DlpTransformer.
DlpTransformer.AtomInfo - Class in lp.trans
A container for metadata about an atom's appearance in the input program.
DlpTransformer.AtomInfo(LpAtom) - Constructor for class lp.trans.DlpTransformer.AtomInfo
 
DlpTransformerTest - Class in lp.trans
Contains tests of the DlpTransformer class.
DlpTransformerTest(String) - Constructor for class lp.trans.DlpTransformerTest
A default test case constructor.
DlpWebappHelper - Class in lp.ui
A helper class for the web application that computes refined dynamic stable models.
DlpWebappHelper(ConfigManager, JspWriter) - Constructor for class lp.ui.DlpWebappHelper
 
DlpWebappHelper.DlpModelProcessor - Class in lp.ui
 
DlpWebappHelper.DlpModelProcessor() - Constructor for class lp.ui.DlpWebappHelper.DlpModelProcessor
 
DlpWebappHelper.TransDlpHtmlPrinter<W extends Writer> - Class in lp.ui
 
DlpWebappHelper.TransDlpHtmlPrinter(W) - Constructor for class lp.ui.DlpWebappHelper.TransDlpHtmlPrinter
 
doAssertTest(String, LpPredicate, LpTerm...) - Method in class lp.struct.util.EvolpPrettyPrinterTest
Tests whether a fact formed by the predicate symbol pred with argTerms as its arguments will be appended (or converted to string) correctly.
doRulesFromFileTest(String) - Method in class lp.parse.LpParserTest
Parses rules from a file and checks that they are what they should be (through the LpAbstractStructureUnit.toString() method)
dot() - Method in class lp.struct.util.LpHtmlPrinter
Appends a dot enclosed in a <span class="punctuation"> element.
dot() - Method in class lp.struct.util.LpPrettyPrinter
Appends a dot.
doTest(String, List<LpToken>) - Method in class lp.parse.LpLexerTest
Uses LpLexerTest.lexer to tokenize source and compares the results with contents of expectedTokens.
doTest(String, List<LpToken>) - Method in class lp.parse.LpLookaheadLexerTest
Calls LpLexerTest.doTest(String, List) and then makes a more advanced test with some lookahead calls (which shouldn't influence the results of other methods).
doTest(String, LpStructureUnit) - Method in class lp.parse.LpParserTest2
Gives source to the parser and expects expected to be returned.
doTest(boolean, LpStructureUnit) - Method in class lp.struct.util.LpGroundDeciderTest
Tests the LpGroundDecider.isGround(LpStructureUnit) when called with unit as input.
doTest(String, LpStructureUnit) - Method in class lp.struct.util.LpPrettyPrinterTest
Tests the LpBuffer.asString(LpStructureUnit) and LpPrinter.append(LpStructureUnit) methods when called with unit as input.
doTest(String[], String[], GrounderMessage, List<GrounderMessage>) - Method in class lp.trans.DlpGrounderTest
Performs a single call of grounder.ground(inputProgram); and tests if expected output program, error and warnings are extracted from the lparse's output.
doTest(String[], Set<String>) - Method in class lp.trans.DlpSolverTest
Performs a single call of solver.solve(dlp); where dlp is the dynamic logic program obtained by parsing dlpSource.
doTest(String[], String, Map<TransDlpRuleType, String>) - Method in class lp.trans.DlpTransformerTest
Performs a single test.
doTest(String) - Method in class lp.trans.EvolpTransformerTest
Reads both the input program and the expected results from the file filename.
doTest(String) - Method in class lp.trans.EvolpVarTransformerTest
 
doTest(LogicProgram, LogicProgram, GrounderMessage, List<GrounderMessage>) - Method in class lp.trans.LpGrounderTest
Performs a single call of grounder.ground(inputProgram); and tests if expected output program, error and warnings are extracted from the lparse's output.
doTest(String, Set<String>) - Method in class lp.trans.LpSolverTest
Performs a single call of solver.solve(program); where program is the logic program obtained by parsing programSource.
doTest(String, Set<String>, LparseMessage, List<LparseMessage>) - Method in class lp.wrap.LparseWrapperTest
Has the same effect as calling doTest(input, "-t", expOutput, expError, expWarnings).
doTest(String, String, Set<String>, LparseMessage, List<LparseMessage>) - Method in class lp.wrap.LparseWrapperTest
Performs a single call of lw.setInput(input); lw.setOptions(options); InputStream outputStream = lw.exec(); and tests if expected output, error and warnings are detected by lw.
doTestException(String, LpParserException) - Method in class lp.parse.LpParserTest
Checks that an LpParser instance actually throws the specified LpParserException on the given source.
dumpToString(InputStream) - Method in class lp.wrap.WrapperUtils
Returns the contents of an InputStream as a string.
DynamicLogicProgram - Class in lp.unit
Represents a dynamic logic program, i.e. a sequence of logic programs.
DynamicLogicProgram() - Constructor for class lp.unit.DynamicLogicProgram
Creates a new instance of DynamicLogicProgram.
DynamicLogicProgram(int) - Constructor for class lp.unit.DynamicLogicProgram
Creates a new instance of DynamicLogicProgram with the specified initial capacity.

E

EmptyProgram - Class in lp.unit
An efficient implementation of an empty logic program that is immutable.
EmptyProgram() - Constructor for class lp.unit.EmptyProgram
A private constructor because this class is a singleton.
encoder - Variable in class lp.trans.DlpTransformer
 
encoder - Variable in class lp.trans.EvolpTransformer.TransformationHelper
 
encoder - Variable in class lp.trans.EvolpVarTransformer.TransformationHelper
 
endParen() - Method in class lp.struct.util.LpHtmlPrinter
Appends a right parenthesis enclosed in a <span class="punctuation"> element.
endParen() - Method in class lp.struct.util.LpPrettyPrinter
Appends a right parenthesis.
equals(Object) - Method in class lp.struct.LpAtom
Returns 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.
equals(Object) - Method in class lp.struct.LpCompoundTerm
Returns 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
equals(Object) - Method in class lp.struct.LpConstant
Returns 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),
equals(Object) - Method in class lp.struct.LpFunction
Returns 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
equals(Object) - Method in class lp.struct.LpLiteral
Returns 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
equals(Object) - Method in class lp.struct.LpPredicate
Returns 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
equals(Object) - Method in class lp.struct.LpRule
Returns 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).
equals(Object) - Method in interface lp.struct.LpTerm
Returns true if and only if obj is a term of the same structure.
equals(Object) - Method in class lp.struct.LpVariable
Returns 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),
equals(Object) - Method in exception lp.trans.GrounderMessage
Returns true if obj is a GrounderMessage with the same members as this one.
equals(Object) - Method in class lp.unit.EmptyProgram
Returns true iff obj implements the LogicProgram interface and contains no rules.
equals(Object) - Method in exception lp.wrap.LparseMessage
Returns 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.
equivDlp - Variable in class lp.ui.EvolpVarProcessor
 
equivLp - Variable in class lp.ui.EvolpVarProcessor
 
error - Variable in class lp.ui.DlpWebappHelper
 
error - Variable in class lp.ui.EvolpVarWebappHelper
 
error - Variable in class lp.ui.EvolpWebappHelper
 
error - Variable in class lp.wrap.LparseWrapper
Contains the lparse error message if one is found on its standard error output.
errorProcessor - Variable in class lp.wrap.LparseWrapper
A Runnable that keeps reading and parsing the standard error output of the lparse process while it is being executed.
errorThread - Variable in class lp.wrap.LparseWrapper
The thread on which LparseWrapper.errorProcessor is running.
escapeChar(char) - Method in class lp.struct.util.LpEncoder
Returns true iff c is one of '_', 'L', 'R', 'C', 'A', 'D'.
escapeXMLSpecials(String) - Static method in class lp.ui.AbstractProcessor
 
eventCount - Variable in class lp.trans.EvolpTransformer
 
eventCount - Variable in class lp.trans.EvolpVarTransformer
 
events - Variable in class lp.trans.EvolpTransformer
 
events - Variable in class lp.trans.EvolpVarTransformer
 
events - Variable in class lp.unit.EvolpProgram
The sequence of events.
evolp - Variable in class lp.ui.EvolpProcessor
 
evolp - Variable in class lp.ui.EvolpVarProcessor
 
EvolpParser - Class in lp.parse
Inherits the basic behaviour from 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() - Constructor for class lp.parse.EvolpParser
Creates a new EvolpParser instance that uses a new LpLexer instance to tokenize the character input before parsing.
EvolpParser(LpLexer) - Constructor for class lp.parse.EvolpParser
Creates a new EvolpParser instance that uses lexer to tokenize the character input before parsing.
EvolpParserTest - Class in lp.parse
Contains tests of the EvolpParser class.
EvolpParserTest(String) - Constructor for class lp.parse.EvolpParserTest
A default test case constructor.
EvolpParserTest2 - Class in lp.parse
Contains a test of the EvolpParser class that reuses data from LpPrettyPrinterTest.
EvolpParserTest2(String) - Constructor for class lp.parse.EvolpParserTest2
A default test case constructor.
EvolpPrettyPrinter<W extends Writer> - Class in lp.struct.util
Transforms a logic program (or its components} represented by objects implementing the LpStructureUnit interface into a human-readable (standard) textual representation.
EvolpPrettyPrinter(W) - Constructor for class lp.struct.util.EvolpPrettyPrinter
Creates a new instance of EvolpPrettyPrinter.
EvolpPrettyPrinter(W, String, boolean) - Constructor for class lp.struct.util.EvolpPrettyPrinter
Creates a new instance of EvolpPrettyPrinter.
EvolpPrettyPrinter.MutableInteger - Class in lp.struct.util
A wrapper class for a mutable integer.
EvolpPrettyPrinter.MutableInteger(int) - Constructor for class lp.struct.util.EvolpPrettyPrinter.MutableInteger
Constructs a new instance that initially holds the value initialValue.
EvolpPrettyPrinterTest - Class in lp.struct.util
Contains tests of the EvolpPrettyPrinter class.
EvolpPrettyPrinterTest(String) - Constructor for class lp.struct.util.EvolpPrettyPrinterTest
A default test case constructor.
EvolpProcessor - Class in lp.ui
A developer-friendly aggregation of EvolpParser, EvolpTransformer and EvolpSolver.
EvolpProcessor(ConfigManager) - Constructor for class lp.ui.EvolpProcessor
 
EvolpProgram - Class in lp.unit
Represents an evolving logic program (the base program) with a sequence of events (also evolving logic programs).
EvolpProgram() - Constructor for class lp.unit.EvolpProgram
Creates a new instance of EvolpProgram
evolpRule - Variable in class lp.parse.EvolpParserTest
A container for the rule constructed by LpParserTest.getRule2().
EvolpSolver - Class in lp.trans
A class that computes evolution stable models of an evoluving logic program given its transformational equivalent.
EvolpSolver() - Constructor for class lp.trans.EvolpSolver
Creates a new instance of EvolpSolver.
EvolpSolver(LparseWrapper, SmodelsWrapper) - Constructor for class lp.trans.EvolpSolver
Creates a new instance of EvolpSolver.
EvolpSolver.Decoder - Class in lp.trans
A filtering reader that decodes logic programming constructs previously encoded by LpEncoder.
EvolpSolver.Decoder(Reader) - Constructor for class lp.trans.EvolpSolver.Decoder
Creates a new instance of Decoder that filters the contents of in.
EvolpSolver.TransEvolpParser - Class in lp.trans
Special parser that recognizes the indexation of atoms in the normal logic program that was constructed by the transformation from an evolving logic program.
EvolpSolver.TransEvolpParser() - Constructor for class lp.trans.EvolpSolver.TransEvolpParser
 
evolpTrans - Variable in class lp.trans.EvolpVarTransformerTest
 
EvolpTransformer - Class in lp.trans
Transforms an evolving logic program into an equivalent normal logic program.
EvolpTransformer() - Constructor for class lp.trans.EvolpTransformer
Creates a new instance of EvolpTransformer.
EvolpTransformer.AtomAppearance - Class in lp.trans
A container for metadata about an atom's appearance in the input program.
EvolpTransformer.AtomAppearance(LpAtom) - Constructor for class lp.trans.EvolpTransformer.AtomAppearance
 
EvolpTransformer.TransformationHelper - Class in lp.trans
 
EvolpTransformer.TransformationHelper() - Constructor for class lp.trans.EvolpTransformer.TransformationHelper
 
EvolpTransformerTest - Class in lp.trans
Contains tests of the EvolpTransformer class.
EvolpTransformerTest(String) - Constructor for class lp.trans.EvolpTransformerTest
A default test case constructor.
EvolpVarProcessor - Class in lp.ui
A developer-friendly aggregation of EvolpParser, EvolpVarTransformer, DlpTransformer and EvolpSolver.
EvolpVarProcessor(ConfigManager) - Constructor for class lp.ui.EvolpVarProcessor
 
EvolpVarTransformer - Class in lp.trans
Transforms an evolving logic program into an equivalent dynamic logic program.
EvolpVarTransformer() - Constructor for class lp.trans.EvolpVarTransformer
Creates a new instance of EvolpVarTransformer.
EvolpVarTransformer.TransformationHelper - Class in lp.trans
 
EvolpVarTransformer.TransformationHelper() - Constructor for class lp.trans.EvolpVarTransformer.TransformationHelper
 
EvolpVarTransformerTest - Class in lp.trans
Contains tests of the EvolpVarTransformer class.
EvolpVarTransformerTest(String) - Constructor for class lp.trans.EvolpVarTransformerTest
 
EvolpVarWebappHelper - Class in lp.ui
A helper class for the web application that computes evolution stable models of evolving logic programs with variables (an alpha version...)
EvolpVarWebappHelper(ConfigManager, JspWriter) - Constructor for class lp.ui.EvolpVarWebappHelper
 
EvolpVarWebappHelper.EvolpModelProcessor - Class in lp.ui
 
EvolpVarWebappHelper.EvolpModelProcessor() - Constructor for class lp.ui.EvolpVarWebappHelper.EvolpModelProcessor
 
EvolpVarWebappHelper.TransEvolpHtmlPrinter<W extends Writer> - Class in lp.ui
 
EvolpVarWebappHelper.TransEvolpHtmlPrinter(W) - Constructor for class lp.ui.EvolpVarWebappHelper.TransEvolpHtmlPrinter
 
EvolpWebappHelper - Class in lp.ui
A helper class for the web application that computes evolution stable models of propositional evolving logic programs
EvolpWebappHelper(ConfigManager, JspWriter) - Constructor for class lp.ui.EvolpWebappHelper
 
EvolpWebappHelper.EvolpModelProcessor - Class in lp.ui
 
EvolpWebappHelper.EvolpModelProcessor() - Constructor for class lp.ui.EvolpWebappHelper.EvolpModelProcessor
 
EvolpWebappHelper.TransEvolpHtmlPrinter<W extends Writer> - Class in lp.ui
 
EvolpWebappHelper.TransEvolpHtmlPrinter(W) - Constructor for class lp.ui.EvolpWebappHelper.TransEvolpHtmlPrinter
 
EvolutionStableModel - Class in lp.unit
Represents an evolution stable model, i.e. a sequence of stable models.
EvolutionStableModel() - Constructor for class lp.unit.EvolutionStableModel
Creates a new instance of EvolutionStableModel.
EvolutionStableModel(int) - Constructor for class lp.unit.EvolutionStableModel
Creates a new instance of EvolutionStableModel with the given initial capacity.
ExceptionAdapter - Exception in lp.util
A RuntimeException container for checked exceptions.
ExceptionAdapter(Exception) - Constructor for exception lp.util.ExceptionAdapter
Creates a new instance of ExceptionAdapter that stores cause as its cause.
exec() - Method in class lp.wrap.LparseWrapper
Executes lparse and passes the current command line options to it (see LparseWrapper.setOptions(String method)).
exec() - Method in class lp.wrap.SmodelsWrapper
Executes smodels and passes the current command line options (see SmodelsWrapper.setModelLimit(int)) to it.
exec(String) - Method in class lp.wrap.WrapperUtils
Executes the command command through Runtime.exec(String) and puts the contents of input on the process's standard input.
exit - Variable in class lp.test.util.FakeProcess
The exit value.
exitValue() - Method in class lp.test.util.FakeProcess
Returns the exit value of this fake process.
expContents - Variable in class lp.struct.util.LpPrettyPrinterTest
A container for the expected contents of LpPrettyPrinterTest.pp during the tests.
expContents2 - Variable in class lp.struct.util.LpPrettyPrinterTest
A container for the expected contents of LpPrettyPrinterTest.pp2 during the tests.
expect(LpTokenType) - Method in class lp.parse.LpParser
Compares the current token (read through LpLexer.getTokenType() with an expected token.
expected - Variable in exception lp.parse.LpParserException
Expected token.
extractAppearance(LpRule, int, boolean) - Method in class lp.trans.EvolpTransformer
 
extractAssertions(LpRule, int, boolean) - Method in class lp.trans.EvolpTransformer
 

F

FakeProcess - Class in lp.test.util
A fake process class.
FakeProcess(int) - Constructor for class lp.test.util.FakeProcess
Creates a new instance with the given return value.
FakeProcess(String, int) - Constructor for class lp.test.util.FakeProcess
Creates a new instance with the given contents of standard output and and a given return value.
FakeProcess(String, String, int) - Constructor for class lp.test.util.FakeProcess
Creates a new instance with the given contents of standard output and standard error streams and a given return value.
flush() - Method in class lp.struct.util.LpPrinter
Flushes the underlying Writer.
forAtom - Variable in class lp.trans.DlpTransformer.AtomInfo
 
forAtom - Variable in class lp.trans.EvolpTransformer.AtomAppearance
 
found - Variable in exception lp.parse.LpParserException
Token found instead.
function - Variable in class lp.struct.LpCompoundTerm
The top-most function symbol that is used in this compound term.

G

gd - Variable in class lp.struct.util.LpGroundDeciderTest
 
GD - Static variable in class lp.unit.GeneralizedLogicProgram
A static LpGroundDecider instance used in the GeneralizedLogicProgram.isGround() method.
GeneralizedLogicProgram - Class in lp.unit
A default implementation of the LogicProgram interface.
GeneralizedLogicProgram() - Constructor for class lp.unit.GeneralizedLogicProgram
Creates a new instance of GeneralizedLogicProgram representing an empty logic program.
GeneralizedLogicProgramTest - Class in lp.unit
Contains tests of the GeneralizedLogicProgram class.
GeneralizedLogicProgramTest(String) - Constructor for class lp.unit.GeneralizedLogicProgramTest
A default test case constructor.
get(int) - Method in class lp.trans.IntArrayWrapper
Returns the i-th member of this sequence.
get(int) - Method in class lp.unit.EmptyProgram
Throws an IndexOutOfBoundsException.
get(int) - Method in class lp.unit.GeneralizedLogicProgram
Returns the i-th rule in this logic program.
get(int) - Method in interface lp.unit.LogicProgram
Returns the i-th rule in this logic program.
getArguments() - Method in class lp.struct.LpAtom
Returns the list of arguments of this atom.
getArguments() - Method in class lp.struct.LpCompoundTerm
Returns the list of arguments of this compound term.
getArguments() - Method in class lp.struct.LpLiteral
Returns the list of arguments of this literal.
getArity() - Method in class lp.struct.LpFunction
Returns this function's arity, the same that was given to the constructor.
getArity() - Method in class lp.struct.LpPredicate
Returns this predicate's arity.
getAtom() - Method in class lp.struct.LpLiteral
Returns the atom used to create this literal, the same that was given to the constructor.
getBaseProgram() - Method in class lp.unit.EvolpProgram
Returns the base program.
getBody() - Method in class lp.struct.LpRule
Returns the list literals in the body of this rule.
getBodySize() - Method in class lp.struct.LpRule
Returns the number of literals in this rule's body.
getBuffer() - Static method in class lp.struct.util.EvolpPrettyPrinter
A convenience method that creates a new LpBuffer that uses a new EvolpPrettyPrinter instance to write LpStructureUnits.It will use the string "<-" to separate the head and body of a rule.
getBuffer(String, boolean) - Static method in class lp.struct.util.EvolpPrettyPrinter
A convenience method that creates a new LpBuffer that uses a new EvolpPrettyPrinter instance to write LpStructureUnits.
getBuffer() - Static method in class lp.struct.util.LpEncoder
A convenience method that creates a new LpBuffer that uses a new LpEncoder instance to write LpStructureUnits.
getBuffer() - Static method in class lp.struct.util.LpHtmlPrinter
A convenience method that creates a new LpBuffer that uses a new LpHtmlPrinter instance to write LpStructureUnits.
getBuffer(String, boolean) - Static method in class lp.struct.util.LpHtmlPrinter
A convenience method that creates a new LpBuffer that uses a new LpHtmlPrinter instance to write LpStructureUnits.
getBuffer() - Static method in class lp.struct.util.LpPrettyPrinter
A convenience method that creates a new LpBuffer that uses a new LpPrettyPrinter instance to write LpStructureUnits.
getBuffer(String, boolean) - Static method in class lp.struct.util.LpPrettyPrinter
A convenience method that creates a new LpBuffer that uses a new LpPrettyPrinter instance to write LpStructureUnits.
getCommandName(String) - Method in class lp.wrap.WrapperUtils
Returns the command's name given the command string, i.e. the part of the command string that precedes the first whitespace character.
getConfig() - Method in class lp.ui.AbstractProcessor
 
getData(LpAtom) - Method in class lp.trans.DlpTransformer
 
getData(LpAtom) - Method in class lp.trans.EvolpTransformer
 
getDescription() - Method in enum lp.parse.LpTokenType
Getter method for the description.
getDlp() - Method in class lp.ui.DlpProcessor
 
getEquivDlp() - Method in class lp.ui.EvolpVarProcessor
 
getEquivLp() - Method in class lp.ui.EvolpVarProcessor
 
getError() - Method in class lp.wrap.LparseWrapper
Returns an lparse error message that was issued by lparse on the last input.
getErrorStream() - Method in class lp.test.util.FakeProcess
Returns the standard error InputStream of this fake process.
getEvents() - Method in class lp.unit.EvolpProgram
Returns the event sequence.
getEvolp() - Method in class lp.ui.EvolpProcessor
 
getEvolp() - Method in class lp.ui.EvolpVarProcessor
 
getEvolpRule() - Method in class lp.parse.EvolpParserTest
Returns a rule corresponding to the string "human(X) :- lives(X), not colour(green, X), not assert(dead(X) <-)."
getExpected() - Method in exception lp.parse.LpParserException
Getter method for the expected token.
getFound() - Method in exception lp.parse.LpParserException
Getter method for the problematic token, i.e. the token found instead of the expected token.
getFunction() - Method in class lp.struct.LpCompoundTerm
Returns the function symbol of this compound term, the same that was given to the constructor.
getGroundedDlp() - Method in class lp.ui.DlpProcessor
 
getGrounderWarnings() - Method in class lp.ui.DlpProcessor
 
getGroup() - Method in class lp.trans.EvolpSolver.TransEvolpParser
Returns the index of the last atom that was parsed.
getGroup(TransDlpRuleType) - Method in class lp.unit.TransformedDlp
Returns a LogicProgram containing all rules of type type from this program.
getGroup(int, TransEvolpRuleType) - Method in class lp.unit.TransformedEvolp
Returns a LogicProgram containing all rules from group no.
getHead() - Method in class lp.struct.LpRule
Returns the head of this rule, the same that was given to the constructor.
getInputStream() - Method in class lp.test.util.FakeProcess
Returns the standard output InputStream of this fake process.
getInstance(LpPredicate, List<LpTerm>) - Static method in class lp.struct.LpAtom
Returns an instance of LpAtom with the given predicate symbol and argument list.
getInstance(LpFunction, List<LpTerm>) - Static method in class lp.struct.LpCompoundTerm
Returns an instance of LpCompoundTerm with the given function symbol and argument list.
getInstance(String) - Static method in class lp.struct.LpConstant
Returns an instance of LpConstant with the given name.
getInstance(String, int) - Static method in class lp.struct.LpFunction
Returns an instance of LpFunction with the given name and arity.
getInstance(String, List<LpTerm>) - Static method in class lp.struct.LpFunction
Returns an instance of LpFunction with the given name and arity implied by the size of the given argument list.
getInstance(String, int) - Static method in class lp.struct.LpPredicate
Returns and instance of LpPredicate with the given name and arity.
getInstance(String, List<LpTerm>) - Static method in class lp.struct.LpPredicate
Returns and instance of LpPredicate with the given name and arity implied by the size of the given argument list.
getInstance(String) - Static method in class lp.struct.LpVariable
Returns an instance of LpVariable with the given name.
getInstance() - Static method in class lp.unit.EmptyProgram
Returns the singleton instance.
getInstance() - Static method in class lp.wrap.WrapperUtils
Returns the singleton instance.
getLexem() - Method in class lp.parse.LpLexer
Returns the lexem corresponding to the last token read.
getLexem() - Method in class lp.parse.LpLookaheadLexer
Returns the lexem corresponding to the last token read.
getLexem(int) - Method in class lp.parse.LpLookaheadLexer
Returns the lexem corresponding the token n steps further in the input.
getLexem() - Method in class lp.parse.LpToken
Returns the corresponding lexem.
getLexer() - Method in class lp.parse.LpParser
An accessor method for LpParser.lexer.
getLineNumber() - Method in class lp.parse.LpLexer
Returns the number of line of input on which the last token occured.
getLineNumber() - Method in class lp.parse.LpLookaheadLexer
Returns the number of line of input on which the last token occured.
getLineNumber(int) - Method in class lp.parse.LpLookaheadLexer
Returns the number of line of input on which the token n steps further in the input occurs.
getLineNumber() - Method in exception lp.parse.LpParserException
Getter method for number of line on which the problematic token was found.
getLineNumber() - Method in class lp.parse.LpToken
Returns the position within the line where the token occurs.
getLineNumber() - Method in exception lp.wrap.LparseMessage
Returns the number of line in the lparse's input to which this message is related.
getLiteral(boolean) - Method in class lp.struct.LpAtom
Returns a literal for this atom represented by a LpLiteral instance.
getMax() - Method in class lp.trans.IntArrayWrapper
 
getMaxGroup() - Method in class lp.unit.TransformedEvolp
Returns the maximum number of group used in this transformed program.
getMaxLeqThan(boolean, int) - Method in class lp.trans.DlpTransformer.AtomInfo
 
getMaxLeqThan(int) - Method in class lp.trans.IntArrayWrapper
Returns the maximum element of this sequence that is less or equal than limit, or -1 if no such element exists.
getMessage() - Method in exception lp.parse.LpParserException
Returns a message containing information about the parser problem.
getModelCount() - Method in class lp.trans.Solver
Returns the number of models that were computed.
getName() - Method in class lp.struct.LpConstant
Returns this constant's name, the same that was given to the constructor.
getName() - Method in class lp.struct.LpFunction
Returns this function's name, the same that was given to the constructor.
getName() - Method in class lp.struct.LpPredicate
Returns this predicate's name, the same that was given to the constructor.
getName() - Method in class lp.struct.LpVariable
Returns this variable's name, the same that was given to the constructor.
getNegativeLiteral() - Method in class lp.struct.LpAtom
Returns a negative literal for this atom represented by a LpLiteral instance.
getNext() - Method in class lp.test.util.TabSeparatedReader
Returns strings separated by tabs, newline characters or comments in the underlying stream one by one.
getNextModelString(BufferedReader) - Static method in class lp.trans.Solver
Returns the string containing space-separated atoms in the next model computed by smodels.
getOut() - Method in class lp.struct.util.LpPrinter
Returns the underlying Writer into which this writes the output.
getOutputStream() - Method in class lp.test.util.FakeProcess
Returns the standard input OutputStream of this fake process.
getPosition() - Method in class lp.parse.LpLexer
Returns the position of the last token's beginning within the line of input it's on.
getPosition() - Method in class lp.parse.LpLookaheadLexer
Returns the position of the last token's beginning within the line of input it's on.
getPosition(int) - Method in class lp.parse.LpLookaheadLexer
Returns the position of the token n steps further in the input.
getPosition() - Method in exception lp.parse.LpParserException
Getter method for line position of the problematic token's beginning.
getPosition() - Method in class lp.parse.LpToken
Returns the number of the line where the token occurs.
getPositiveLiteral() - Method in class lp.struct.LpAtom
Returns a positive literal for this atom represented by a LpLiteral instance.
getPredicate() - Method in class lp.struct.LpAtom
Returns the predicate symbol of this atom, the same that was given to the constructor.
getPredicate() - Method in class lp.struct.LpLiteral
Returns the predicate symbol of this literal.
getRule1() - Method in class lp.parse.LpParserTest
Returns a rule corresponding to the string a <- b, not c.
getRule2() - Method in class lp.parse.LpParserTest
Returns a rule corresponding to the string human(X) :- lives(X), not colour(green, X), not assert(rule(dead(X))).
getShortCommandName(String) - Method in class lp.wrap.WrapperUtils
Returns the command's name without the preceding path given the command string, i.e. the part of the command's name (as defined in WrapperUtils.getCommandName(String)) that follows the last File.separatorChar character.
getSourceRule() - Method in exception lp.trans.GrounderMessage
Returns the rule that is the reason of this message.
getStdin() - Method in class lp.wrap.LparseWrapper
Returns the standard input stream of the currently executed lparse process.
getStdin() - Method in class lp.wrap.SmodelsWrapper
Returns the standard input stream of the currently executed smodels process.
getStdout() - Method in class lp.wrap.LparseWrapper
Returns the standard output stream of the currently executed lparse process.
getStdout() - Method in class lp.wrap.SmodelsWrapper
Returns the standard output stream of the currently executed smodels process.
getSW() - Method in class lp.ui.AbstractProcessor
 
getTagNumber() - Method in class lp.trans.DlpGrounder.DlpDetagger
Returns the tag number of the last rule.
getToken() - Method in class lp.parse.LpLexer
Returns a LpToken instance containing information about the last token read.
getToken() - Method in class lp.parse.LpLookaheadLexer
Returns a LpToken instance containing information about the last token read.
getToken(int) - Method in class lp.parse.LpLookaheadLexer
Returns a LpToken instance containing information about the token n steps further in the input.
getTokenType() - Method in class lp.parse.LpLexer
Returns the type of the last token read.
getTokenType() - Method in class lp.parse.LpLookaheadLexer
Returns the type of the last token read.
getTokenType(int) - Method in class lp.parse.LpLookaheadLexer
Returns the type of the token n steps further in the input.
getTop() - Method in class lp.trans.IntArrayWrapper
Returns the index of the last element.
getTransformedDlp() - Method in class lp.ui.DlpProcessor
 
getTransformedEvolp() - Method in class lp.ui.EvolpProcessor
 
getType() - Method in class lp.parse.LpToken
Returns the type of the token.
getValue() - Method in class lp.struct.util.EvolpPrettyPrinter.MutableInteger
Returns the current value.
getWarnings() - Method in class lp.trans.Grounder
Returns a list of warnings that lparse issued on the input DLP.
getWarnings() - Method in class lp.wrap.LparseWrapper
Returns lparse warning messages that were issued by lparse on the last input.
ground - Variable in class lp.struct.util.LpGroundDecider
Is used to remember the current state between the calls of visit() methods.
ground(P) - Method in class lp.trans.Grounder
Returns a grounded version of inputProgram.
groundedDlp - Variable in class lp.ui.DlpProcessor
 
grounder - Variable in class lp.trans.DlpGrounderTest
The tested DlpGrounder instance.
grounder - Variable in class lp.trans.DlpSolverTest
The grounder used in the tests.
grounder - Variable in class lp.trans.EvolpVarTransformer
 
Grounder<P> - Class in lp.trans
An abstract class that contains common functionality of classes used to ground logic programs (LpGrounder and DlpGrounder).
Grounder(LparseWrapper) - Constructor for class lp.trans.Grounder
Creates a new instance of Grounder that uses the given object to invoke lparse and process its output.
grounder - Variable in class lp.trans.LpGrounderTest
The LpGrounder instance used in the tests.
grounder - Variable in class lp.trans.LpSolverTest
The grounder used in the tests.
grounder - Variable in class lp.ui.DlpProcessor
 
GrounderMessage - Exception in lp.trans
An error or warning message that is issued by lparse.
GrounderMessage(String, LpRule, boolean) - Constructor for exception lp.trans.GrounderMessage
Creates a new instance of GrounderMessage with the specified message that relates to the given rule.
GrounderMessage(String, LpRule, boolean, Throwable) - Constructor for exception lp.trans.GrounderMessage
Creates a new instance of GrounderMessage with the specified message that relates to the given rule.
group - Variable in class lp.trans.EvolpSolver.TransEvolpParser
Contains the index of the last atom that was parsed.

H

hasConstraintInGroup(int) - Method in class lp.trans.EvolpTransformer.AtomAppearance
 
hasDefaultInGroup(int) - Method in class lp.trans.EvolpTransformer.AtomAppearance
 
hashCode() - Method in class lp.struct.LpAtom
Overriden in order to maintain the general contract of Object.hashCode().
hashCode() - Method in class lp.struct.LpCompoundTerm
Overriden in order to maintain the general contract of Object.hashCode().
hashCode() - Method in class lp.struct.LpConstant
Overriden in order to maintain the general contract of Object.hashCode().
hashCode() - Method in class lp.struct.LpFunction
Overriden in order to maintain the general contract of Object.hashCode().
hashCode() - Method in class lp.struct.LpLiteral
Overriden in order to maintain the general contract of Object.hashCode().
hashCode() - Method in class lp.struct.LpPredicate
Overriden in order to maintain the general contract of Object.hashCode().
hashCode() - Method in class lp.struct.LpRule
Overriden in order to maintain the general contract of Object.hashCode().
hashCode() - Method in interface lp.struct.LpTerm
Overriden in order to maintain the general contract of Object.hashCode().
hashCode() - Method in class lp.struct.LpVariable
Overriden in order to maintain the general contract of Object.hashCode().
hashCode() - Method in exception lp.trans.GrounderMessage
Overriden in order to maintain the general contract of Object.hashCode().
hashCode() - Method in class lp.unit.EmptyProgram
Returns the hash code of an empty set.
hashCode() - Method in exception lp.wrap.LparseMessage
Overriden in order to maintain the general contract of Object.hashCode().
hasMoreTokens() - Method in class lp.parse.LpParser
Returns 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.
head - Variable in class lp.struct.LpRule
The rule's head.
helper - Variable in class lp.trans.EvolpTransformer
 
helper - Variable in class lp.trans.EvolpVarTransformer
 

I

ignoreUntilEOL() - Method in class lp.test.util.PartReader
Ignores all characters until (and including) the next end of line.
in - Variable in class lp.test.util.PartReader
The underlying Reader instance.
in - Variable in class lp.test.util.TabSeparatedReader
The stream from which the strings are read.
in - Variable in class lp.trans.EvolpSolver.Decoder
The underlying Reader.
incTagNumber() - Method in class lp.trans.DlpGrounder.DlpTagger
Increments the tag number used for adding the tagging literals.
initialize() - Method in class lp.parse.LpLexer
Reinitializes members and reads the first lookahead character.
initialize() - Method in class lp.parse.LpLookaheadLexer
Reinitializes members and reads the first lookahead character.
innerTermsLeft - Variable in class lp.struct.util.EvolpPrettyPrinter
If trackPosition is true, this stack holds the numbers of remaining inner terms of function and predicate symbols.
input - Variable in class lp.ui.DlpProcessor
 
input - Variable in class lp.ui.EvolpProcessor
 
input - Variable in class lp.ui.EvolpVarProcessor
 
instance - Static variable in class lp.unit.EmptyProgram
The singleton instance.
instance - Static variable in class lp.wrap.WrapperUtils
Reference to the singleton instance of this class.
IntArrayWrapper - Class in lp.trans
A class used for storing an increasing sequence of nonnegative integers.
IntArrayWrapper(int) - Constructor for class lp.trans.IntArrayWrapper
Constructs a new instance which can hold up to maxCount elements.
isEmpty() - Method in class lp.trans.IntArrayWrapper
Returns true iff this sequence has 0 elements.
isEmpty() - Method in class lp.unit.EmptyProgram
Returns true.
isError() - Method in class lp.ui.DlpWebappHelper
 
isError() - Method in class lp.ui.EvolpVarWebappHelper
 
isError() - Method in class lp.ui.EvolpWebappHelper
 
isGround(LpStructureUnit) - Method in class lp.struct.util.LpGroundDecider
Returns true iff unit doesn't contain a variable represented by a LpVariable instance.
isGround() - Method in class lp.unit.DynamicLogicProgram
Returns true iff all programs in the sequence are also ground.
isGround() - Method in class lp.unit.EmptyProgram
Returns true.
isGround() - Method in class lp.unit.EvolpProgram
Returns true iff both the base program and all events are ground.
isGround() - Method in class lp.unit.GeneralizedLogicProgram
Returns true iff this logic programs contains only ground rules, i.e. rules that contain no variables.
isGround() - Method in interface lp.unit.LogicProgram
Returns true iff this logic programs contains only ground rules, i.e. rules that contain no variables.
isPositive() - Method in class lp.struct.LpLiteral
Returns true if this literal is positive and false otherwise.
isWarning() - Method in exception lp.trans.GrounderMessage
Returns true if this is a warning message and false if it is an error message.
isWarning() - Method in exception lp.wrap.LparseMessage
Returns true if this is a warning message and false if it is an error message.
isWordLetter(char) - Method in class lp.parse.LpLexer
Determines if a character belongs to the set {'_', 'a', 'b', ..., 'z', 'A', 'B', ..., 'Z', '0', '1', ..., '9'}.
iterator() - Method in class lp.unit.EmptyProgram
Returns the iterator for this empty collection.
ITR - Static variable in class lp.unit.EmptyProgram
A static iterator over an empty collection of rules.

J

JspPrinter - Class in lp.ui
A helper class for printing logic programs and messages in HTML to a JspWriter.
JspPrinter(JspWriter) - Constructor for class lp.ui.JspPrinter
 

K

keyBuilder - Static variable in class lp.struct.LpAtom
Used to create construct keys in LpAtom.pool.
keyBuilder - Static variable in class lp.struct.LpCompoundTerm
Used to create construct keys in LpCompoundTerm.pool.

L

la - Variable in class lp.parse.LpLexer
The lookahead character.
la - Variable in class lp.test.util.TabSeparatedReader
A lookahead character.
label - Variable in enum lp.unit.TransDlpRuleType
A label for the rule type.
label - Variable in enum lp.unit.TransEvolpRuleType
A label for the rule type.
length() - Method in class lp.struct.util.LpBuffer
Returns the length (character count) of this character sequence.
length() - Method in class lp.trans.IntArrayWrapper
Returns current number of elements in this sequence.
lexem - Variable in class lp.parse.LpLexer
A StringBuilder where the lexem corresponding to the last token read is kept.
lexem - Variable in class lp.parse.LpToken
The corresponding lexem.
lexer - Variable in class lp.parse.LpLexerTest
 
lexer - Variable in class lp.parse.LpParser
Container for the underlying lexer instance, through which the input is parsed.
lineNumber - Variable in class lp.parse.LpLexer
A container for the number of line on which the last token occured.
lineNumber - Variable in exception lp.parse.LpParserException
Line number within the input where the problematic token was found.
lineNumber - Variable in class lp.parse.LpToken
Number of the line where the token occurs.
lineNumber - Variable in exception lp.wrap.LparseMessage
Contains the number of line in the lparse's input to which this message is related.
litAs - Variable in class lp.trans.LpGrounderTest
An array with literals "a(1)" ...
litAVar - Variable in class lp.trans.LpGrounderTest
A literal "a(X)" used in the tests.
litBConst - Variable in class lp.trans.LpGrounderTest
A literal "b(x)" used in the tests.
litBs - Variable in class lp.trans.LpGrounderTest
An array with literals "b(1)" ...
litBVar - Variable in class lp.trans.LpGrounderTest
A literal "b(X)" used in the tests.
litDs - Variable in class lp.trans.LpGrounderTest
An array with literals "b(1)" ...
litDVar - Variable in class lp.trans.LpGrounderTest
A literal "d(X)" used in the tests.
literalPrefix(boolean) - Method in class lp.struct.util.LpHtmlPrinter
Appends an empty string when positive is true and the string "<span class=\"negLitPrefix\">not</span> " otherwise.
literalPrefix(boolean) - Method in class lp.struct.util.LpPrettyPrinter
Appends an empty string when positive is true and the string "not " otherwise.
litNotAs - Variable in class lp.trans.LpGrounderTest
An array with literals "not a(1)" ...
litNotAVar - Variable in class lp.trans.LpGrounderTest
Literal "not a(X)" used in the tests.
litNotBs - Variable in class lp.trans.LpGrounderTest
An array with literals "not b(1)" ...
litNotBVar - Variable in class lp.trans.LpGrounderTest
Literal "not b(X)" used in the tests.
load(int) - Method in class lp.parse.LpLookaheadLexer
Reads count tokens and stores them in the buffer.
loadConfig(File) - Method in class lp.ui.ConfigManager
 
loadConfig(String) - Method in class lp.ui.ConfigManager
 
loadCurrentDirConfig() - Method in class lp.ui.ConfigManager
 
loadUserConfig() - Method in class lp.ui.ConfigManager
 
LogicProgram - Interface in lp.unit
Represents an ordinary logic program, i.e. a set of logic program rules represented by LpRule instances.
lp.parse - package lp.parse
This package contains classes directly involved in tokenizing and parsing a textual input containing some kind of logic program.
lp.struct - package lp.struct
This package contains classes that represent structural components of logic programs.
lp.struct.util - package lp.struct.util
This package contains classes that operate on the structural components of logic programs from the lp.struct package.
lp.test.util - package lp.test.util
 
lp.trans - package lp.trans
Classes that perform transformations of logic programs.
lp.ui - package lp.ui
This package contains a set of developer-friendly classes that can be used to parse and ground logic programs, dynamic logic programs and evolving logic programs and also compute their stable models.
lp.unit - package lp.unit
Classes that represent logic programs and their models.
lp.util - package lp.util
Auxiliary classes.
lp.wrap - package lp.wrap
Contains the wrappers for lparse and smodels.
LpAbstractStructureUnit - Class in lp.struct
This abstract class offers a default implementation of the LpAbstractStructureUnit.toString() method for all classes implementing the LpStructureUnit interface.
LpAbstractStructureUnit() - Constructor for class lp.struct.LpAbstractStructureUnit
 
LpAbstractStructureUnitTest - Class in lp.struct
Contains tests of the LpAbstractStructureUnit class.
LpAbstractStructureUnitTest(String) - Constructor for class lp.struct.LpAbstractStructureUnitTest
A default test case constructor.
LparseMessage - Exception in lp.wrap
This class represents a warning or error message from lparse.
LparseMessage() - Constructor for exception lp.wrap.LparseMessage
Creates a new lparse error that has no a detail message.
LparseMessage(String, int) - Constructor for exception lp.wrap.LparseMessage
Creates a new lparse error with the specified detail message and line number.
LparseMessage(String, int, boolean) - Constructor for exception lp.wrap.LparseMessage
Creates a new lparse message with the specified detail message and line number.
lparsePath - Variable in class lp.wrap.LparseWrapper
The path to the lparse binary.
LparseWrapper - Class in lp.wrap
A class responsible for executing lparse with the given command line arguments.
LparseWrapper() - Constructor for class lp.wrap.LparseWrapper
Creates a new instance of LparseWrapper.
LparseWrapper.ErrorStreamProcessor - Class in lp.wrap
A helper thread that reads and parses contents of an lparse standard error stream and stores the resulting LparseMessage objects in LparseWrapper.error and LparseWrapper.warnings.
LparseWrapper.ErrorStreamProcessor() - Constructor for class lp.wrap.LparseWrapper.ErrorStreamProcessor
Constructs a new instance of ErrorStreamProcessor.
LparseWrapperTest - Class in lp.wrap
Contains tests of the LparseWrapper class.
LparseWrapperTest(String) - Constructor for class lp.wrap.LparseWrapperTest
A default test case constructor.
LpAtom - Class in lp.struct
This class represents an atom in logic programming.
LpAtom(LpPredicate, List<LpTerm>) - Constructor for class lp.struct.LpAtom
Creates a new instance of LpAtom with the given predicate symbol and argument list.
LpAtomTest - Class in lp.struct
Contains tests of the LpAtom class.
LpAtomTest(String) - Constructor for class lp.struct.LpAtomTest
A default test case constructor.
LpBuffer - Class in lp.struct.util
A convenience class that makes it possible to work with classes inheriting from a LpPrinter for writing into a string buffer instead of a writer.
LpBuffer(LpPrinter<StringWriter>) - Constructor for class lp.struct.util.LpBuffer
Creates a new instance of LpBuffer that uses printer to append usual objects and also LpStructureUnits to a string buffer.
LpCompoundTerm - Class in lp.struct
This class represents a compound term in logic programming.
LpCompoundTerm(LpFunction, List<LpTerm>) - Constructor for class lp.struct.LpCompoundTerm
Creates a new instance with the given values as members.
LpCompoundTermTest - Class in lp.struct
Contains tests of the LpCompoundTerm class.
LpCompoundTermTest(String) - Constructor for class lp.struct.LpCompoundTermTest
A default test case constructor.
LpConstant - Class in lp.struct
Represents a constant in logic programming.
LpConstant(String) - Constructor for class lp.struct.LpConstant
Creates a new instance of LpConstant with the given name.
LpConstantTest - Class in lp.struct
Contains tests of the LpConstant class.
LpConstantTest(String) - Constructor for class lp.struct.LpConstantTest
A default test case constructor.
LpEncoder<W extends Writer> - Class in lp.struct.util
Transforms a logic program (or its components} represented by objects implementing the 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(W) - Constructor for class lp.struct.util.LpEncoder
Creates a new instance of LpEncoder.
LpFunction - Class in lp.struct
Represents a function (symbol) in logic programming.
LpFunction(String, int) - Constructor for class lp.struct.LpFunction
Creates a new instance with the given name and arity.
LpFunctionTest - Class in lp.struct
Contains tests of the LpFunction class.
LpFunctionTest(String) - Constructor for class lp.struct.LpFunctionTest
A default test case constructor.
LpGroundDecider - Class in lp.struct.util
Decides whether a LpStructureUnit is ground, i.e. if it "contains" a variable (represented by a LpVariable instance) or not.
LpGroundDecider() - Constructor for class lp.struct.util.LpGroundDecider
Creates a new instance of LpGroundDecider.
LpGroundDeciderTest - Class in lp.struct.util
Contains tests of the LpGroundDecider class.
LpGroundDeciderTest(String) - Constructor for class lp.struct.util.LpGroundDeciderTest
A default test case constructor.
LpGrounder - Class in lp.trans
Creates a grounded version of a normal logic program.
LpGrounder() - Constructor for class lp.trans.LpGrounder
Creates a new instance of LpGrounder that creates its own LparseWrapper instance using its default constructors.
LpGrounder(LparseWrapper) - Constructor for class lp.trans.LpGrounder
Creates a new instance of LpGrounder that uses the given object to invoke lparse and process its output.
LpGrounderTest - Class in lp.trans
Contains tests of the LpGrounder class.
LpGrounderTest(String) - Constructor for class lp.trans.LpGrounderTest
A default test case constructor.
LpHtmlPrinter<W extends Writer> - Class in lp.struct.util
Transforms a logic program (or its components} represented by objects implementing the LpStructureUnit interface into an HTML representation.
LpHtmlPrinter(W) - Constructor for class lp.struct.util.LpHtmlPrinter
Creates a new instance of LpHtmlPrinter.
LpHtmlPrinter(W, String, boolean) - Constructor for class lp.struct.util.LpHtmlPrinter
Creates a new instance of LpHtmlPrinter.
LpLexer - Class in lp.parse
Class that tokenizes a textual input.
LpLexer() - Constructor for class lp.parse.LpLexer
Creates a new instance of LpLexer.
LpLexerTest - Class in lp.parse
Contains tests of the LpLexer class.
LpLexerTest(String) - Constructor for class lp.parse.LpLexerTest
A default test case constructor.
LpLiteral - Class in lp.struct
This class represents a literal in logic programming.
LpLiteral(boolean, LpAtom) - Constructor for class lp.struct.LpLiteral
Creates a new instance with the given values as members.
LpLiteralTest - Class in lp.struct
Contains tests of the LpLiteral class.
LpLiteralTest(String) - Constructor for class lp.struct.LpLiteralTest
A default test case constructor.
LpLookaheadLexer - Class in lp.parse
This class provides the same functionality as LpLexer and it offers the possibility to take a look at future tokens and not loose the current position in the input.
LpLookaheadLexer() - Constructor for class lp.parse.LpLookaheadLexer
 
LpLookaheadLexerTest - Class in lp.parse
Contains tests of the LpLookaheadLexer class.
LpLookaheadLexerTest(String) - Constructor for class lp.parse.LpLookaheadLexerTest
A default test case constructor.
LpParser - Class in lp.parse
Processes textual input with a logic program or logic programming constructs and produces LpRule, LpLiteral and LpTerm objects.
LpParser() - Constructor for class lp.parse.LpParser
Creates a new LpParser instance that uses a new LpLexer instance to tokenize the character input before parsing.
LpParser(LpLexer) - Constructor for class lp.parse.LpParser
Creates a new LpParser instance that uses lexer to tokenize the character input before parsing.
LpParserException - Exception in lp.parse
An exception thrown by LpParser when it can't parse the input.
LpParserException(LpTokenType, LpLexer) - Constructor for exception lp.parse.LpParserException
Exception constructor taking the necessary information about the problematic token from a given LpLexer.
LpParserException(LpTokenType, String, int, int) - Constructor for exception lp.parse.LpParserException
Exception constructor.
LpParserTest - Class in lp.parse
Contains tests of the LpParser class.
LpParserTest(String) - Constructor for class lp.parse.LpParserTest
A default test case constructor.
LpParserTest2 - Class in lp.parse
Contains a test of the LpParser class that reuses data from LpPrettyPrinterTest.
LpParserTest2(String) - Constructor for class lp.parse.LpParserTest2
A default test case constructor.
LpPredicate - Class in lp.struct
Represents a predicate (symbol) in logic programming.
LpPredicate(String, int) - Constructor for class lp.struct.LpPredicate
Creates a new instance with the given name and arity.
LpPredicateTest - Class in lp.struct
Contains tests of the LpPredicate class.
LpPredicateTest(String) - Constructor for class lp.struct.LpPredicateTest
A default test case constructor.
LpPrettyPrinter<W extends Writer> - Class in lp.struct.util
Transforms a logic program (or its components} represented by objects implementing the LpStructureUnit interface into a human-readable (standard) textual representation.
LpPrettyPrinter(W) - Constructor for class lp.struct.util.LpPrettyPrinter
Creates a new instance of LpPrettyPrinter.
LpPrettyPrinter(W, String, boolean) - Constructor for class lp.struct.util.LpPrettyPrinter
Creates a new instance of LpPrettyPrinter.
LpPrettyPrinterTest - Class in lp.struct.util
Contains tests of the LpPrettyPrinter class.
LpPrettyPrinterTest(String) - Constructor for class lp.struct.util.LpPrettyPrinterTest
A default test case constructor.
LpPrinter<W extends Writer> - Class in lp.struct.util
A base class for various printers of object representations of logic programs.
LpPrinter(W) - Constructor for class lp.struct.util.LpPrinter
Creates a new instance that writes everything into W.
LpPrinterTest - Class in lp.struct.util
Contains tests of the non-abstract methods in the LpPrinter class.
LpPrinterTest(String) - Constructor for class lp.struct.util.LpPrinterTest
A default test case constructor.
LpRule - Class in lp.struct
Represents a logic programming rule.
LpRule(LpLiteral, Set<LpLiteral>) - Constructor for class lp.struct.LpRule
Creates a new instance of LpRule with the given ruleHead and ruleBody.
LpRuleTest - Class in lp.struct
Contains tests of the LpRule class.
LpRuleTest(String) - Constructor for class lp.struct.LpRuleTest
A default test case constructor.
LpSolver - Class in lp.trans
A class that computes stable models of a grounded normal logic program.
LpSolver() - Constructor for class lp.trans.LpSolver
Creates a new instance of LpSolver.
LpSolver(LparseWrapper, SmodelsWrapper) - Constructor for class lp.trans.LpSolver
Creates a new instance of LpSolver.
LpSolverTest - Class in lp.trans
Contains tests of the LpSolver class.
LpSolverTest(String) - Constructor for class lp.trans.LpSolverTest
A default test case constructor.
LpStructureUnit - Interface in lp.struct
An interface providing the LpStructureUnit.accept(LpStructureUnitVisitor) method that make implementing classes visitable by any LpStructureUnitVisitor.
LpStructureUnitTestUtils - Class in lp.struct
Contains utility methods for testing common methods of classes in the package lp.struct.
LpStructureUnitTestUtils(String) - Constructor for class lp.struct.LpStructureUnitTestUtils
A default test case constructor.
LpStructureUnitVisitor - Interface in lp.struct
Classes implementing this interface can act as visitors of classes implementing the LpStructureUnit interface.
LpTerm - Interface in lp.struct
Represents a term in logic programming.
LpToken - Class in lp.parse
An immutable container for information about 1 token in an input created by a LpLexer.
LpToken(LpTokenType, String, int, int) - Constructor for class lp.parse.LpToken
Creates a new instance.
LpTokenTest - Class in lp.parse
Contains tests of the LpToken class.
LpTokenTest(String) - Constructor for class lp.parse.LpTokenTest
A default test case constructor.
LpTokenType - Enum in lp.parse
Enumeration of token types returned by a LpLexer and further used by parsers to parse source code.
LpTokenType(String) - Constructor for enum lp.parse.LpTokenType
Enumeration constructor taking care of remembering the description.
LpVariable - Class in lp.struct
Represents a variable in logic programming.
LpVariable(String) - Constructor for class lp.struct.LpVariable
Creates a new instance of LpVariable with the given name.
LpVariableTest - Class in lp.struct
Contains tests of the LpVariable class.
LpVariableTest(String) - Constructor for class lp.struct.LpVariableTest
A default test case constructor.
lw - Variable in class lp.trans.Grounder
An LparseWrapper instance used to execute lparse when grounding the logic program with tagged rules created from the original (non-ground) dynamic logic program.
lw - Variable in class lp.trans.Solver
An LparseWrapper instance used to execute lparse before executing smodels.
lw - Variable in class lp.wrap.LparseWrapperTest
The LparseWrapper instance used in the tests.

M

makeAssertionLiteral(LpRule, int) - Method in class lp.trans.EvolpTransformer.TransformationHelper
 
makeConstraint() - Method in class lp.trans.DlpTransformer.AtomInfo
 
makeDefault() - Method in class lp.trans.DlpTransformer.AtomInfo
 
makeDefaultAssumption(LpAtom, int) - Method in class lp.trans.EvolpTransformer.TransformationHelper
 
makeGrounderMessage(LparseMessage, DynamicLogicProgram) - Method in class lp.trans.DlpGrounder
Creates an error message based on lparseMessage from lparse and the input program.
makeGrounderMessage(String, String, boolean) - Method in class lp.trans.DlpGrounderTest
 
makeGrounderMessage(LparseMessage, P) - Method in class lp.trans.Grounder
Creates an error message based on lparseMessage from lparse and the input program.
makeGrounderMessage(LparseMessage, LogicProgram) - Method in class lp.trans.LpGrounder
Creates an error message based on lparseMessage from lparse and the input program.
makeIntroRejection(LpRule, int) - Method in class lp.trans.DlpTransformer
 
makeIntroRejection(LpRule, int, int, int, boolean) - Method in class lp.trans.EvolpTransformer.TransformationHelper
 
makePropagationRejection(boolean, int, int) - Method in class lp.trans.DlpTransformer.AtomInfo
 
makePropagationRejection(LpLiteral, int, int, int) - Method in class lp.trans.EvolpTransformer.TransformationHelper
 
makeRejectionAtom(LpLiteral, int) - Method in class lp.trans.DlpTransformer
 
makeRejectionAtom(LpLiteral, int, int) - Method in class lp.trans.EvolpTransformer.TransformationHelper
 
makeTotalityConstraint(LpAtom, int) - Method in class lp.trans.EvolpTransformer.TransformationHelper
 
makeTransformedLiteral(LpLiteral, boolean) - Method in class lp.trans.DlpTransformer
 
makeTransformedRule(LpRule, int) - Method in class lp.trans.DlpTransformer
 
match(LpTokenType) - Method in class lp.parse.LpParser
Compares the current token (read through LpLexer.getTokenType() with an expected token and reads a new token.
maxGroup - Variable in class lp.unit.TransformedEvolp
Maximum group used in this transformed program.
members - Variable in class lp.trans.IntArrayWrapper
An array with the sequence's members.
modelCount - Variable in class lp.trans.Solver
Number of models that were computed.
modelLength - Variable in class lp.trans.EvolpSolver
Contains the length of the resulting evolution stable model.
modelLimit - Variable in class lp.wrap.SmodelsWrapper
Maximum number of stable models that should be computed by smodels.

N

n - Variable in class lp.ui.DlpWebappHelper.DlpModelProcessor
 
n - Variable in class lp.ui.EvolpVarWebappHelper.EvolpModelProcessor
 
n - Variable in class lp.ui.EvolpWebappHelper.EvolpModelProcessor
 
name - Variable in class lp.struct.LpConstant
This constant's name.
name - Variable in class lp.struct.LpFunction
This function's name.
name - Variable in class lp.struct.LpPredicate
This predicate's name.
name - Variable in class lp.struct.LpVariable
This variable's name.
NEGATIVE_STEPS_MESSAGE - Static variable in class lp.parse.LpLookaheadLexer
A string with an exception message used multiple times in the implementation.
negEventRuleHead - Variable in class lp.trans.EvolpTransformer.AtomAppearance
 
negLit - Variable in class lp.struct.LpAtom
A negative literal bound to this atom.
negOccurences - Variable in class lp.trans.DlpTransformer.AtomInfo
 
negProgRuleHead - Variable in class lp.trans.EvolpTransformer.AtomAppearance
 
newLA() - Method in class lp.test.util.TabSeparatedReader
Reads the next character from the underlying Reader and stores it in la.
nextOppositeLevel(int, int, boolean) - Method in class lp.trans.EvolpTransformer.AtomAppearance
 
nextToken() - Method in class lp.parse.LpLexer
Reads the next token occuring on the input.
nextToken() - Method in class lp.parse.LpLookaheadLexer
Reads the next token occuring on the input.
nextToken() - Method in class lp.parse.LpParser
Asks for the next token from the underlying LpLexer.

O

options - Variable in class lp.wrap.LparseWrapper
The command line options used when executing lparse in the LparseWrapper.exec() method.
out - Variable in class lp.struct.util.LpPrinter
The underlying Writer into which the class writes.
outputConstraints(TransformedEvolp) - Method in class lp.trans.EvolpTransformer.AtomAppearance
 
outputDefaults(TransformedEvolp) - Method in class lp.trans.EvolpTransformer.AtomAppearance
 
outputRejection(TransformedEvolp, LpRule, int, int, boolean) - Method in class lp.trans.EvolpTransformer
 
outputRejections(TransformedEvolp) - Method in class lp.trans.EvolpTransformer.AtomAppearance
 

P

parseAllRules() - Method in class lp.parse.LpParser
Parses the whole input as logic programming rules and returns them in a new LogicProgram object.
parseAllRules(LogicProgram) - Method in class lp.parse.LpParser
Parses the whole input as logic programming rules and adds them to the given LogicProgram object.
parseArguments() - Method in class lp.parse.LpParser
Corresponds to the non-terminal Arguments from the class description.
parseAtom() - Method in class lp.parse.LpParser
Corresponds to the non-terminal Atom from the class description.
parseAtom() - Method in class lp.trans.EvolpSolver.TransEvolpParser
Parses an atom in a normal way but cuts off the indexation suffix "N([0-9]+)" and stores $1.
parseDlp() - Method in class lp.parse.DlpParser
Parses the given input as a dynamic logic program, i.e. as a sequence of logic program separated from each other by "newProgram." facts.
parseEvolp() - Method in class lp.parse.EvolpParser
Parses the given input as an EVOLP program , i.e. a sequence of logic programs separated from each other by "newEvents." facts.
parseLiteral() - Method in class lp.parse.LpParser
Corresponds to the non-terminal Literal from the class description.
parseLiteral() - Method in class lp.trans.DlpGrounder.DlpDetagger
Parses and returns the next literal on input.
parseMessages() - Method in class lp.wrap.LparseWrapper.ErrorStreamProcessor
Parses all errors and warnings issued by lparse from its error output stream.
parseModel(String) - Method in class lp.trans.DlpSolver
Parses modelString and returns the model that it represents.
parseModel(String) - Method in class lp.trans.EvolpSolver
Parses modelString and returns the model that it represents.
parseModel(String) - Method in class lp.trans.LpSolver
Parses modelString and returns the model that it represents.
parseModel(String) - Method in class lp.trans.Solver
Parses modelString and returns the model that it represents.
parseOnlyRule() - Method in class lp.parse.LpParser
Parses the next rule on input but doesn't require the leading DOT.
parseOutput(String) - Method in class lp.trans.DlpGrounder
Parses the given lparse output and returns the grounded program.
parseOutput(String) - Method in class lp.trans.Grounder
Parses the given lparse output and returns the grounded program.
parseOutput(String) - Method in class lp.trans.LpGrounder
Parses the given lparse output and returns the grounded program.
parser - Variable in class lp.parse.LpParserTest
The LpParser instance used in the tests.
parser - Variable in class lp.parse.LpParserTest2
The LpParser instance used in the tests.
parser - Variable in class lp.trans.DlpGrounder
Parses lparse's output and gets rid of the tagging literals again.
parser - Variable in class lp.trans.DlpGrounderTest
The parser used in the tests.
parser - Variable in class lp.trans.DlpSolver
Parser used to convert the string representation of a model into object representations of the atoms in the model.
parser - Variable in class lp.trans.DlpSolverTest
The parser used in the tests.
parser - Variable in class lp.trans.DlpTransformerTest
A LpParser instance used in the tests to convert create object representations of rules.
parser - Variable in class lp.trans.EvolpSolver
Parser used to convert the string representation of a model into object representations of the atoms in the model.
parser - Variable in class lp.trans.EvolpTransformerTest
A EvolpParser instance used in the tests to convert create object representations of rules.
parser - Variable in class lp.trans.LpGrounder
Used to parse lparse's output.
parser - Variable in class lp.trans.LpSolver
Parser used to convert the string representation of a model into object representations of the atoms in the model.
parser - Variable in class lp.trans.LpSolverTest
The parser used in the tests.
parser - Variable in class lp.ui.DlpProcessor
 
parser - Variable in class lp.ui.EvolpProcessor
 
parser - Variable in class lp.ui.EvolpVarProcessor
 
parser - Variable in class lp.unit.GeneralizedLogicProgramTest
The LpParser instance used in tests to convert strings into LpRule instances.
parseRule() - Method in class lp.parse.LpParser
Corresponds to the non-terminal Rule from the class description.
parseRule() - Method in class lp.trans.DlpGrounder.DlpDetagger
Parses and returns the next rule on input.
parseRuleBody(boolean) - Method in class lp.parse.LpParser
Parses a rule's body and returns its object model—a list of LpLiteral objects.
parseTerm() - Method in class lp.parse.EvolpParser
Corresponds to the non-terminal Term from the class description.
parseTerm() - Method in class lp.parse.LpParser
Corresponds to the non-terminal Term from the class description.
PartReader - Class in lp.test.util
A reader that reads until a certain character is found.
PartReader(Reader, char) - Constructor for class lp.test.util.PartReader
Creates a new instance for the given Reader and with the given stop character.
pool - Static variable in class lp.struct.LpAtom
A pool of instances of this immutable class.
pool - Static variable in class lp.struct.LpCompoundTerm
A pool of instances of this immutable class.
pool - Static variable in class lp.struct.LpConstant
A pool of instances of this immutable class.
pool - Static variable in class lp.struct.LpFunction
A pool of instances of this immutable class.
pool - Static variable in class lp.struct.LpPredicate
A pool of instances of this immutable class.
pool - Static variable in class lp.struct.LpVariable
A pool of instances of this immutable class.
posEventRuleHead - Variable in class lp.trans.EvolpTransformer.AtomAppearance
 
position - Variable in class lp.parse.LpLexer
A container for the position of the last token's beginning within a line.
position - Variable in exception lp.parse.LpParserException
Line position of the problematic token's beginning.
position - Variable in class lp.parse.LpToken
Position within the line where the token occurs.
positive - Variable in class lp.struct.LpLiteral
The polarity of this literal.
posLit - Variable in class lp.struct.LpAtom
A positive literal bound to this atom.
posOccurences - Variable in class lp.trans.DlpTransformer.AtomInfo
 
posProgRuleHead - Variable in class lp.trans.EvolpTransformer.AtomAppearance
 
pp - Variable in class lp.struct.util.LpPrettyPrinterTest
An instance of LpPrettyPrinter used in the tests.
pp - Variable in class lp.trans.LpGrounder
An instance of LpPrettyPrinter that is used to create the lparse input with the original (non-ground) program.
pp2 - Variable in class lp.struct.util.LpPrettyPrinterTest
An instance of LpPrettyPrinter used in the tests.
predicate - Variable in class lp.struct.LpAtom
The predicate symbol that is used in this atom.
printer - Variable in class lp.parse.LpParserTest
The printer used in the tests.
printer - Variable in class lp.struct.util.LpBuffer
The LpPrinter used to append LpStructureUnits to LpBuffer.buffer.
printer - Variable in class lp.trans.DlpGrounder
This printer is used to dump rules in the original dynamic logic program into a single logic program.
printer - Variable in class lp.trans.Solver
The printer used to write a logic program to the LparseWrapper.
printer - Variable in class lp.ui.DlpWebappHelper
 
printer - Variable in class lp.ui.EvolpVarWebappHelper
 
printer - Variable in class lp.ui.EvolpWebappHelper
 
println(String) - Method in class lp.ui.JspPrinter
 
printProgram(DynamicLogicProgram, Writer) - Method in class lp.trans.DlpGrounder
Prints inputProgram in a form that is groundable by lparse (as long as the programmer didn't break the constraints imposed by lparse).
printProgram(P, Writer) - Method in class lp.trans.Grounder
Prints inputProgram in a form that is groundable by lparse (as long as the programmer didn't break the constraints imposed by lparse).
printProgram(LogicProgram, Writer) - Method in class lp.trans.LpGrounder
Prints inputProgram in a form that is groundable by lparse (as long as the programmer didn't break the constraints imposed by lparse).
process - Variable in class lp.wrap.LparseWrapper
The lparse process.
process - Variable in class lp.wrap.SmodelsWrapper
The smodels process.
processor - Variable in class lp.trans.DlpSolverTest
Object for collecting the computed models.
processor - Variable in class lp.ui.DlpWebappHelper
 
processor - Variable in class lp.ui.EvolpVarWebappHelper
 
processor - Variable in class lp.ui.EvolpWebappHelper
 
progCount - Variable in class lp.trans.DlpTransformer
 
programCount - Variable in class lp.trans.DlpGrounder
Contains the length of the dynamic logic program that is being grounded.
programs - Variable in class lp.trans.EvolpTransformer
 
programs - Variable in class lp.trans.EvolpVarTransformer
 

Q

QUIET - Static variable in class lp.ui.JspPrinter
 

R

r - Variable in class lp.struct.util.LpPrettyPrinterTest
A random number generator used in LpPrettyPrinterTest.doTest(String, LpStructureUnit) to randomize the tests.
read() - Method in class lp.test.util.PartReader
Reads one character from the underlying reader.
read(char[], int, int) - Method in class lp.test.util.PartReader
Reads len characters and puts them to cbuf beginning at position off.
read() - Method in class lp.trans.EvolpSolver.Decoder
Returns the next character after applying the filter to the original input.
read(char[], int, int) - Method in class lp.trans.EvolpSolver.Decoder
Reads to a character buffer.
reader - Variable in class lp.parse.LpLexer
The reader used to read the input.
readNewLA() - Method in class lp.parse.LpLexer
Reads one character from the input and stores it in the lookahead container LpLexer.la.
registerTerm() - Method in class lp.struct.util.EvolpPrettyPrinter
If EvolpPrettyPrinter.trackPosition is true, 1 one is subtracted from the topmost integer in EvolpPrettyPrinter.innerTermsLeft.
remove(Object) - Method in class lp.unit.EmptyProgram
Throws an UnsupportedOperationException.
removeAll(Collection<?>) - Method in class lp.unit.EmptyProgram
Throws an UnsupportedOperationException.
reset() - Method in class lp.struct.util.LpBuffer
Deletes all characters in this sequence.
reset() - Method in class lp.trans.DlpGrounder.DlpTagger
 
reset() - Method in class lp.trans.EvolpVarTransformer.TransformationHelper
 
retainAll(Collection<?>) - Method in class lp.unit.EmptyProgram
Throws an UnsupportedOperationException.
rethrow() - Method in exception lp.util.ExceptionAdapter
Rethrows the original exception.
rule1 - Variable in class lp.parse.LpParserTest
A container for the rule constructed by LpParserTest.getRule1().
rule2 - Variable in class lp.parse.LpParserTest
A container for the rule constructed by LpParserTest.getRule2().
ruleGroups - Variable in class lp.unit.TransformedDlp
A mapping of types to logic programs.
ruleGroups - Variable in class lp.unit.TransformedEvolp
A mapping of groups and types to logic programs.
run() - Method in class lp.wrap.LparseWrapper.ErrorStreamProcessor
Runs the thread—here the stream set by LparseWrapper.ErrorStreamProcessor.setErrorStream(InputStream) is read and parsed.

S

saveConfig(File) - Method in class lp.ui.ConfigManager
 
saveConfig(String) - Method in class lp.ui.ConfigManager
 
sb - Variable in class lp.test.util.TabSeparatedReader
Used to build a string that is returned.
SEP - Static variable in class lp.ui.ConfigManager
 
SEP - Static variable in class lp.wrap.WrapperUtilsTest
A shortcut name for File.separatorChar.
SEP_RULE - Static variable in class lp.parse.DlpParser
The fact "newProgram." for separating programs in a dynamic logic programs.
SEP_RULE - Static variable in class lp.parse.EvolpParser
The fact "newEvents." for separating parts of the EVOLP input.
setBaseProgram(LogicProgram) - Method in class lp.unit.EvolpProgram
Sets program as the base program.
setDefaultNeeded() - Method in class lp.trans.DlpTransformer.AtomInfo
 
setErrorStream(InputStream) - Method in class lp.wrap.LparseWrapper.ErrorStreamProcessor
Sets the error stream to read from.
setInput(CharSequence) - Method in class lp.parse.LpLexer
Sets the character input of this LpLexer.
setInput(File) - Method in class lp.parse.LpLexer
Sets the contents of the given file as an input for this LpLexer.
setInput(Reader) - Method in class lp.parse.LpLexer
The given character reader will be used used as input for this LpLexer.
setInput(CharSequence) - Method in class lp.parse.LpParser
Sets the character input of this LpParser to the given CharSequence.
setInput(File) - Method in class lp.parse.LpParser
Sets the character input of this LpParser to the contents of the given file.
setInput(Reader) - Method in class lp.parse.LpParser
Sets the character input of this LpParser to the given Reader.
setInput(CharSequence) - Method in class lp.trans.DlpGrounder.DlpDetagger
Sets the character input of this LpParser to the given CharSequence.
setInput(CharSequence) - Method in class lp.trans.EvolpSolver.TransEvolpParser
Sets the character input of this LpParser to the given CharSequence.
setInput(File) - Method in class lp.trans.EvolpSolver.TransEvolpParser
Sets the character input of this LpParser to the contents of the given file.
setInput(Reader) - Method in class lp.trans.EvolpSolver.TransEvolpParser
Sets the character input of this LpParser to the given Reader.
setInput(Reader) - Method in class lp.ui.DlpProcessor
 
setInput(Reader) - Method in class lp.ui.DlpWebappHelper
 
setInput(Reader) - Method in class lp.ui.EvolpProcessor
 
setInput(Reader) - Method in class lp.ui.EvolpVarProcessor
 
setInput(Reader) - Method in class lp.ui.EvolpVarWebappHelper
 
setInput(Reader) - Method in class lp.ui.EvolpWebappHelper
 
setLparsePath(String) - Method in class lp.trans.EvolpVarTransformer
Sets the path to lparse binary that is used to invoke lparse.
setLparsePath(String) - Method in class lp.trans.Grounder
Sets the path to lparse binary that is used to invoke lparse.
setLparsePath(String) - Method in class lp.trans.Solver
Sets the path to lparse binary that is used to invoke lparse.
setLparsePath(String) - Method in class lp.wrap.LparseWrapper
Sets the path to lparse binary that is used to invoke lparse.
setMessages(String, String) - Method in class lp.ui.AbstractProcessor.StopWatch
 
setModelLength(int) - Method in class lp.trans.EvolpSolver
Sets the desired length of computed evolution stable models.
setModelLimit(int) - Method in class lp.trans.Solver
Sets the maximum number of stable models that should be computed by smodels.
setModelLimit(int) - Method in class lp.wrap.SmodelsWrapper
Sets the maximum number of stable models that should be computed by smodels.
setOptions(String) - Method in class lp.wrap.LparseWrapper
Sets the command line options that are passed to lparse by the LparseWrapper.exec() method.
setOut(W) - Method in class lp.struct.util.LpPrinter
Sets the underlying Writer into which this writes the output.
setSmodelsPath(String) - Method in class lp.trans.Solver
Sets the path to smodels binary that is used to invoke smodels.
setSmodelsPath(String) - Method in class lp.wrap.SmodelsWrapper
Sets the path to smodels binary that is used to invoke smodels.
setUp() - Method in class lp.struct.util.EvolpPrettyPrinterTest
Reinitializes all members (LpPrettyPrinterTest.r, LpPrettyPrinterTest.pp, LpPrettyPrinterTest.pp2, LpPrettyPrinterTest.expContents and LpPrettyPrinterTest.expContents2).
setUp() - Method in class lp.struct.util.LpPrettyPrinterTest
Reinitializes all members (LpPrettyPrinterTest.r, LpPrettyPrinterTest.pp, LpPrettyPrinterTest.pp2, LpPrettyPrinterTest.expContents and LpPrettyPrinterTest.expContents2).
showError(String, Exception) - Method in class lp.ui.DlpWebappHelper
 
showError(String, Exception) - Method in class lp.ui.EvolpVarWebappHelper
 
showError(String, Exception) - Method in class lp.ui.EvolpWebappHelper
 
showError(String, Exception) - Method in class lp.ui.JspPrinter
 
showMessage(String) - Method in class lp.ui.AbstractProcessor
 
showMessage(String) - Method in class lp.ui.DlpWebappHelper
 
showMessage(String) - Method in class lp.ui.EvolpVarWebappHelper
 
showMessage(String) - Method in class lp.ui.EvolpWebappHelper
 
showMessage(String) - Method in class lp.ui.JspPrinter
 
size() - Method in class lp.unit.EmptyProgram
Returns 0.
SM_COMPARATOR - Static variable in class lp.unit.StableModel
A comparator that compares atoms according to their standard string representations.
smodelsPath - Variable in class lp.wrap.SmodelsWrapper
The path to the smodels binary.
SmodelsWrapper - Class in lp.wrap
A class responsible for executing smodels with the given command line arguments.
SmodelsWrapper() - Constructor for class lp.wrap.SmodelsWrapper
Creates a new instance of SmodelsWrapper.
SmodelsWrapperTest - Class in lp.wrap
Contains tests of the SmodelsWrapper class.
SmodelsWrapperTest(String) - Constructor for class lp.wrap.SmodelsWrapperTest
A default test case constructor.
solve(LogicProgram, Consumer<M>) - Method in class lp.trans.Solver
Computes the stable models of the grounded logic program program and passes them to consumer.
solver - Variable in class lp.trans.DlpSolverTest
The instance of DlpSolver that is being tested.
solver - Variable in class lp.trans.LpSolverTest
The instance of LpSolver that is being tested.
Solver<M> - Class in lp.trans
An abstract class that contains common functionality of classes used to compute stable models of grounded logic programs (LpSolver, DlpSolver and EvolpSolver).
Solver(LparseWrapper, SmodelsWrapper) - Constructor for class lp.trans.Solver
Creates a new instance of that uses the given objects to invoke lparse and smodels when computing the stable models.
solver - Variable in class lp.ui.DlpProcessor
 
solver - Variable in class lp.ui.EvolpProcessor
 
solver - Variable in class lp.ui.EvolpVarProcessor
 
sortedPropertyNames() - Method in class lp.ui.ConfigManager
 
sourceRule - Variable in exception lp.trans.GrounderMessage
The rule that is the reason of this message.
space() - Method in class lp.struct.util.LpPrettyPrinter
Appends the LpPrettyPrinter.SPACE_STRING.
SPACE_STRING - Variable in class lp.struct.util.LpPrettyPrinter
String containing a space or nothing.
StableModel - Class in lp.unit
Represents a stable model, i.e. a set of atoms.
StableModel() - Constructor for class lp.unit.StableModel
Creates a new instance of StableModel.
start() - Method in class lp.ui.AbstractProcessor.StopWatch
 
stderr - Variable in class lp.test.util.FakeProcess
The standard error InputStream.
stdin - Variable in class lp.test.util.FakeProcess
The standard input OutputStream.
stdout - Variable in class lp.test.util.FakeProcess
The standard output InputStream.
stop() - Method in class lp.ui.AbstractProcessor.StopWatch
 
stopChar - Variable in class lp.test.util.PartReader
The character that, when found, is handled as end of input.
stream - Variable in class lp.wrap.LparseWrapper.ErrorStreamProcessor
The InputStream to read stream.
subSequence(int, int) - Method in class lp.struct.util.LpBuffer
Returns a subsequence of the character sequence represented by this object.
sw - Variable in class lp.trans.Solver
An SmodelsWrapper instance used to compute the stable models.
sw - Variable in class lp.ui.AbstractProcessor
 
sw - Variable in class lp.wrap.SmodelsWrapperTest
The SmodelsWrapper instance used in the tests.

T

TabSeparatedReader - Class in lp.test.util
Reads strings separated by tabs, newline characters or comments from a stream.
TabSeparatedReader(Reader) - Constructor for class lp.test.util.TabSeparatedReader
Creates a new instance that reads from the given stream.
TAG - Static variable in class lp.trans.DlpGrounder.DlpDetagger
An internally used literal that indicates that a tag has been parsed.
tagNumber - Variable in class lp.trans.DlpGrounder.DlpDetagger
The tag number of the last rule.
tagNumber - Variable in class lp.trans.DlpGrounder.DlpTagger
Contains the current tag number used for adding the tagging literals.
test() - Method in class lp.struct.util.LpPrinterTest
Tests methods implemented in LpPrinter, i.e. appending a character sequence, a character and a subsequence and resetting the sequence.
testAfterClose() - Method in class lp.parse.LpLexerTest
Tests the default values the lexer should return after LpLexer.close() is called.
testAlreadyGroundedInput() - Method in class lp.trans.DlpGrounderTest
Tests DlpGrounder on an already grounded input.
testAppendCompoundTerm() - Method in class lp.struct.util.LpPrettyPrinterTest
Tests passing LpCompoundTerm instances to the LpBuffer.asString(LpStructureUnit) and LpPrinter.append(LpStructureUnit) methods.
testAppendConstant() - Method in class lp.struct.util.LpPrettyPrinterTest
Tests passing LpConstant instances to the LpBuffer.asString(LpStructureUnit) and LpPrinter.append(LpStructureUnit) methods.
testAppendEvolpRule() - Method in class lp.struct.util.EvolpPrettyPrinterTest
Tests the EvolpPrettyPrinter on rules that contain other rules as an inner term.
testAppendFunction() - Method in class lp.struct.util.LpPrettyPrinterTest
Tests passing LpFunction instances to the LpBuffer.asString(LpStructureUnit) and LpPrinter.append(LpStructureUnit) methods.
testAppendLiteral() - Method in class lp.struct.util.LpPrettyPrinterTest
Tests passing LpLiteral instances to the LpBuffer.asString(LpStructureUnit) and LpPrinter.append(LpStructureUnit) methods.
testAppendNull() - Method in class lp.struct.util.LpPrettyPrinterTest
Tests passing null to the LpBuffer.asString(LpStructureUnit) and LpPrinter.append(LpStructureUnit) methods.
testAppendPredicate() - Method in class lp.struct.util.LpPrettyPrinterTest
Tests passing LpPredicate instances to the LpBuffer.asString(LpStructureUnit) and LpPrinter.append(LpStructureUnit) methods.
testAppendRule() - Method in class lp.struct.util.LpPrettyPrinterTest
Tests passing LpRule instances to the LpBuffer.asString(LpStructureUnit) and LpPrinter.append(LpStructureUnit) methods.
testAppendVariable() - Method in class lp.struct.util.LpPrettyPrinterTest
Tests passing LpVariable instances to the LpBuffer.asString(LpStructureUnit) and LpPrinter.append(LpStructureUnit) methods.
testAsString() - Method in class lp.struct.util.LpPrettyPrinterTest
Tests the LpBuffer.asString(LpStructureUnit) method.
testBothRules() - Method in class lp.parse.LpParserTest
Tests the parser on an input containing the rules returned by LpParserTest.getRule1() and LpParserTest.getRule2().
testComments() - Method in class lp.parse.LpLexerTest
Tests the lexer on an input containing some comments.
testConstraint() - Method in class lp.trans.DlpGrounderTest
Tests DlpGrounder on input with constraints.
testConstraint() - Method in class lp.trans.DlpTransformerTest
The simplest DLP without a model.
testConstraint2() - Method in class lp.trans.DlpTransformerTest
A more complicated input requiring a constraint in the output.
testConstructorExceptions() - Method in class lp.struct.LpAtomTest
Tests if the constructor throws the appropriate exceptions.
testConstructorExceptions() - Method in class lp.struct.LpCompoundTermTest
Tests if the constructor throws the appropriate exceptions.
testConstructorExceptions() - Method in class lp.struct.LpConstantTest
Tests if the constructor throws the appropriate exceptions.
testConstructorExceptions() - Method in class lp.struct.LpFunctionTest
Tests if the constructor throws the appropriate exceptions.
testConstructorExceptions() - Method in class lp.struct.LpLiteralTest
Tests if the constructor throws the appropriate exceptions.
testConstructorExceptions() - Method in class lp.struct.LpPredicateTest
Tests if the constructor throws the appropriate exceptions.
testConstructorExceptions() - Method in class lp.struct.LpRuleTest
Tests if the constructor throws the appropriate exceptions.
testConstructorExceptions() - Method in class lp.struct.LpVariableTest
Tests if the constructor throws the appropriate exceptions.
testDefaultValues() - Method in class lp.parse.LpLexerTest
Tests the default values the lexer should return before LpLexer.nextToken() is called for the first time.
testDumpToString() - Method in class lp.wrap.WrapperUtilsTest
Tests of the WrapperUtils.dumpToString(InputStream) method.
testEmptyInput() - Method in class lp.trans.LpSolverTest
Tests LpGrounder on an empty input program.
testEqual(LpToken, LpToken) - Method in class lp.parse.LpLexerTest
Tests whether actual is as expected.
testEqual(LpToken, LpTokenType, String, int, int) - Method in class lp.parse.LpLexerTest
Tests whether a type, lexem, position and lineNumber are as expected.
testEqual(LpAtom, LpAtom) - Method in class lp.struct.LpAtomTest
Asserts that the given atoms are equal and that their hash codes are equal.
testEqual(LpCompoundTerm, LpCompoundTerm) - Method in class lp.struct.LpCompoundTermTest
Asserts that the given terms are equal and that their hash codes are equal.
testEqual(LpConstant, LpConstant) - Method in class lp.struct.LpConstantTest
Asserts that the given constants are equal and that their hash codes are equal.
testEqual(LpLiteral, LpLiteral) - Method in class lp.struct.LpLiteralTest
Asserts that the given literals are equal and that their hash codes are equal.
testEqual(LpRule, LpRule) - Method in class lp.struct.LpRuleTest
Asserts that the given rules are equal and that their hash codes are equal.
testEqual(LpVariable, LpVariable) - Method in class lp.struct.LpVariableTest
Asserts that the given variables are equal and that their hash codes are equal.
testEquals(LpFunction, LpFunction) - Method in class lp.struct.LpFunctionTest
Asserts that the given function symbols are equal and that their hash codes are equal.
testEquals(LpPredicate, LpPredicate) - Method in class lp.struct.LpPredicateTest
Asserts that the given predicate symbols are equal and that their hash codes are equal.
testEqualsAndHashCode() - Method in class lp.struct.LpAtomTest
Tests the LpAtom.equals(Object) and LpAtom.hashCode() methods.
testEqualsAndHashCode() - Method in class lp.struct.LpCompoundTermTest
Tests the LpCompoundTerm.equals(Object) and LpCompoundTerm.hashCode() methods.
testEqualsAndHashCode() - Method in class lp.struct.LpConstantTest
Tests the LpConstant.equals(Object) and LpConstant.hashCode() methods.
testEqualsAndHashCode() - Method in class lp.struct.LpFunctionTest
Tests the LpFunction.equals(Object) and LpFunction.hashCode() methods.
testEqualsAndHashCode() - Method in class lp.struct.LpLiteralTest
Tests the LpLiteral.equals(Object) and LpLiteral.hashCode() methods.
testEqualsAndHashCode() - Method in class lp.struct.LpPredicateTest
Tests the LpPredicate.equals(Object) and LpPredicate.hashCode() methods.
testEqualsAndHashCode() - Method in class lp.struct.LpRuleTest
Tests the LpRule.equals(Object) and LpRule.hashCode() methods.
testEqualsAndHashCode() - Method in class lp.struct.LpVariableTest
Tests the LpVariable.equals(Object) and LpVariable.hashCode() methods.
testEqualsAndHashCode() - Method in class lp.unit.GeneralizedLogicProgramTest
Tests the AbstractSet.equals(Object) and AbstractSet.hashCode() methods.
testErrorFreeInput() - Method in class lp.trans.DlpGrounderTest
Tests DlpGrounder on an error free input.
testErrorFreeInput() - Method in class lp.trans.LpGrounderTest
Tests LpGrounder on an error free input.
testErrorFreeInput() - Method in class lp.wrap.LparseWrapperTest
Tests LparseWrapper on an error free input.
testEvolpRule() - Method in class lp.parse.EvolpParserTest
Tests the EVOLP parser on an input containing the rule returned by EvolpParserTest.getEvolpRule().
testEvolpRulesFromFile() - Method in class lp.parse.EvolpParserTest
Parses EVOLP rules from a file and checks that they are what they should be (through the LpAbstractStructureUnit.toString() method)
testException() - Method in class lp.parse.LpLookaheadLexerTest
Tests exceptions that should be thrown when a negative lookahead is requested.
testExceptions() - Method in class lp.parse.LpParserTest
Tests exceptions thrown by LpParser.
testExec() - Method in class lp.wrap.WrapperUtilsTest
Tests of the WrapperUtils.exec(String) method.
testGetArity() - Method in class lp.struct.LpFunctionTest
Test of LpFunction.getArity() method.
testGetArity() - Method in class lp.struct.LpPredicateTest
Test of LpPredicate.getArity() method.
testGetBodyCount() - Method in class lp.struct.LpRuleTest
Tests the LpRule.getBodySize() method.
testGetCommandName() - Method in class lp.wrap.WrapperUtilsTest
Tests of the WrapperUtils.getCommandName(String) method.
testGetShortCommandName() - Method in class lp.wrap.WrapperUtilsTest
Tests of the WrapperUtils.getShortCommandName(String) method.
testGetters() - Method in class lp.parse.LpTokenTest
Tests the getter methods.
testInputWithError() - Method in class lp.trans.DlpGrounderTest
Tests DlpGrounder on input with an error.
testInputWithError() - Method in class lp.trans.LpGrounderTest
Tests LpGrounder on an input with a single error and no warnings.
testInputWithError() - Method in class lp.wrap.LparseWrapperTest
Tests LparseWrapper on an input with a single error and no warnings.
testInvalidRule() - Method in class lp.parse.LpParserTest
Tests the parser on a ":- ." rule -- a constraint with no literal in its body.
testIsGround() - Method in class lp.unit.GeneralizedLogicProgramTest
Tests the GeneralizedLogicProgram.isGround() method.
testIsGroundCompoundTerm() - Method in class lp.struct.util.LpGroundDeciderTest
Tests passing LpCompoundTerm instances to the LpGroundDecider.isGround(LpStructureUnit) method.
testIsGroundConstant() - Method in class lp.struct.util.LpGroundDeciderTest
Tests passing a LpConstant instance to the LpGroundDecider.isGround(LpStructureUnit) method.
testIsGroundFunction() - Method in class lp.struct.util.LpGroundDeciderTest
Tests passing a LpFunction instance to the LpGroundDecider.isGround(LpStructureUnit) method.
testIsGroundLiteral() - Method in class lp.struct.util.LpGroundDeciderTest
Tests passing LpLiteral instances to the LpGroundDecider.isGround(LpStructureUnit) method.
testIsGroundNull() - Method in class lp.struct.util.LpGroundDeciderTest
Tests passing null to the LpGroundDecider.isGround(LpStructureUnit) method.
testIsGroundPredicate() - Method in class lp.struct.util.LpGroundDeciderTest
Tests passing a LpPredicate instance to the LpGroundDecider.isGround(LpStructureUnit) method.
testIsGroundRule() - Method in class lp.struct.util.LpGroundDeciderTest
Tests passing LpRule instances to the LpGroundDecider.isGround(LpStructureUnit) method.
testIsGroundVariable() - Method in class lp.struct.util.LpGroundDeciderTest
Tests passing a LpVariable instance to the LpGroundDecider.isGround(LpStructureUnit) method.
testKillerRule() - Method in class lp.trans.LpSolverTest
Tests LpGrounder on a program containing only the rule "a :- not a.".
testMultipleWarnings() - Method in class lp.trans.DlpGrounderTest
Tests DlpGrounder on input that should issue multiple warnings.
testMultipleWarnings() - Method in class lp.trans.LpGrounderTest
Tests LpGrounder on an input with a multiple warnings and no error.
testMultipleWarnings() - Method in class lp.wrap.LparseWrapperTest
Tests LparseWrapper on an input with a multiple warnings and no error.
testNoProgram() - Method in class lp.trans.DlpGrounderTest
Tests DlpGrounder on input that only contains no program.
testNormalRule() - Method in class lp.parse.LpParserTest
Tests the parser on an input containing the rule returned by LpParserTest.getRule2().
testNotEqual(LpAtom, LpAtom) - Method in class lp.struct.LpAtomTest
Asserts that the given atoms are not equal.
testNotEqual(LpCompoundTerm, LpCompoundTerm) - Method in class lp.struct.LpCompoundTermTest
Asserts that the given terms are not equal.
testNotEqual(LpConstant, LpConstant) - Method in class lp.struct.LpConstantTest
Asserts that the given constants are not equal.
testNotEqual(LpLiteral, LpLiteral) - Method in class lp.struct.LpLiteralTest
Asserts that the given literals are not equal.
testNotEqual(LpRule, LpRule) - Method in class lp.struct.LpRuleTest
Asserts that the given rules are not equal.
testNotEqual(LpVariable, LpVariable) - Method in class lp.struct.LpVariableTest
Asserts that the given variables are not equal.
testNotEquals(LpFunction, LpFunction) - Method in class lp.struct.LpFunctionTest
Asserts that the given function symbols are not equal.
testNotEquals(LpPredicate, LpPredicate) - Method in class lp.struct.LpPredicateTest
Asserts that the given predicate symbols are not equal.
testOneEmptyProgram() - Method in class lp.trans.DlpGrounderTest
Tests DlpGrounder on input that only contains one empty program.
testOneWarning() - Method in class lp.trans.DlpGrounderTest
Tests DlpGrounder on input that should issue one warning.
testOneWarning() - Method in class lp.trans.LpGrounderTest
Tests LpGrounder on an input with a single warning and no error.
testOneWarning() - Method in class lp.wrap.LparseWrapperTest
Tests LparseWrapper on an input with a single warning and no error.
testOrdinaryInput() - Method in class lp.trans.DlpSolverTest
 
testOrdinaryInput() - Method in class lp.trans.LpSolverTest
Tests LpGrounder on a typical program.
testParseDlp() - Method in class lp.parse.DlpParserTest
Tests the DlpParser.parseDlp() method.
testParseEvolp() - Method in class lp.parse.EvolpParserTest
Tests the EvolpParser.parseEvolp() method.
testPropositionalRule() - Method in class lp.parse.LpParserTest
Tests the parser on an input containing the rule returned by LpParserTest.getRule1().
testRejectionRules() - Method in class lp.trans.DlpTransformerTest
Tests the transformer on input that requires generation of introducing rejection rules.
testRejectionsAndDefaults() - Method in class lp.trans.DlpTransformerTest
Here the input is more complicated.
testRulesFromFile() - Method in class lp.parse.LpParserTest
Parses rules from a file and checks that they are what they should be (through the LpBuffer instance)
testSetInputExceptions() - Method in class lp.parse.LpLexerTest
Tests the lexer on null input (a IllegalArgumentException should be thrown).
testSetInputExceptions() - Method in class lp.parse.LpParserTest
Tests the parser on null input (a IllegalArgumentException should be thrown).
testSetLparsePath() - Method in class lp.wrap.LparseWrapperTest
Tests the LparseWrapper.setLparsePath(String) method.
testSetModelLimit() - Method in class lp.wrap.SmodelsWrapperTest
Tests the 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.
testSetOptions() - Method in class lp.wrap.LparseWrapperTest
Tests the 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.
testSetSmodelsPath() - Method in class lp.wrap.SmodelsWrapperTest
Tests the SmodelsWrapper.setSmodelsPath(String) method.
testSimple() - Method in class lp.trans.EvolpTransformerTest
Tests the transformer on a simple input.
testSimpleInput() - Method in class lp.wrap.LparseWrapperTest
Tests the LparseWrapper.exec() method—sets a simple input string and tests if the correct output is produced by lparse.
testSimpleInput() - Method in class lp.wrap.SmodelsWrapperTest
Tests the SmodelsWrapper.exec() method—sets a simple input string and tests if the correct output is produced by smodels.
testSuitcase() - Method in class lp.trans.EvolpTransformerTest
Tests the transformer on a more complex input (the suitcase example).
testTokens() - Method in class lp.parse.LpLexerTest
Tests the lexer on a more complicated input.
testTokensSimple() - Method in class lp.parse.LpLexerTest
Tests the lexer on an input containing all types of tokens.
testToString() - Method in class lp.struct.LpAtomTest
Tests LpAbstractStructureUnit.toString() method.
testToString() - Method in class lp.struct.LpCompoundTermTest
Tests the LpAbstractStructureUnit.toString() method.
testToString() - Method in class lp.struct.LpConstantTest
Tests the LpAbstractStructureUnit.toString() method.
testToString() - Method in class lp.struct.LpFunctionTest
Tests the LpFunction.toString() method.
testToString() - Method in class lp.struct.LpLiteralTest
Tests LpAbstractStructureUnit.toString() method.
testToString() - Method in class lp.struct.LpPredicateTest
Tests LpPredicate.toString() method.
testToString() - Method in class lp.struct.LpRuleTest
Tests the LpAbstractStructureUnit.toString() method.
testToString(String, LpStructureUnit) - Method in class lp.struct.LpStructureUnitTestUtils
Tests the LpAbstractStructureUnit.toString() method for unit.
testToString() - Method in class lp.struct.LpVariableTest
Tests the LpAbstractStructureUnit.toString() method.
testToUnmodifiableList() - Method in class lp.struct.LpAbstractStructureUnitTest
Tests the LpAbstractStructureUnit.toUnmodifiableList(List) method.
testToUnmodifiableSet() - Method in class lp.struct.LpAbstractStructureUnitTest
Tests the LpAbstractStructureUnit.toUnmodifiableSet(Set) method.
testTransfer1() - Method in class lp.wrap.WrapperUtilsTest
Tests of the WrapperUtils.transfer(InputStream, OutputStream) method.
testTransfer2() - Method in class lp.wrap.WrapperUtilsTest
Tests of the WrapperUtils.transfer(String, OutputStream) method.
testTransfer3() - Method in class lp.wrap.WrapperUtilsTest
Tests of the WrapperUtils.transfer(InputStream, StringBuilder) method.
testTransformedRules() - Method in class lp.trans.DlpTransformerTest
Tests the transformer on simple input.
testTransformedRules2() - Method in class lp.trans.DlpTransformerTest
Tests the transformer on simple input.
testWarningAsError() - Method in class lp.wrap.LparseWrapperTest
Tests LparseWrapper on an input with a single error but without an error message.
testWarningAsError2() - Method in class lp.wrap.LparseWrapperTest
Tests LparseWrapper on an input with a single error with an error message that begins with "Error:".
testWeirdError() - Method in class lp.trans.DlpGrounderTest
Tests DlpGrounder on input that should issue a weird error.
testWhiteSpace() - Method in class lp.parse.LpLexerTest
Tests the lexer on an input with lots of whitespace.
time - Variable in class lp.ui.AbstractProcessor.StopWatch
 
TO_STRING_BUFFER - Static variable in class lp.struct.LpAbstractStructureUnit
A single LpBuffer instance for the toString() method.
toArray() - Method in class lp.unit.EmptyProgram
Returns an empty array.
toArray(T[]) - Method in class lp.unit.EmptyProgram
Returns an empty array.
top - Variable in class lp.trans.EvolpSolver.Decoder
Position in the buffer.
top - Variable in class lp.trans.IntArrayWrapper
Index of the getTop element.
topLevel - Variable in class lp.trans.EvolpSolver.TransEvolpParser
Used internally to remember whether we are parsing a top-level atom or some atom that is part of an inner rule.
toString() - Method in class lp.struct.LpAbstractStructureUnit
toString() - Method in class lp.struct.LpFunction
Overrides the behaviour of LpAbstractStructureUnit.toString().
toString() - Method in class lp.struct.LpPredicate
Overrides the behaviour of LpAbstractStructureUnit.toString().
toString() - Method in class lp.struct.util.LpBuffer
Returns the contents of this character sequence as a string.
toString() - Method in class lp.ui.ConfigManager
 
toString() - Method in class lp.unit.EmptyProgram
Returns the string "[]".
toString() - Method in enum lp.unit.TransDlpRuleType
Returns a short description of the rule type.
toString() - Method in enum lp.unit.TransEvolpRuleType
Returns a short description of the rule type.
toUnmodifiableList(List<T>) - Static method in class lp.struct.LpAbstractStructureUnit
Converts the given list to an unmodifiable list using the Collections.unmodifiableList(List) method.
toUnmodifiableSet(Set<T>) - Static method in class lp.struct.LpAbstractStructureUnit
Converts the given set to an unmodifiable set using the Collections.unmodifiableSet(Set) method.
trackPosition - Variable in class lp.struct.util.EvolpPrettyPrinter
Is set to true when a rule or a compound term is being appended.
TransDlpRuleType - Enum in lp.unit
Enumeration of types of rules in a normal logic program equivalent to a dynamic logic program.
TransDlpRuleType(String) - Constructor for enum lp.unit.TransDlpRuleType
A private enum constructore that sets the label for the rule type.
TransEvolpRuleType - Enum in lp.unit
Enumeration of types of rules in a normal logic program equivalent to an evolving logic program.
TransEvolpRuleType(String) - Constructor for enum lp.unit.TransEvolpRuleType
A private enum constructore that sets the label for the rule type.
transfer(InputStream, OutputStream) - Method in class lp.wrap.WrapperUtils
Transfers the contents of from to to.
transfer(String, OutputStream) - Method in class lp.wrap.WrapperUtils
Transfers the contents of from to to using the default character encoding.
transfer(InputStream, StringBuilder) - Method in class lp.wrap.WrapperUtils
Transfers the contents of from to to using the default character encoding.
transform(DynamicLogicProgram) - Method in class lp.trans.DlpTransformer
Constructs the transformational equivalent of dlp.
transform(EvolpProgram) - Method in class lp.trans.EvolpTransformer
Constructs the transformational equivalent of evolp.
transform(LpRule, int, boolean, int) - Method in class lp.trans.EvolpTransformer.TransformationHelper
 
transform(LpLiteral, int, boolean) - Method in class lp.trans.EvolpTransformer.TransformationHelper
 
transform(List<LpTerm>) - Method in class lp.trans.EvolpTransformer.TransformationHelper
 
transform(LpTerm) - Method in class lp.trans.EvolpTransformer.TransformationHelper
 
transform(EvolpProgram) - Method in class lp.trans.EvolpVarTransformer
Constructs a dynamic logic program that is equivalent to the evolving logic program evolp.
transform(LpRule, int, int) - Method in class lp.trans.EvolpVarTransformer.TransformationHelper
 
transform(LpLiteral, int) - Method in class lp.trans.EvolpVarTransformer.TransformationHelper
 
transform(List<LpTerm>) - Method in class lp.trans.EvolpVarTransformer.TransformationHelper
 
transform(LpTerm) - Method in class lp.trans.EvolpVarTransformer.TransformationHelper
 
transformedDlp - Variable in class lp.ui.DlpProcessor
 
TransformedDlp - Class in lp.unit
Represents the normal logic program that was constructed from a dynamic logic program.
TransformedDlp() - Constructor for class lp.unit.TransformedDlp
Creates a new instance of TransformedDlp.
transformedEvolp - Variable in class lp.ui.EvolpProcessor
 
TransformedEvolp - Class in lp.unit
Represents the normal logic program that was constructed from an evolving logic program.
TransformedEvolp() - Constructor for class lp.unit.TransformedEvolp
Creates a new instance of TransformedEvolp.
transformer - Variable in class lp.trans.DlpSolverTest
The transformer used in the tests.
transformer - Variable in class lp.trans.DlpTransformerTest
A DlpTransformer instance used in the tests.
transformer - Variable in class lp.trans.EvolpTransformerTest
A EvolpTransformer instance used in the tests.
transformer - Variable in class lp.ui.DlpProcessor
 
transformer - Variable in class lp.ui.EvolpProcessor
 
transformer - Variable in class lp.ui.EvolpVarProcessor
 
transformer2 - Variable in class lp.ui.EvolpVarProcessor
 
transformPlain(LpLiteral, int) - Method in class lp.trans.EvolpTransformer.TransformationHelper
 
transPrinter - Variable in class lp.ui.DlpWebappHelper
 
transPrinter - Variable in class lp.ui.EvolpVarWebappHelper
 
transPrinter - Variable in class lp.ui.EvolpWebappHelper
 
type - Variable in class lp.parse.LpLexer
Type of the last token read.
type - Variable in class lp.parse.LpToken
Type of the token.

U

USER_CONFIG - Static variable in class lp.ui.ConfigManager
 

V

value - Variable in class lp.struct.util.EvolpPrettyPrinter.MutableInteger
The integer value.
valueOf(String) - Static method in enum lp.parse.LpTokenType
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum lp.unit.TransDlpRuleType
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum lp.unit.TransEvolpRuleType
Returns the enum constant of this type with the specified name.
values() - Static method in enum lp.parse.LpTokenType
Returns an array containing the constants of this enum type, in the order they're declared.
values() - Static method in enum lp.unit.TransDlpRuleType
Returns an array containing the constants of this enum type, in the order they're declared.
values() - Static method in enum lp.unit.TransEvolpRuleType
Returns an array containing the constants of this enum type, in the order they're declared.
visit(LpConstant) - Method in interface lp.struct.LpStructureUnitVisitor
A method for visiting a LpConstant.
visit(LpVariable) - Method in interface lp.struct.LpStructureUnitVisitor
A method for visiting a LpVariable.
visit(LpFunction) - Method in interface lp.struct.LpStructureUnitVisitor
A method for visiting a LpFunction.
visit(LpCompoundTerm) - Method in interface lp.struct.LpStructureUnitVisitor
A method for visiting a LpCompoundTerm.
visit(LpPredicate) - Method in interface lp.struct.LpStructureUnitVisitor
A method for visiting a LpPredicate.
visit(LpAtom) - Method in interface lp.struct.LpStructureUnitVisitor
A method for visiting atom LpAtom.
visit(LpLiteral) - Method in interface lp.struct.LpStructureUnitVisitor
A method for visiting a LpLiteral.
visit(LpRule) - Method in interface lp.struct.LpStructureUnitVisitor
A method for visiting a LpRule.
visit(LpConstant) - Method in class lp.struct.util.EvolpPrettyPrinter
Appends a natural textual form of a LpConstant instance to the underlying Writer.
visit(LpVariable) - Method in class lp.struct.util.EvolpPrettyPrinter
Appends a natural textual form of a LpVariable instance to the underlying Writer.
visit(LpFunction) - Method in class lp.struct.util.EvolpPrettyPrinter
Appends a natural textual form of a LpFunction instance to the underlying Writer.
visit(LpCompoundTerm) - Method in class lp.struct.util.EvolpPrettyPrinter
Appends a natural textual form of a LpCompoundTerm instance to the underlying Writer.
visit(LpPredicate) - Method in class lp.struct.util.EvolpPrettyPrinter
Appends a natural textual form of a LpPredicate instance to the underlying Writer.
visit(LpRule) - Method in class lp.struct.util.EvolpPrettyPrinter
Appends a natural textual form of a LpRule instance to this LpPrinter.
visit(LpConstant) - Method in class lp.struct.util.LpEncoder
Appends an encoded form of a LpConstant instance to this LpEncoder.
visit(LpVariable) - Method in class lp.struct.util.LpEncoder
Appends an encoded form of a LpVariable instance to this LpEncoder.
visit(LpFunction) - Method in class lp.struct.util.LpEncoder
Appends an encoded form of a LpFunction instance to this LpEncoder.
visit(LpCompoundTerm) - Method in class lp.struct.util.LpEncoder
Appends a natural textual form of a LpCompoundTerm instance to the underlying Writer.
visit(LpPredicate) - Method in class lp.struct.util.LpEncoder
Appends an encoded form of a LpPredicate instance to this LpEncoder.
visit(LpAtom) - Method in class lp.struct.util.LpEncoder
Appends a natural textual form of a LpAtom instance to the underlying Writer.
visit(LpLiteral) - Method in class lp.struct.util.LpEncoder
Appends an encoded form of a LpLiteral instance to the underlying Writer.
visit(LpRule) - Method in class lp.struct.util.LpEncoder
Appends an encoded form of a LpRule instance to the underlying Writer.
visit(LpConstant) - Method in class lp.struct.util.LpGroundDecider
Used internally, shouldn't be called directly.
visit(LpVariable) - Method in class lp.struct.util.LpGroundDecider
Used internally, shouldn't be called directly.
visit(LpFunction) - Method in class lp.struct.util.LpGroundDecider
Used internally, shouldn't be called directly.
visit(LpCompoundTerm) - Method in class lp.struct.util.LpGroundDecider
Used internally, shouldn't be called directly.
visit(LpPredicate) - Method in class lp.struct.util.LpGroundDecider
Used internally, shouldn't be called directly.
visit(LpAtom) - Method in class lp.struct.util.LpGroundDecider
Used internally, shouldn't be called directly.
visit(LpLiteral) - Method in class lp.struct.util.LpGroundDecider
Used internally, shouldn't be called directly.
visit(LpRule) - Method in class lp.struct.util.LpGroundDecider
Used internally, shouldn't be called directly.
visit(LpConstant) - Method in class lp.struct.util.LpHtmlPrinter
Appends an HTML form of a LpConstant instance to this LpHtmlPrinter.
visit(LpVariable) - Method in class lp.struct.util.LpHtmlPrinter
Appends an HTML form of a LpVariable instance to this LpHtmlPrinter.
visit(LpFunction) - Method in class lp.struct.util.LpHtmlPrinter
Appends an HTML form of a LpFunction instance to this LpHtmlPrinter.
visit(LpPredicate) - Method in class lp.struct.util.LpHtmlPrinter
Appends an HTML form of a LpPredicate instance to this LpHtmlPrinter.
visit(LpConstant) - Method in class lp.struct.util.LpPrettyPrinter
Appends a natural textual form of a LpConstant instance to the underlying Writer.
visit(LpVariable) - Method in class lp.struct.util.LpPrettyPrinter
Appends a natural textual form of a LpVariable instance to the underlying Writer.
visit(LpFunction) - Method in class lp.struct.util.LpPrettyPrinter
Appends a natural textual form of a LpFunction instance to the underlying Writer.
visit(LpCompoundTerm) - Method in class lp.struct.util.LpPrettyPrinter
Appends a natural textual form of a LpCompoundTerm instance to the underlying Writer.
visit(LpPredicate) - Method in class lp.struct.util.LpPrettyPrinter
Appends a natural textual form of a LpPredicate instance to the underlying Writer.
visit(LpAtom) - Method in class lp.struct.util.LpPrettyPrinter
Appends a natural textual form of a LpAtom instance to the underlying Writer.
visit(LpLiteral) - Method in class lp.struct.util.LpPrettyPrinter
Appends a natural textual form of a LpLiteral instance to the underlying Writer.
visit(LpRule) - Method in class lp.struct.util.LpPrettyPrinter
Appends a natural textual form of a LpRule instance to the underlying Writer.
visit(LpRule) - Method in class lp.trans.DlpGrounder.DlpTagger
Appends a textual form of a LpRule instance to this character sequence.
visit(LpLiteral) - Method in class lp.trans.DlpGrounder.DlpTagger
Appends a textual form of a LpLiteral instance to this character sequence.
visit(LpPredicate) - Method in class lp.ui.DlpWebappHelper.TransDlpHtmlPrinter
 
visit(LpPredicate) - Method in class lp.ui.EvolpVarWebappHelper.TransEvolpHtmlPrinter
 
visit(LpPredicate) - Method in class lp.ui.EvolpWebappHelper.TransEvolpHtmlPrinter
 
visitArgumentList(List<LpTerm>) - Method in class lp.struct.util.LpEncoder
This method is used in LpEncoder.visit(LpCompoundTerm) and LpEncoder.visit(LpLiteral).
visitArgumentList(List<LpTerm>) - Method in class lp.struct.util.LpPrettyPrinter
This method is used in LpPrettyPrinter.visit(LpCompoundTerm) and LpPrettyPrinter.visit(LpLiteral).
visitingHead - Variable in class lp.trans.DlpGrounder.DlpTagger
Indicates whether a rule's head or a body literal is being processed.

W

waitFor() - Method in class lp.test.util.FakeProcess
Returns the exit value of this fake process.
waitFor() - Method in class lp.wrap.LparseWrapper
Waits for the currently executed lparse process to finish computation and returns its exit value (see Process.waitFor().
waitFor() - Method in class lp.wrap.SmodelsWrapper
Waits for the currently executed smodels process to finish computation and returns its exit value (see Process.waitFor()).
warning - Variable in exception lp.trans.GrounderMessage
Is true if this is a warning message and false if it is an error message.
warning - Variable in exception lp.wrap.LparseMessage
Is true if this is a warning message and false if it is an error message.
warnings - Variable in class lp.trans.Grounder
A list of warnings that lparse issued on the input program.
warnings - Variable in class lp.wrap.LparseWrapper
A list of warnings that lparse issued on the previous input.
WrapperException - Exception in lp.wrap
An exception thrown by 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(String) - Constructor for exception lp.wrap.WrapperException
Constructs a WrapperException with the specified detail message.
WrapperException(String, Throwable) - Constructor for exception lp.wrap.WrapperException
Constructs a WrapperException with the specified detail message and cause.
WrapperException(Throwable) - Constructor for exception lp.wrap.WrapperException
Constructs a WrapperException with the specified cause and a detail message of {@code (cause==null ?
WrapperUtils - Class in lp.wrap
This class provides some static methods that can be useful when handling external commands that receive data on their standard input.
WrapperUtils() - Constructor for class lp.wrap.WrapperUtils
A private constructor to ensure this is really a singleton.
WrapperUtilsTest - Class in lp.wrap
Contains tests of the WrapperUtils class.
WrapperUtilsTest(String) - Constructor for class lp.wrap.WrapperUtilsTest
A default test case constructor.
write(LpStructureUnit) - Method in class lp.struct.util.EvolpPrettyPrinter
Writes a textual representation of unit to this LpPrinter.
write(LpStructureUnit) - Method in class lp.struct.util.LpPrinter
Writes a textual representation of unit to this LpPrinter.
write(int) - Method in class lp.struct.util.LpPrinter
Writes a single character to the underlying Writer.
write(char[]) - Method in class lp.struct.util.LpPrinter
Writes a character array to the underlying Writer.
write(char[], int, int) - Method in class lp.struct.util.LpPrinter
Writes a portion of a character array to the underlying Writer instance.
write(String) - Method in class lp.struct.util.LpPrinter
Writes a string to the underlying Writer.
write(String, int, int) - Method in class lp.struct.util.LpPrinter
Writes a string to the underlying Writer.
writeDlp() - Method in class lp.ui.DlpWebappHelper
 
writeEquivDlp() - Method in class lp.ui.EvolpVarWebappHelper
 
writeEquivLp() - Method in class lp.ui.EvolpVarWebappHelper
 
writeEvolp() - Method in class lp.ui.EvolpVarWebappHelper
 
writeEvolp() - Method in class lp.ui.EvolpWebappHelper
 
writeGroundedDlp() - Method in class lp.ui.DlpWebappHelper
 
writeModels() - Method in class lp.ui.DlpWebappHelper
 
writeModels() - Method in class lp.ui.EvolpVarWebappHelper
 
writeModels() - Method in class lp.ui.EvolpWebappHelper
 
writeTransformedDlp() - Method in class lp.ui.DlpWebappHelper
 
writeTransformedEvolp() - Method in class lp.ui.EvolpWebappHelper
 
WU - Static variable in class lp.wrap.LparseWrapper
The singleton WrapperUtils instance used in the implementation.
WU - Static variable in class lp.wrap.SmodelsWrapper
The singleton WrapperUtils instance used in the implementation.
WU - Static variable in class lp.wrap.WrapperUtilsTest
The singleton instance of WrapperUtils

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