Overview | Package | Class | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES

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 `LpStructureUnit`s.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 `LpStructureUnit`s.
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 `LpStructureUnit`s.
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 `LpStructureUnit`s.
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 `LpStructureUnit`s.
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 `LpStructureUnit`s.
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 `LpStructureUnit`s.
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 `LpStructureUnit`s 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 `LpStructureUnit`s 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

Overview | Package | Class | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES