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

A

add(int, ASPLiteral) - Method in class net.sf.tweety.lp.asp.syntax.ASPHead

add(ASPLiteral) - Method in class net.sf.tweety.lp.asp.syntax.ASPHead

add(ASPLiteral...) - Method in class net.sf.tweety.lp.asp.syntax.ASPHead

Adds the specified elements to the end of this collection (optional operation).

add(Program) - Method in class net.sf.tweety.lp.asp.syntax.Program

Adds another program's content to the content of this program.

addAll(int, Collection<? extends ASPLiteral>) - Method in class net.sf.tweety.lp.asp.syntax.ASPHead

addAll(Collection<? extends ASPLiteral>) - Method in class net.sf.tweety.lp.asp.syntax.ASPHead

addArgument(Term<?>) - Method in class net.sf.tweety.lp.asp.syntax.ASPAtom

addArgument(Term<?>) - Method in class net.sf.tweety.lp.asp.syntax.StrictNegation

addEscapes(String) - Static method in error net.sf.tweety.lp.asp.parser.TokenMgrError

addFact(ASPHead) - Method in class net.sf.tweety.lp.asp.syntax.Program

addFact(ASPLiteral) - Method in class net.sf.tweety.lp.asp.syntax.Program

addFacts(ASPHead...) - Method in class net.sf.tweety.lp.asp.syntax.Program

addPremise(ASPBodyElement) - Method in class net.sf.tweety.lp.asp.syntax.ASPRule

addPremises(Collection<? extends ASPBodyElement>) - Method in class net.sf.tweety.lp.asp.syntax.ASPRule

addToHead(ASPLiteral) - Method in class net.sf.tweety.lp.asp.syntax.ASPRule

adjustBeginLineColumn(int, int) - Method in class net.sf.tweety.lp.asp.parser.SimpleCharStream

Aggregate() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser

AGGREGATE_COUNT - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants

RegularExpression Id.

AGGREGATE_COUNT - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants

RegularExpression Id.

AGGREGATE_MAX - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants

RegularExpression Id.

AGGREGATE_MAX - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants

RegularExpression Id.

AGGREGATE_MIN - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants

RegularExpression Id.

AGGREGATE_MIN - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants

RegularExpression Id.

AGGREGATE_SUM - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants

RegularExpression Id.

AGGREGATE_SUM - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants

RegularExpression Id.

AggregateAtom - Class in net.sf.tweety.lp.asp.syntax

This class represents an aggregate.

AggregateAtom() - Constructor for class net.sf.tweety.lp.asp.syntax.AggregateAtom

Empty default constructor.

AggregateAtom(AggregateAtom) - Constructor for class net.sf.tweety.lp.asp.syntax.AggregateAtom

Copy-Constructor

AggregateAtom(ASPOperator.AggregateFunction, List<AggregateElement>) - Constructor for class net.sf.tweety.lp.asp.syntax.AggregateAtom

Creates a new Aggregate with the given aggregate function and the given aggregate elements.

AggregateAtom(ASPOperator.AggregateFunction, List<AggregateElement>, ASPOperator.BinaryOperator, Term<?>) - Constructor for class net.sf.tweety.lp.asp.syntax.AggregateAtom

Creates a new Aggregate with the given aggregate function, the given aggregate elements, and the given aggregate relation.

AggregateAtom(ASPOperator.AggregateFunction, List<AggregateElement>, ASPOperator.BinaryOperator, Term<?>, ASPOperator.BinaryOperator, Term<?>) - Constructor for class net.sf.tweety.lp.asp.syntax.AggregateAtom

Creates a new Aggregate with the given aggregate function, the given aggregate elements, and the given left and right aggregate relations.

AggregateElement - Class in net.sf.tweety.lp.asp.syntax

This class models an aggregate element, meaning a set of terms and a set of naf literals (= literals or default negated literals).

AggregateElement(List<Term<?>>, List<ASPBodyElement>) - Constructor for class net.sf.tweety.lp.asp.syntax.AggregateElement

Creates a new Aggregate Element with the given list of terms and the given list of naf literals.

AggregateElement(AggregateElement) - Constructor for class net.sf.tweety.lp.asp.syntax.AggregateElement

Copy-Constructor

AggregateElement() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser

AggregateElements() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser

AggregateFunction() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser

ANONYMOUS_VARIABLE - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants

RegularExpression Id.

ANONYMOUS_VARIABLE - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants

RegularExpression Id.

AnswerSet - Class in net.sf.tweety.lp.asp.semantics

An answer set is a belief set which only contains literals and represents the deductive belief set of an extended logic program under the answer set semantic.

AnswerSet() - Constructor for class net.sf.tweety.lp.asp.semantics.AnswerSet

Creates a new empty AnswerSet.

AnswerSet(Collection<ASPLiteral>, int, int) - Constructor for class net.sf.tweety.lp.asp.semantics.AnswerSet

Creates a new empty AnswerSet with the given level and weight.

AnswerSet(AnswerSet) - Constructor for class net.sf.tweety.lp.asp.semantics.AnswerSet

Copy-Constructor

AnswerSet() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser

arguments - Variable in class net.sf.tweety.lp.asp.syntax.ASPAtom

A list of arguments of the atom

AriTerm() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser

ArithmeticTerm - Class in net.sf.tweety.lp.asp.syntax

This class represents an arithmetic term in the ASP-Core-2 format.

ArithmeticTerm(Triple<ASPOperator.ArithmeticOperator, Term<?>, Term<?>>) - Constructor for class net.sf.tweety.lp.asp.syntax.ArithmeticTerm

ArithmeticTerm(ArithmeticTerm) - Constructor for class net.sf.tweety.lp.asp.syntax.ArithmeticTerm

ArithmeticTerm(ASPOperator.ArithmeticOperator, Term<?>) - Constructor for class net.sf.tweety.lp.asp.syntax.ArithmeticTerm

Creates an arithmetic term of the form -(t)

ArithmeticTerm(ASPOperator.ArithmeticOperator, Term<?>, Term<?>) - Constructor for class net.sf.tweety.lp.asp.syntax.ArithmeticTerm

Arithop() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser

ASPAtom - Class in net.sf.tweety.lp.asp.syntax

This class models an atom, which is a basic structure for building literals and rules for logic programs.

ASPAtom() - Constructor for class net.sf.tweety.lp.asp.syntax.ASPAtom

Empty constructor.

ASPAtom(String) - Constructor for class net.sf.tweety.lp.asp.syntax.ASPAtom

Creates a new atom with the given predicate name and no terms.

ASPAtom(String, Term<?>...) - Constructor for class net.sf.tweety.lp.asp.syntax.ASPAtom

Creates an atom with the given predicate as name and the given terms as argument

ASPAtom(Predicate) - Constructor for class net.sf.tweety.lp.asp.syntax.ASPAtom

Creates a new ASPAtom with the given predicate.

ASPAtom(Predicate, List<Term<?>>) - Constructor for class net.sf.tweety.lp.asp.syntax.ASPAtom

Creates a new atom with the given predicate and terms.

ASPAtom(FolAtom) - Constructor for class net.sf.tweety.lp.asp.syntax.ASPAtom

Copy-Constructor: Generates a deep copy of the given FOL atom.

ASPAtom(ASPAtom) - Constructor for class net.sf.tweety.lp.asp.syntax.ASPAtom

Copy-Constructor: Generates a deep copy of the given ASP atom.

ASPBodyElement - Class in net.sf.tweety.lp.asp.syntax

This class is a common base class for ASP formulas that can be part of an ASP rule body (premise of a rule): Literals (i.e.

ASPBodyElement() - Constructor for class net.sf.tweety.lp.asp.syntax.ASPBodyElement

ASPCore2Constants - Interface in net.sf.tweety.lp.asp.parser

Token literal values and constants.

ASPCore2Parser - Class in net.sf.tweety.lp.asp.parser

Parser for ASP programs in the ASP-Core-2 syntax https://www.mat.unical.it/aspcomp2013/files/ASP-CORE-2.03c.pdf.

ASPCore2Parser(InputStream) - Constructor for class net.sf.tweety.lp.asp.parser.ASPCore2Parser

ASPCore2Parser(InputStream, String) - Constructor for class net.sf.tweety.lp.asp.parser.ASPCore2Parser

ASPCore2Parser(Reader) - Constructor for class net.sf.tweety.lp.asp.parser.ASPCore2Parser

ASPCore2Parser(ASPCore2ParserTokenManager) - Constructor for class net.sf.tweety.lp.asp.parser.ASPCore2Parser

ASPCore2ParserConstants - Interface in net.sf.tweety.lp.asp.parser

Token literal values and constants.

ASPCore2ParserExample - Class in net.sf.tweety.lp.asp.examples

Examples for parsing simple ELP programs and for using Clingo to solve them.

ASPCore2ParserExample() - Constructor for class net.sf.tweety.lp.asp.examples.ASPCore2ParserExample

ASPCore2ParserTokenManager - Class in net.sf.tweety.lp.asp.parser

Token Manager.

ASPCore2ParserTokenManager(SimpleCharStream) - Constructor for class net.sf.tweety.lp.asp.parser.ASPCore2ParserTokenManager

ASPCore2ParserTokenManager(SimpleCharStream, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASPCore2ParserTokenManager

ASPCore2ParserTreeConstants - Interface in net.sf.tweety.lp.asp.parser

ASPCore2ParserVisitor - Interface in net.sf.tweety.lp.asp.parser

ASPElement - Class in net.sf.tweety.lp.asp.syntax

This class acts as an abstract base class for elements of ASP rules.

ASPElement() - Constructor for class net.sf.tweety.lp.asp.syntax.ASPElement

ASPHead - Class in net.sf.tweety.lp.asp.syntax

This formula represents the head of an disjunctive rule which is a disjunction of literals.

ASPHead() - Constructor for class net.sf.tweety.lp.asp.syntax.ASPHead

Empty Constructor.

ASPHead(List<ASPLiteral>) - Constructor for class net.sf.tweety.lp.asp.syntax.ASPHead

Creates a new head with the given elements.

ASPHead(ASPHead) - Constructor for class net.sf.tweety.lp.asp.syntax.ASPHead

Copy-Constructor

ASPHead(ASPLiteral) - Constructor for class net.sf.tweety.lp.asp.syntax.ASPHead

Creates a new head with a single element.

ASPLiteral - Class in net.sf.tweety.lp.asp.syntax

This interface defines common functionality for literals, meaning atoms or strictly negated atoms.

ASPLiteral() - Constructor for class net.sf.tweety.lp.asp.syntax.ASPLiteral

ASPOperator - Class in net.sf.tweety.lp.asp.syntax

This class collects some common operators used in ASP terms as well as the possible function names for aggregates.

ASPOperator() - Constructor for class net.sf.tweety.lp.asp.syntax.ASPOperator

ASPOperator.AggregateFunction - Enum in net.sf.tweety.lp.asp.syntax

The following aggregate functions are supported by the ASP-Core-2 standard and by Tweety.

ASPOperator.ArithmeticOperator - Enum in net.sf.tweety.lp.asp.syntax

The arithmetic operators that are supported by the ASP-Core-2 standard and by Tweety.

ASPOperator.BinaryOperator - Enum in net.sf.tweety.lp.asp.syntax

The binary comparative operators that are supported by the ASP-Core-2 standard and by Tweety.

ASPRule - Class in net.sf.tweety.lp.asp.syntax

This class models a rule in ASP.

ASPRule() - Constructor for class net.sf.tweety.lp.asp.syntax.ASPRule

Empty constructor

ASPRule(List<ASPBodyElement>) - Constructor for class net.sf.tweety.lp.asp.syntax.ASPRule

Creates a constraint with the given body.

ASPRule(List<ASPBodyElement>, Term<?>, List<Term<?>>) - Constructor for class net.sf.tweety.lp.asp.syntax.ASPRule

Creates a constraint with the given weight and terms.

ASPRule(List<ASPBodyElement>, Term<?>, Term<?>, List<Term<?>>) - Constructor for class net.sf.tweety.lp.asp.syntax.ASPRule

Creates a constraint with the given weight, level and terms.

ASPRule(ASPHead) - Constructor for class net.sf.tweety.lp.asp.syntax.ASPRule

Creates a fact with the given ASPHead.

ASPRule(ASPHead, List<ASPBodyElement>) - Constructor for class net.sf.tweety.lp.asp.syntax.ASPRule

Creates a rule with the given head and body.

ASPRule(ASPLiteral) - Constructor for class net.sf.tweety.lp.asp.syntax.ASPRule

Creates a fact with the given literal.

ASPRule(ASPLiteral, List<ASPBodyElement>) - Constructor for class net.sf.tweety.lp.asp.syntax.ASPRule

Creates a rule with the given head and body.

ASPRule(ASPLiteral, ASPBodyElement) - Constructor for class net.sf.tweety.lp.asp.syntax.ASPRule

Creates a rule with the given head and a single-element body.

ASPRule(ASPRule) - Constructor for class net.sf.tweety.lp.asp.syntax.ASPRule

Copy-Constructor

ASPSolver - Class in net.sf.tweety.lp.asp.reasoner

This class provides a common interface for asp solvers.

ASPSolver() - Constructor for class net.sf.tweety.lp.asp.reasoner.ASPSolver

ASTAggregate - Class in net.sf.tweety.lp.asp.parser

ASTAggregate(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTAggregate

ASTAggregate(ASPCore2Parser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTAggregate

ASTAggrElement - Class in net.sf.tweety.lp.asp.parser

ASTAggrElement(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTAggrElement

ASTAggrElement(ASPCore2Parser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTAggrElement

ASTAggrElementList - Class in net.sf.tweety.lp.asp.parser

ASTAggrElementList(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTAggrElementList

ASTAggrElementList(ASPCore2Parser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTAggrElementList

ASTAggrFunc - Class in net.sf.tweety.lp.asp.parser

ASTAggrFunc(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTAggrFunc

ASTAggrFunc(ASPCore2Parser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTAggrFunc

ASTAnswerSet - Class in net.sf.tweety.lp.asp.parser

ASTAnswerSet(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTAnswerSet

ASTAnswerSet(ASPCore2Parser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTAnswerSet

ASTAriTerm - Class in net.sf.tweety.lp.asp.parser

ASTAriTerm(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTAriTerm

ASTAriTerm(ASPCore2Parser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTAriTerm

ASTArithop - Class in net.sf.tweety.lp.asp.parser

ASTArithop(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTArithop

ASTArithop(ASPCore2Parser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTArithop

ASTBinop - Class in net.sf.tweety.lp.asp.parser

ASTBinop(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTBinop

ASTBinop(ASPCore2Parser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTBinop

ASTBody - Class in net.sf.tweety.lp.asp.parser

ASTBody(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTBody

ASTBody(ASPCore2Parser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTBody

ASTBodyList - Class in net.sf.tweety.lp.asp.parser

ASTBodyList(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTBodyList

ASTBodyList(ASPCore2Parser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTBodyList

ASTBuiltInAtom - Class in net.sf.tweety.lp.asp.parser

ASTBuiltInAtom(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTBuiltInAtom

ASTBuiltInAtom(ASPCore2Parser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTBuiltInAtom

ASTChoice - Class in net.sf.tweety.lp.asp.parser

ASTChoice(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTChoice

ASTChoice(ASPCore2Parser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTChoice

ASTChoiceElement - Class in net.sf.tweety.lp.asp.parser

ASTChoiceElement(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTChoiceElement

ASTChoiceElement(ASPCore2Parser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTChoiceElement

ASTChoiceElementList - Class in net.sf.tweety.lp.asp.parser

ASTChoiceElementList(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTChoiceElementList

ASTChoiceElementList(ASPCore2Parser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTChoiceElementList

ASTClingoMeta - Class in net.sf.tweety.lp.asp.parser

ASTClingoMeta(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTClingoMeta

ASTClingoMeta(ASPCore2Parser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTClingoMeta

ASTHead - Class in net.sf.tweety.lp.asp.parser

ASTHead(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTHead

ASTHead(ASPCore2Parser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTHead

ASTHeadElementsList - Class in net.sf.tweety.lp.asp.parser

ASTHeadElementsList(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTHeadElementsList

ASTHeadElementsList(ASPCore2Parser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTHeadElementsList

ASTID - Class in net.sf.tweety.lp.asp.parser

ASTID(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTID

ASTID(ASPCore2Parser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTID

ASTLiteral - Class in net.sf.tweety.lp.asp.parser

ASTLiteral(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTLiteral

ASTLiteral(ASPCore2Parser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTLiteral

ASTNAFLiteral - Class in net.sf.tweety.lp.asp.parser

ASTNAFLiteral(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTNAFLiteral

ASTNAFLiteral(ASPCore2Parser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTNAFLiteral

ASTNAFLiteralList - Class in net.sf.tweety.lp.asp.parser

ASTNAFLiteralList(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTNAFLiteralList

ASTNAFLiteralList(ASPCore2Parser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTNAFLiteralList

ASTNumber - Class in net.sf.tweety.lp.asp.parser

ASTNumber(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTNumber

ASTNumber(ASPCore2Parser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTNumber

ASTOpt - Class in net.sf.tweety.lp.asp.parser

ASTOpt(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTOpt

ASTOpt(ASPCore2Parser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTOpt

ASTOptElement - Class in net.sf.tweety.lp.asp.parser

ASTOptElement(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTOptElement

ASTOptElement(ASPCore2Parser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTOptElement

ASTOptElementList - Class in net.sf.tweety.lp.asp.parser

ASTOptElementList(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTOptElementList

ASTOptElementList(ASPCore2Parser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTOptElementList

ASTOptFunc - Class in net.sf.tweety.lp.asp.parser

ASTOptFunc(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTOptFunc

ASTOptFunc(ASPCore2Parser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTOptFunc

ASTProgram - Class in net.sf.tweety.lp.asp.parser

ASTProgram(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTProgram

ASTProgram(ASPCore2Parser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTProgram

ASTQuery - Class in net.sf.tweety.lp.asp.parser

ASTQuery(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTQuery

ASTQuery(ASPCore2Parser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTQuery

ASTRule - Class in net.sf.tweety.lp.asp.parser

ASTRule(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTRule

ASTRule(ASPCore2Parser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTRule

ASTRuleList - Class in net.sf.tweety.lp.asp.parser

ASTRuleList(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTRuleList

ASTRuleList(ASPCore2Parser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTRuleList

ASTString - Class in net.sf.tweety.lp.asp.parser

ASTString(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTString

ASTString(ASPCore2Parser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTString

ASTTerm - Class in net.sf.tweety.lp.asp.parser

ASTTerm(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTTerm

ASTTerm(ASPCore2Parser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTTerm

ASTTermList - Class in net.sf.tweety.lp.asp.parser

ASTTermList(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTTermList

ASTTermList(ASPCore2Parser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTTermList

ASTVar - Class in net.sf.tweety.lp.asp.parser

ASTVar(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTVar

ASTVar(ASPCore2Parser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTVar

ASTWeight - Class in net.sf.tweety.lp.asp.parser

ASTWeight(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTWeight

ASTWeight(ASPCore2Parser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTWeight

AT - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants

RegularExpression Id.

AT - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants

RegularExpression Id.

B

backup(int) - Method in class net.sf.tweety.lp.asp.parser.SimpleCharStream

beginColumn - Variable in class net.sf.tweety.lp.asp.parser.Token

The column number of the first character of this Token.

beginLine - Variable in class net.sf.tweety.lp.asp.parser.Token

The line number of the first character of this Token.

BeginToken() - Method in class net.sf.tweety.lp.asp.parser.SimpleCharStream

Binop() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser

Body() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser

Body1() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser

bufcolumn - Variable in class net.sf.tweety.lp.asp.parser.SimpleCharStream

buffer - Variable in class net.sf.tweety.lp.asp.parser.SimpleCharStream

bufline - Variable in class net.sf.tweety.lp.asp.parser.SimpleCharStream

bufpos - Variable in class net.sf.tweety.lp.asp.parser.SimpleCharStream

Position in buffer.

BuiltinAtom() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser

C

children - Variable in class net.sf.tweety.lp.asp.parser.SimpleNode

childrenAccept(ASPCore2ParserVisitor, Object) - Method in class net.sf.tweety.lp.asp.parser.SimpleNode

Choice() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser

ChoiceElement() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser

ChoiceElements() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser

ClassicalLiteral() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser

clear() - Method in class net.sf.tweety.lp.asp.syntax.ASPHead

clearNodeScope(Node) - Method in class net.sf.tweety.lp.asp.parser.JJTASPCore2ParserState

CLINGO_SHOW - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants

RegularExpression Id.

ClingoMetaStatement() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser

ClingoSolver - Class in net.sf.tweety.lp.asp.reasoner

Invokes Clingo (Part of the Potassco project), an ASP system that grounds and solves logic programs, and returns computed answer sets.

ClingoSolver(String) - Constructor for class net.sf.tweety.lp.asp.reasoner.ClingoSolver

Constructs a new instance pointing to specific a Clingo solver.

ClingoSolver(String, Shell) - Constructor for class net.sf.tweety.lp.asp.reasoner.ClingoSolver

Constructs a new instance pointing to a specific Clingo solver.

ClingoWriter - Class in net.sf.tweety.lp.asp.writer

Prints ASP programs and single rules to the Clingo input format (https://potassco.org/clingo/).

ClingoWriter() - Constructor for class net.sf.tweety.lp.asp.writer.ClingoWriter

ClingoWriter(Writer) - Constructor for class net.sf.tweety.lp.asp.writer.ClingoWriter

Create a new ClingoWriter with the given writer.

ClingoWriter(Writer, boolean) - Constructor for class net.sf.tweety.lp.asp.writer.ClingoWriter

clone() - Method in class net.sf.tweety.lp.asp.semantics.AnswerSet

clone() - Method in class net.sf.tweety.lp.asp.syntax.AggregateAtom

clone() - Method in class net.sf.tweety.lp.asp.syntax.AggregateElement

clone() - Method in class net.sf.tweety.lp.asp.syntax.ArithmeticTerm

clone() - Method in class net.sf.tweety.lp.asp.syntax.ASPAtom

clone() - Method in class net.sf.tweety.lp.asp.syntax.ASPElement

clone() - Method in class net.sf.tweety.lp.asp.syntax.ASPHead

clone() - Method in class net.sf.tweety.lp.asp.syntax.ASPRule

clone() - Method in class net.sf.tweety.lp.asp.syntax.ComparativeAtom

clone() - Method in class net.sf.tweety.lp.asp.syntax.DefaultNegation

clone() - Method in class net.sf.tweety.lp.asp.syntax.Program

clone() - Method in class net.sf.tweety.lp.asp.syntax.StrictNegation

cloneWithAddedTerm(Term<?>) - Method in class net.sf.tweety.lp.asp.syntax.ASPAtom

cloneWithAddedTerm(Term<?>) - Method in class net.sf.tweety.lp.asp.syntax.ASPLiteral

Creates a copy of the literal and adds the given term as argument to the end of the argument list.

cloneWithAddedTerm(Term<?>) - Method in class net.sf.tweety.lp.asp.syntax.StrictNegation

close() - Method in class net.sf.tweety.lp.asp.writer.ClingoWriter

closeNodeScope(Node, boolean) - Method in class net.sf.tweety.lp.asp.parser.JJTASPCore2ParserState

closeNodeScope(Node, int) - Method in class net.sf.tweety.lp.asp.parser.JJTASPCore2ParserState

COLON - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants

RegularExpression Id.

COLON - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants

RegularExpression Id.

column - Variable in class net.sf.tweety.lp.asp.parser.SimpleCharStream

combineWithOr(Disjunctable) - Method in class net.sf.tweety.lp.asp.syntax.ASPHead

COMMA - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants

RegularExpression Id.

COMMA - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants

RegularExpression Id.

COMMENT - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants

RegularExpression Id.

COMMENT - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants

RegularExpression Id.

ComparativeAtom - Class in net.sf.tweety.lp.asp.syntax

This class represents a comparative atom, meaning an expression of the form t x u where t,u are terms and x is in {<, <=, ==, !=, >, >=}.

ComparativeAtom(ASPOperator.BinaryOperator, Term<?>, Term<?>) - Constructor for class net.sf.tweety.lp.asp.syntax.ComparativeAtom

ComparativeAtom(ComparativeAtom) - Constructor for class net.sf.tweety.lp.asp.syntax.ComparativeAtom

Copy-Constructor

compareTo(ASPLiteral) - Method in class net.sf.tweety.lp.asp.syntax.ASPAtom

compareTo(ASPLiteral) - Method in class net.sf.tweety.lp.asp.syntax.StrictNegation

compareTo(ASPRule) - Method in class net.sf.tweety.lp.asp.syntax.ASPRule

complement() - Method in class net.sf.tweety.lp.asp.syntax.ASPAtom

complement() - Method in class net.sf.tweety.lp.asp.syntax.ASPLiteral

complement() - Method in class net.sf.tweety.lp.asp.syntax.StrictNegation

CONS - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants

RegularExpression Id.

CONS - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants

RegularExpression Id.

contains(Object) - Method in class net.sf.tweety.lp.asp.syntax.ASPHead

containsAll(Collection<?>) - Method in class net.sf.tweety.lp.asp.syntax.ASPHead

containsTermsOfType(Class<C>) - Method in class net.sf.tweety.lp.asp.syntax.ASPElement

containsTermsOfType(Class<C>) - Method in class net.sf.tweety.lp.asp.syntax.ASPHead

COUNT - net.sf.tweety.lp.asp.syntax.ASPOperator.AggregateFunction

createEmptyFormula() - Method in class net.sf.tweety.lp.asp.syntax.ASPHead

createEmptySignature() - Method in class net.sf.tweety.lp.asp.syntax.ASPHead

curChar - Variable in class net.sf.tweety.lp.asp.parser.ASPCore2ParserTokenManager

CURLY_CLOSE - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants

RegularExpression Id.

CURLY_CLOSE - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants

RegularExpression Id.

CURLY_OPEN - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants

RegularExpression Id.

CURLY_OPEN - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants

RegularExpression Id.

currentToken - Variable in exception net.sf.tweety.lp.asp.parser.ParseException

This is the last token that has been consumed successfully.

D

debugStream - Variable in class net.sf.tweety.lp.asp.parser.ASPCore2ParserTokenManager

Debug output.

DEFAULT - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants

Lexical state.

DEFAULT - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants

Lexical state.

defaultification(Program) - Static method in class net.sf.tweety.lp.asp.syntax.Program

Creates the defaultification p_d of a given program p.

DefaultNegation - Class in net.sf.tweety.lp.asp.syntax

This class represents a default negated literal, i.e.

DefaultNegation(ASPBodyElement) - Constructor for class net.sf.tweety.lp.asp.syntax.DefaultNegation

Creates new default negation with the given literal.

disable_tracing() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser

Disable tracing.

Disjunction() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser

DIV - net.sf.tweety.lp.asp.syntax.ASPOperator.ArithmeticOperator

DIV - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants

RegularExpression Id.

DIV - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants

RegularExpression Id.

DLVSolver - Class in net.sf.tweety.lp.asp.reasoner

Wrapper class for the DLV answer set solver command line utility.

DLVSolver(String) - Constructor for class net.sf.tweety.lp.asp.reasoner.DLVSolver

Constructs a new instance pointing to a specific DLV solver.

DLVSolver(String, Shell) - Constructor for class net.sf.tweety.lp.asp.reasoner.DLVSolver

Constructs a new instance pointing to a specific DLV solver.

Done() - Method in class net.sf.tweety.lp.asp.parser.SimpleCharStream

Reset buffer when finished.

DOT - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants

RegularExpression Id.

DOT - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants

RegularExpression Id.

dump(String) - Method in class net.sf.tweety.lp.asp.parser.SimpleNode

E

enable_tracing() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser

Enable tracing.

endColumn - Variable in class net.sf.tweety.lp.asp.parser.Token

The column number of the last character of this Token.

endLine - Variable in class net.sf.tweety.lp.asp.parser.Token

The line number of the last character of this Token.

EOF - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants

End of File.

EOF - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants

End of File.

eol - Variable in exception net.sf.tweety.lp.asp.parser.ParseException

The end of line string for this machine.

EQ - net.sf.tweety.lp.asp.syntax.ASPOperator.BinaryOperator

EQUAL - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants

RegularExpression Id.

EQUAL - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants

RegularExpression Id.

equals(Object) - Method in class net.sf.tweety.lp.asp.syntax.ASPAtom

equals(Object) - Method in class net.sf.tweety.lp.asp.syntax.ASPHead

equals(Object) - Method in class net.sf.tweety.lp.asp.syntax.ASPRule

equals(Object) - Method in class net.sf.tweety.lp.asp.syntax.ComparativeAtom

equals(Object) - Method in class net.sf.tweety.lp.asp.syntax.DefaultNegation

equals(Object) - Method in class net.sf.tweety.lp.asp.syntax.StrictNegation

evaluateAggrFunc(String) - Static method in class net.sf.tweety.lp.asp.parser.InstantiateVisitor

evaluateArithop(String) - Static method in class net.sf.tweety.lp.asp.parser.InstantiateVisitor

evaluateBinop(String) - Method in class net.sf.tweety.lp.asp.parser.InstantiateVisitor

exchange(Term<?>, Term<?>) - Method in class net.sf.tweety.lp.asp.syntax.AggregateElement

exchange(Term<?>, Term<?>) - Method in class net.sf.tweety.lp.asp.syntax.ASPElement

exchange(Term<?>, Term<?>) - Method in class net.sf.tweety.lp.asp.syntax.ASPHead

exchange(Term<?>, Term<?>) - Method in class net.sf.tweety.lp.asp.syntax.ASPRule

exchange(Term<?>, Term<?>) - Method in class net.sf.tweety.lp.asp.syntax.Program

ExpandBuff(boolean) - Method in class net.sf.tweety.lp.asp.parser.SimpleCharStream

expectedTokenSequences - Variable in exception net.sf.tweety.lp.asp.parser.ParseException

Each entry in this array is an array of integers.

F

FillBuff() - Method in class net.sf.tweety.lp.asp.parser.SimpleCharStream

func - Variable in class net.sf.tweety.lp.asp.parser.ASTAggregate

func - Variable in class net.sf.tweety.lp.asp.parser.ASTAggrFunc

func - Variable in class net.sf.tweety.lp.asp.parser.ASTOptFunc

func(String) - Method in class net.sf.tweety.lp.asp.parser.ASTAggregate

func(String) - Method in class net.sf.tweety.lp.asp.parser.ASTAggrFunc

func(String) - Method in class net.sf.tweety.lp.asp.parser.ASTOptFunc

G

generateParseException() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser

GEQ - net.sf.tweety.lp.asp.syntax.ASPOperator.BinaryOperator

get(int) - Method in class net.sf.tweety.lp.asp.syntax.ASPHead

getAggregateElements() - Method in class net.sf.tweety.lp.asp.syntax.AggregateAtom

getArguments() - Method in class net.sf.tweety.lp.asp.syntax.ASPAtom

getArguments() - Method in class net.sf.tweety.lp.asp.syntax.StrictNegation

getAtom() - Method in class net.sf.tweety.lp.asp.syntax.ASPAtom

getAtom() - Method in class net.sf.tweety.lp.asp.syntax.ASPLiteral

getAtom() - Method in class net.sf.tweety.lp.asp.syntax.StrictNegation

getAtoms() - Method in class net.sf.tweety.lp.asp.syntax.AggregateAtom

getAtoms() - Method in class net.sf.tweety.lp.asp.syntax.AggregateElement

getAtoms() - Method in class net.sf.tweety.lp.asp.syntax.ASPAtom

getAtoms() - Method in class net.sf.tweety.lp.asp.syntax.ASPElement

getAtoms() - Method in class net.sf.tweety.lp.asp.syntax.ASPHead

getAtoms() - Method in class net.sf.tweety.lp.asp.syntax.ASPRule

getAtoms() - Method in class net.sf.tweety.lp.asp.syntax.ComparativeAtom

getAtoms() - Method in class net.sf.tweety.lp.asp.syntax.DefaultNegation

getAtoms() - Method in class net.sf.tweety.lp.asp.syntax.StrictNegation

getBeginColumn() - Method in class net.sf.tweety.lp.asp.parser.SimpleCharStream

getBeginLine() - Method in class net.sf.tweety.lp.asp.parser.SimpleCharStream

getBody() - Method in class net.sf.tweety.lp.asp.syntax.ASPRule

getColumn() - Method in class net.sf.tweety.lp.asp.parser.SimpleCharStream

Deprecated.

getConclusion() - Method in class net.sf.tweety.lp.asp.syntax.ASPRule

getConstraintTerms() - Method in class net.sf.tweety.lp.asp.syntax.ASPRule

getEmptySymbol() - Method in class net.sf.tweety.lp.asp.syntax.ASPHead

getEndColumn() - Method in class net.sf.tweety.lp.asp.parser.SimpleCharStream

getEndLine() - Method in class net.sf.tweety.lp.asp.parser.SimpleCharStream

getFormulas() - Method in class net.sf.tweety.lp.asp.syntax.ASPHead

getFormulas(Class<C>) - Method in class net.sf.tweety.lp.asp.syntax.ASPHead

getFunction() - Method in class net.sf.tweety.lp.asp.syntax.AggregateAtom

Returns the aggregate function.

getHead() - Method in class net.sf.tweety.lp.asp.syntax.ASPRule

GetImage() - Method in class net.sf.tweety.lp.asp.parser.SimpleCharStream

getIntegerMaximum() - Method in class net.sf.tweety.lp.asp.reasoner.ASPSolver

Get the upper integer bound.

getLeft() - Method in class net.sf.tweety.lp.asp.syntax.AggregateElement

Returns the left part of the Aggregate element.

getLeft() - Method in class net.sf.tweety.lp.asp.syntax.ArithmeticTerm

Returns the left subterm of this arithmetic term.

getLeft() - Method in class net.sf.tweety.lp.asp.syntax.ComparativeAtom

Returns the left (first) term of the comparative atom.

getLeftGuard() - Method in class net.sf.tweety.lp.asp.syntax.AggregateAtom

Get the left relation term (right guard).

getLeftOperator() - Method in class net.sf.tweety.lp.asp.syntax.AggregateAtom

Returns the operator of the left aggregate relation.

getLevel() - Method in class net.sf.tweety.lp.asp.syntax.ASPRule

getLine() - Method in class net.sf.tweety.lp.asp.parser.SimpleCharStream

Deprecated.

getLiteral() - Method in class net.sf.tweety.lp.asp.syntax.DefaultNegation

getLiterals() - Method in class net.sf.tweety.lp.asp.syntax.AggregateAtom

getLiterals() - Method in class net.sf.tweety.lp.asp.syntax.AggregateElement

getLiterals() - Method in class net.sf.tweety.lp.asp.syntax.ASPAtom

getLiterals() - Method in class net.sf.tweety.lp.asp.syntax.ASPBodyElement

Returns all literals in this element in form of a SortedSet.

getLiterals() - Method in class net.sf.tweety.lp.asp.syntax.ASPHead

Returns all literals in this element in form of a SortedSet.

getLiterals() - Method in class net.sf.tweety.lp.asp.syntax.ASPRule

getLiterals() - Method in class net.sf.tweety.lp.asp.syntax.ComparativeAtom

getLiterals() - Method in class net.sf.tweety.lp.asp.syntax.DefaultNegation

getLiterals() - Method in class net.sf.tweety.lp.asp.syntax.StrictNegation

getLiteralsWithName(String) - Method in class net.sf.tweety.lp.asp.semantics.AnswerSet

Returns all literals of a given name in the AnswerSet.

getMaxNumOfModels() - Method in class net.sf.tweety.lp.asp.reasoner.ASPSolver

Get the maximum number of models to be generated.

getMessage() - Method in error net.sf.tweety.lp.asp.parser.TokenMgrError

You can also modify the body of this method to customize your error messages.

getMinimalSignature() - Method in class net.sf.tweety.lp.asp.syntax.Program

getModel(Program) - Method in class net.sf.tweety.lp.asp.reasoner.ClingoSolver

getModel(Program) - Method in class net.sf.tweety.lp.asp.reasoner.DLVSolver

getModel(Program, int) - Method in class net.sf.tweety.lp.asp.reasoner.ASPSolver

Returns a characterizing model (answer set) of the given belief base using the given upper integer limit.

getModels(File) - Method in class net.sf.tweety.lp.asp.reasoner.ASPSolver

Returns a characterizing model (answer set) of the given belief base.

getModels(File) - Method in class net.sf.tweety.lp.asp.reasoner.ClingoSolver

getModels(File) - Method in class net.sf.tweety.lp.asp.reasoner.DLVSolver

getModels(String) - Method in class net.sf.tweety.lp.asp.reasoner.ASPSolver

Returns a characterizing model (answer set) of the given belief base.

getModels(String) - Method in class net.sf.tweety.lp.asp.reasoner.ClingoSolver

getModels(String) - Method in class net.sf.tweety.lp.asp.reasoner.DLVSolver

getModels(Program) - Method in class net.sf.tweety.lp.asp.reasoner.ASPSolver

getModels(Program) - Method in class net.sf.tweety.lp.asp.reasoner.ClingoSolver

getModels(Program) - Method in class net.sf.tweety.lp.asp.reasoner.DLVSolver

getModels(Program, int) - Method in class net.sf.tweety.lp.asp.reasoner.ASPSolver

Returns a characterizing model (answer set) of the given belief base using the given upper integer limit.

getName() - Method in class net.sf.tweety.lp.asp.syntax.ASPAtom

getName() - Method in class net.sf.tweety.lp.asp.syntax.StrictNegation

getNextToken() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser

getNextToken() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2ParserTokenManager

getOperator() - Method in class net.sf.tweety.lp.asp.syntax.ArithmeticTerm

Returns the operator of this arithmetic term.

getOperator() - Method in class net.sf.tweety.lp.asp.syntax.ComparativeAtom

Returns the comparative operator of the atom.

getOperatorSymbol() - Method in class net.sf.tweety.lp.asp.syntax.ASPHead

getOutput() - Method in class net.sf.tweety.lp.asp.reasoner.ASPSolver

getOutputWhitelist() - Method in class net.sf.tweety.lp.asp.syntax.Program

Returns the whitelist of predicates.

getPredicate() - Method in class net.sf.tweety.lp.asp.syntax.ASPAtom

getPredicate() - Method in class net.sf.tweety.lp.asp.syntax.StrictNegation

getPredicateCls() - Method in class net.sf.tweety.lp.asp.syntax.ASPElement

getPredicateCls() - Method in class net.sf.tweety.lp.asp.syntax.ASPHead

getPredicateCls() - Method in class net.sf.tweety.lp.asp.syntax.ComparativeAtom

getPredicates() - Method in class net.sf.tweety.lp.asp.syntax.AggregateAtom

getPredicates() - Method in class net.sf.tweety.lp.asp.syntax.AggregateElement

getPredicates() - Method in class net.sf.tweety.lp.asp.syntax.ASPAtom

getPredicates() - Method in class net.sf.tweety.lp.asp.syntax.ASPElement

getPredicates() - Method in class net.sf.tweety.lp.asp.syntax.ASPHead

getPredicates() - Method in class net.sf.tweety.lp.asp.syntax.ASPRule

getPredicates() - Method in class net.sf.tweety.lp.asp.syntax.ComparativeAtom

getPredicates() - Method in class net.sf.tweety.lp.asp.syntax.DefaultNegation

getPredicates() - Method in class net.sf.tweety.lp.asp.syntax.StrictNegation

getPremise() - Method in class net.sf.tweety.lp.asp.syntax.ASPRule

getQuery() - Method in class net.sf.tweety.lp.asp.syntax.Program

Returns the query of the program, if there is one.

getRight() - Method in class net.sf.tweety.lp.asp.syntax.AggregateElement

Returns the right part of the Aggregate element.

getRight() - Method in class net.sf.tweety.lp.asp.syntax.ArithmeticTerm

Returns the right subterm of this arithmetic term.

getRight() - Method in class net.sf.tweety.lp.asp.syntax.ComparativeAtom

Returns the right (second) term of the comparative atom.

getRightGuard() - Method in class net.sf.tweety.lp.asp.syntax.AggregateAtom

Returns the right relation term (right guard).

getRightOperator() - Method in class net.sf.tweety.lp.asp.syntax.AggregateAtom

Returns the operator of the right aggregate relation.

getSignature() - Method in class net.sf.tweety.lp.asp.syntax.AggregateAtom

getSignature() - Method in class net.sf.tweety.lp.asp.syntax.AggregateElement

getSignature() - Method in class net.sf.tweety.lp.asp.syntax.ASPAtom

getSignature() - Method in class net.sf.tweety.lp.asp.syntax.ASPElement

getSignature() - Method in class net.sf.tweety.lp.asp.syntax.ASPHead

getSignature() - Method in class net.sf.tweety.lp.asp.syntax.ASPRule

getSignature() - Method in class net.sf.tweety.lp.asp.syntax.ComparativeAtom

getSignature() - Method in class net.sf.tweety.lp.asp.syntax.DefaultNegation

getSignature() - Method in class net.sf.tweety.lp.asp.syntax.StrictNegation

GetSuffix(int) - Method in class net.sf.tweety.lp.asp.parser.SimpleCharStream

getTabSize(int) - Method in class net.sf.tweety.lp.asp.parser.SimpleCharStream

getTerm(int) - Method in class net.sf.tweety.lp.asp.syntax.ASPAtom

getTerms() - Method in class net.sf.tweety.lp.asp.syntax.AggregateAtom

getTerms() - Method in class net.sf.tweety.lp.asp.syntax.AggregateElement

getTerms() - Method in class net.sf.tweety.lp.asp.syntax.ASPAtom

getTerms() - Method in class net.sf.tweety.lp.asp.syntax.ASPHead

getTerms() - Method in class net.sf.tweety.lp.asp.syntax.ASPRule

getTerms() - Method in class net.sf.tweety.lp.asp.syntax.ComparativeAtom

getTerms() - Method in class net.sf.tweety.lp.asp.syntax.DefaultNegation

getTerms() - Method in class net.sf.tweety.lp.asp.syntax.StrictNegation

getTerms(Class<C>) - Method in class net.sf.tweety.lp.asp.syntax.AggregateAtom

getTerms(Class<C>) - Method in class net.sf.tweety.lp.asp.syntax.AggregateElement

getTerms(Class<C>) - Method in class net.sf.tweety.lp.asp.syntax.ASPAtom

getTerms(Class<C>) - Method in class net.sf.tweety.lp.asp.syntax.ASPHead

getTerms(Class<C>) - Method in class net.sf.tweety.lp.asp.syntax.ASPRule

getTerms(Class<C>) - Method in class net.sf.tweety.lp.asp.syntax.ComparativeAtom

getTerms(Class<C>) - Method in class net.sf.tweety.lp.asp.syntax.DefaultNegation

getTerms(Class<C>) - Method in class net.sf.tweety.lp.asp.syntax.StrictNegation

getToken(int) - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser

getValue() - Method in class net.sf.tweety.lp.asp.parser.Token

getWeight() - Method in class net.sf.tweety.lp.asp.syntax.ASPRule

GREATER - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants

RegularExpression Id.

GREATER - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants

RegularExpression Id.

GREATER_OR_EQ - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants

RegularExpression Id.

GREATER_OR_EQ - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants

RegularExpression Id.

GT - net.sf.tweety.lp.asp.syntax.ASPOperator.BinaryOperator

H

hashCode() - Method in class net.sf.tweety.lp.asp.syntax.ASPAtom

hashCode() - Method in class net.sf.tweety.lp.asp.syntax.ASPHead

hashCode() - Method in class net.sf.tweety.lp.asp.syntax.ASPRule

hashCode() - Method in class net.sf.tweety.lp.asp.syntax.ComparativeAtom

hashCode() - Method in class net.sf.tweety.lp.asp.syntax.DefaultNegation

hashCode() - Method in class net.sf.tweety.lp.asp.syntax.StrictNegation

hasLeftRelation() - Method in class net.sf.tweety.lp.asp.syntax.AggregateAtom

Returns true if the aggregate has a left aggregate relation (meaning a term that the aggregate's resulting value will be compared to using a comparative operator).

hasLevel - Variable in class net.sf.tweety.lp.asp.parser.ASTOptElement

hasLevel - Variable in class net.sf.tweety.lp.asp.parser.ASTRule

hasLevel - Variable in class net.sf.tweety.lp.asp.parser.ASTWeight

hasLevel(boolean) - Method in class net.sf.tweety.lp.asp.parser.ASTOptElement

hasLevel(boolean) - Method in class net.sf.tweety.lp.asp.parser.ASTRule

hasLevel(boolean) - Method in class net.sf.tweety.lp.asp.parser.ASTWeight

hasQuery() - Method in class net.sf.tweety.lp.asp.syntax.Program

Returns true if the program contains a query.

hasRightRelation() - Method in class net.sf.tweety.lp.asp.syntax.AggregateAtom

Returns true if the aggregate has a right aggregate relation (meaning a term that the aggregate's resulting value will be compared to using a comparative operator).

Head() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser

I

id - Variable in class net.sf.tweety.lp.asp.parser.SimpleNode

ID - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants

RegularExpression Id.

ID - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants

RegularExpression Id.

Identifier() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser

image - Variable in class net.sf.tweety.lp.asp.parser.Token

The string image of the token.

inBuf - Variable in class net.sf.tweety.lp.asp.parser.SimpleCharStream

inconsistencyMeasure(Program) - Method in class net.sf.tweety.lp.asp.analysis.PmInconsistencyMeasure

inconsistencyMeasure(Program) - Method in class net.sf.tweety.lp.asp.analysis.SdInconsistencyMeasure

indexOf(Object) - Method in class net.sf.tweety.lp.asp.syntax.ASPHead

input_stream - Variable in class net.sf.tweety.lp.asp.parser.ASPCore2ParserTokenManager

inputStream - Variable in class net.sf.tweety.lp.asp.parser.SimpleCharStream

InstantiateVisitor - Class in net.sf.tweety.lp.asp.parser

This visitor iterates over the AST generated by ASPCore2Parser and allocates classes representing the different parts of an ASP program or source file, meaning rules, literals, terms, answer sets, etc.

InstantiateVisitor() - Constructor for class net.sf.tweety.lp.asp.parser.InstantiateVisitor

integerMaximum - Variable in class net.sf.tweety.lp.asp.reasoner.ASPSolver

Represents the upper integer bound.

isComplete() - Method in class net.sf.tweety.lp.asp.syntax.ASPAtom

isComplete() - Method in class net.sf.tweety.lp.asp.syntax.StrictNegation

isConstraint() - Method in class net.sf.tweety.lp.asp.syntax.ASPRule

isEmpty() - Method in class net.sf.tweety.lp.asp.syntax.ASPHead

isEmpty() - Method in class net.sf.tweety.lp.asp.syntax.ASPRule

isExtendedProgram() - Method in class net.sf.tweety.lp.asp.syntax.Program

Checks if the program is an extended program, meaning the heads of the literals do not have more than one literal.

isFact() - Method in class net.sf.tweety.lp.asp.syntax.ASPRule

isGround() - Method in class net.sf.tweety.lp.asp.syntax.ASPElement

isGround() - Method in class net.sf.tweety.lp.asp.syntax.ASPHead

isGround() - Method in class net.sf.tweety.lp.asp.syntax.ASPRule

isGround() - Method in class net.sf.tweety.lp.asp.syntax.Program

isLiteral() - Method in class net.sf.tweety.lp.asp.syntax.AggregateAtom

isLiteral() - Method in class net.sf.tweety.lp.asp.syntax.AggregateElement

isLiteral() - Method in class net.sf.tweety.lp.asp.syntax.ASPHead

isLiteral() - Method in class net.sf.tweety.lp.asp.syntax.ASPLiteral

isLiteral() - Method in class net.sf.tweety.lp.asp.syntax.ASPRule

isLiteral() - Method in class net.sf.tweety.lp.asp.syntax.ComparativeAtom

isLiteral() - Method in class net.sf.tweety.lp.asp.syntax.DefaultNegation

isSafe() - Method in class net.sf.tweety.lp.asp.syntax.ASPRule

This methods tests a rule for safety.

isSafe() - Method in class net.sf.tweety.lp.asp.syntax.Program

Returns true if the program is safe, i.e.

isWellFormed() - Method in class net.sf.tweety.lp.asp.syntax.ASPElement

isWellFormed() - Method in class net.sf.tweety.lp.asp.syntax.ASPHead

isWellFormed() - Method in class net.sf.tweety.lp.asp.syntax.DefaultNegation

iterator() - Method in class net.sf.tweety.lp.asp.syntax.ASPHead

J

jj_nt - Variable in class net.sf.tweety.lp.asp.parser.ASPCore2Parser

Next token.

jjFillToken() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2ParserTokenManager

jjstrLiteralImages - Static variable in class net.sf.tweety.lp.asp.parser.ASPCore2ParserTokenManager

Token literal values.

jjtAccept(ASPCore2ParserVisitor, Object) - Method in class net.sf.tweety.lp.asp.parser.ASTAggregate

Accept the visitor.

jjtAccept(ASPCore2ParserVisitor, Object) - Method in class net.sf.tweety.lp.asp.parser.ASTAggrElement

Accept the visitor.

jjtAccept(ASPCore2ParserVisitor, Object) - Method in class net.sf.tweety.lp.asp.parser.ASTAggrElementList

Accept the visitor.

jjtAccept(ASPCore2ParserVisitor, Object) - Method in class net.sf.tweety.lp.asp.parser.ASTAggrFunc

Accept the visitor.

jjtAccept(ASPCore2ParserVisitor, Object) - Method in class net.sf.tweety.lp.asp.parser.ASTAnswerSet

Accept the visitor.

jjtAccept(ASPCore2ParserVisitor, Object) - Method in class net.sf.tweety.lp.asp.parser.ASTAriTerm

Accept the visitor.

jjtAccept(ASPCore2ParserVisitor, Object) - Method in class net.sf.tweety.lp.asp.parser.ASTArithop

Accept the visitor.

jjtAccept(ASPCore2ParserVisitor, Object) - Method in class net.sf.tweety.lp.asp.parser.ASTBinop

Accept the visitor.

jjtAccept(ASPCore2ParserVisitor, Object) - Method in class net.sf.tweety.lp.asp.parser.ASTBody

Accept the visitor.

jjtAccept(ASPCore2ParserVisitor, Object) - Method in class net.sf.tweety.lp.asp.parser.ASTBodyList

Accept the visitor.

jjtAccept(ASPCore2ParserVisitor, Object) - Method in class net.sf.tweety.lp.asp.parser.ASTBuiltInAtom

Accept the visitor.

jjtAccept(ASPCore2ParserVisitor, Object) - Method in class net.sf.tweety.lp.asp.parser.ASTChoice

Accept the visitor.

jjtAccept(ASPCore2ParserVisitor, Object) - Method in class net.sf.tweety.lp.asp.parser.ASTChoiceElement

Accept the visitor.

jjtAccept(ASPCore2ParserVisitor, Object) - Method in class net.sf.tweety.lp.asp.parser.ASTChoiceElementList

Accept the visitor.

jjtAccept(ASPCore2ParserVisitor, Object) - Method in class net.sf.tweety.lp.asp.parser.ASTClingoMeta

Accept the visitor.

jjtAccept(ASPCore2ParserVisitor, Object) - Method in class net.sf.tweety.lp.asp.parser.ASTHead

Accept the visitor.

jjtAccept(ASPCore2ParserVisitor, Object) - Method in class net.sf.tweety.lp.asp.parser.ASTHeadElementsList

Accept the visitor.

jjtAccept(ASPCore2ParserVisitor, Object) - Method in class net.sf.tweety.lp.asp.parser.ASTID

Accept the visitor.

jjtAccept(ASPCore2ParserVisitor, Object) - Method in class net.sf.tweety.lp.asp.parser.ASTLiteral

Accept the visitor.

jjtAccept(ASPCore2ParserVisitor, Object) - Method in class net.sf.tweety.lp.asp.parser.ASTNAFLiteral

Accept the visitor.

jjtAccept(ASPCore2ParserVisitor, Object) - Method in class net.sf.tweety.lp.asp.parser.ASTNAFLiteralList

Accept the visitor.

jjtAccept(ASPCore2ParserVisitor, Object) - Method in class net.sf.tweety.lp.asp.parser.ASTNumber

Accept the visitor.

jjtAccept(ASPCore2ParserVisitor, Object) - Method in class net.sf.tweety.lp.asp.parser.ASTOpt

Accept the visitor.

jjtAccept(ASPCore2ParserVisitor, Object) - Method in class net.sf.tweety.lp.asp.parser.ASTOptElement

Accept the visitor.

jjtAccept(ASPCore2ParserVisitor, Object) - Method in class net.sf.tweety.lp.asp.parser.ASTOptElementList

Accept the visitor.

jjtAccept(ASPCore2ParserVisitor, Object) - Method in class net.sf.tweety.lp.asp.parser.ASTOptFunc

Accept the visitor.

jjtAccept(ASPCore2ParserVisitor, Object) - Method in class net.sf.tweety.lp.asp.parser.ASTProgram

Accept the visitor.

jjtAccept(ASPCore2ParserVisitor, Object) - Method in class net.sf.tweety.lp.asp.parser.ASTQuery

Accept the visitor.

jjtAccept(ASPCore2ParserVisitor, Object) - Method in class net.sf.tweety.lp.asp.parser.ASTRule

Accept the visitor.

jjtAccept(ASPCore2ParserVisitor, Object) - Method in class net.sf.tweety.lp.asp.parser.ASTRuleList

Accept the visitor.

jjtAccept(ASPCore2ParserVisitor, Object) - Method in class net.sf.tweety.lp.asp.parser.ASTString

Accept the visitor.

jjtAccept(ASPCore2ParserVisitor, Object) - Method in class net.sf.tweety.lp.asp.parser.ASTTerm

Accept the visitor.

jjtAccept(ASPCore2ParserVisitor, Object) - Method in class net.sf.tweety.lp.asp.parser.ASTTermList

Accept the visitor.

jjtAccept(ASPCore2ParserVisitor, Object) - Method in class net.sf.tweety.lp.asp.parser.ASTVar

Accept the visitor.

jjtAccept(ASPCore2ParserVisitor, Object) - Method in class net.sf.tweety.lp.asp.parser.ASTWeight

Accept the visitor.

jjtAccept(ASPCore2ParserVisitor, Object) - Method in interface net.sf.tweety.lp.asp.parser.Node

jjtAccept(ASPCore2ParserVisitor, Object) - Method in class net.sf.tweety.lp.asp.parser.SimpleNode

jjtAddChild(Node, int) - Method in interface net.sf.tweety.lp.asp.parser.Node

jjtAddChild(Node, int) - Method in class net.sf.tweety.lp.asp.parser.SimpleNode

JJTAGGREGATE - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserTreeConstants

JJTAGGRELEMENT - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserTreeConstants

JJTAGGRELEMENTLIST - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserTreeConstants

JJTAGGRFUNC - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserTreeConstants

JJTANSWERSET - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserTreeConstants

JJTARITERM - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserTreeConstants

JJTARITHOP - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserTreeConstants

JJTASPCore2ParserState - Class in net.sf.tweety.lp.asp.parser

JJTASPCore2ParserState() - Constructor for class net.sf.tweety.lp.asp.parser.JJTASPCore2ParserState

JJTBINOP - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserTreeConstants

JJTBODY - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserTreeConstants

JJTBODYLIST - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserTreeConstants

JJTBUILTINATOM - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserTreeConstants

JJTCHOICE - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserTreeConstants

JJTCHOICEELEMENT - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserTreeConstants

JJTCHOICEELEMENTLIST - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserTreeConstants

JJTCLINGOMETA - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserTreeConstants

jjtClose() - Method in interface net.sf.tweety.lp.asp.parser.Node

This method is called after all the child nodes have been added.

jjtClose() - Method in class net.sf.tweety.lp.asp.parser.SimpleNode

jjtGetChild(int) - Method in interface net.sf.tweety.lp.asp.parser.Node

jjtGetChild(int) - Method in class net.sf.tweety.lp.asp.parser.SimpleNode

jjtGetNumChildren() - Method in interface net.sf.tweety.lp.asp.parser.Node

jjtGetNumChildren() - Method in class net.sf.tweety.lp.asp.parser.SimpleNode

jjtGetParent() - Method in interface net.sf.tweety.lp.asp.parser.Node

jjtGetParent() - Method in class net.sf.tweety.lp.asp.parser.SimpleNode

jjtGetValue() - Method in class net.sf.tweety.lp.asp.parser.SimpleNode

JJTHEAD - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserTreeConstants

JJTHEADELEMENTSLIST - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserTreeConstants

JJTID - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserTreeConstants

JJTLITERAL - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserTreeConstants

JJTNAFLITERAL - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserTreeConstants

JJTNAFLITERALLIST - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserTreeConstants

jjtNodeName - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserTreeConstants

JJTNUMBER - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserTreeConstants

jjtOpen() - Method in interface net.sf.tweety.lp.asp.parser.Node

This method is called after the node has been made the current node.

jjtOpen() - Method in class net.sf.tweety.lp.asp.parser.SimpleNode

JJTOPT - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserTreeConstants

JJTOPTELEMENT - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserTreeConstants

JJTOPTELEMENTLIST - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserTreeConstants

JJTOPTFUNC - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserTreeConstants

JJTPROGRAM - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserTreeConstants

JJTQUERY - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserTreeConstants

jjtree - Variable in class net.sf.tweety.lp.asp.parser.ASPCore2Parser

JJTRULE - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserTreeConstants

JJTRULELIST - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserTreeConstants

jjtSetParent(Node) - Method in interface net.sf.tweety.lp.asp.parser.Node

jjtSetParent(Node) - Method in class net.sf.tweety.lp.asp.parser.SimpleNode

jjtSetValue(Object) - Method in class net.sf.tweety.lp.asp.parser.SimpleNode

JJTSTRING - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserTreeConstants

JJTTERM - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserTreeConstants

JJTTERMLIST - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserTreeConstants

JJTVAR - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserTreeConstants

JJTWEIGHT - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserTreeConstants

K

kind - Variable in class net.sf.tweety.lp.asp.parser.Token

An integer that describes the kind of this token.

L

lastIndexOf(Object) - Method in class net.sf.tweety.lp.asp.syntax.ASPHead

LEQ - net.sf.tweety.lp.asp.syntax.ASPOperator.BinaryOperator

LESS - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants

RegularExpression Id.

LESS - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants

RegularExpression Id.

LESS_OR_EQ - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants

RegularExpression Id.

LESS_OR_EQ - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants

RegularExpression Id.

level - Variable in class net.sf.tweety.lp.asp.semantics.AnswerSet

LexicalError(boolean, int, int, int, String, char) - Static method in error net.sf.tweety.lp.asp.parser.TokenMgrError

lexStateNames - Static variable in class net.sf.tweety.lp.asp.parser.ASPCore2ParserTokenManager

Lexer state names.

line - Variable in class net.sf.tweety.lp.asp.parser.SimpleCharStream

listIterator() - Method in class net.sf.tweety.lp.asp.syntax.ASPHead

listIterator(int) - Method in class net.sf.tweety.lp.asp.syntax.ASPHead

LT - net.sf.tweety.lp.asp.syntax.ASPOperator.BinaryOperator

M

main(String[]) - Static method in class net.sf.tweety.lp.asp.examples.ASPCore2ParserExample

MAX - net.sf.tweety.lp.asp.syntax.ASPOperator.AggregateFunction

maximize - Variable in class net.sf.tweety.lp.asp.parser.ASTOpt

maximize - Variable in class net.sf.tweety.lp.asp.parser.ASTOptFunc

maximize(boolean) - Method in class net.sf.tweety.lp.asp.parser.ASTOpt

maximize(boolean) - Method in class net.sf.tweety.lp.asp.parser.ASTOptFunc

MAXIMIZE - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants

RegularExpression Id.

MAXIMIZE - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants

RegularExpression Id.

maxNextCharInd - Variable in class net.sf.tweety.lp.asp.parser.SimpleCharStream

maxNumOfModels - Variable in class net.sf.tweety.lp.asp.reasoner.ASPSolver

The maximum number of models to be generated.

MIN - net.sf.tweety.lp.asp.syntax.ASPOperator.AggregateFunction

MINIMIZE - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants

RegularExpression Id.

MINIMIZE - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants

RegularExpression Id.

MINUS - net.sf.tweety.lp.asp.syntax.ASPOperator.ArithmeticOperator

MINUS - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants

RegularExpression Id.

MINUS - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants

RegularExpression Id.

MULTI_LINE_COMMENT - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants

RegularExpression Id.

MULTI_LINE_COMMENT - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants

RegularExpression Id.

N

NAF - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants

RegularExpression Id.

NAF - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants

RegularExpression Id.

NAFLiteral() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser

NAFLiterals() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser

nafneg - Variable in class net.sf.tweety.lp.asp.parser.ASTNAFLiteral

nafneg(boolean) - Method in class net.sf.tweety.lp.asp.parser.ASTNAFLiteral

name - Variable in class net.sf.tweety.lp.asp.parser.ASTID

name - Variable in class net.sf.tweety.lp.asp.parser.ASTLiteral

name - Variable in class net.sf.tweety.lp.asp.parser.ASTString

name - Variable in class net.sf.tweety.lp.asp.parser.ASTVar

name(String) - Method in class net.sf.tweety.lp.asp.parser.ASTID

name(String) - Method in class net.sf.tweety.lp.asp.parser.ASTLiteral

name(String) - Method in class net.sf.tweety.lp.asp.parser.ASTString

name(String) - Method in class net.sf.tweety.lp.asp.parser.ASTVar

neg - Variable in class net.sf.tweety.lp.asp.parser.ASTLiteral

neg(boolean) - Method in class net.sf.tweety.lp.asp.parser.ASTLiteral

neg(boolean) - Method in class net.sf.tweety.lp.asp.parser.ASTTerm

NEQ - net.sf.tweety.lp.asp.syntax.ASPOperator.BinaryOperator

net.sf.tweety.lp.asp.analysis - package net.sf.tweety.lp.asp.analysis

net.sf.tweety.lp.asp.examples - package net.sf.tweety.lp.asp.examples

net.sf.tweety.lp.asp.parser - package net.sf.tweety.lp.asp.parser

net.sf.tweety.lp.asp.reasoner - package net.sf.tweety.lp.asp.reasoner

net.sf.tweety.lp.asp.semantics - package net.sf.tweety.lp.asp.semantics

net.sf.tweety.lp.asp.syntax - package net.sf.tweety.lp.asp.syntax

net.sf.tweety.lp.asp.writer - package net.sf.tweety.lp.asp.writer

newToken(int) - Static method in class net.sf.tweety.lp.asp.parser.Token

newToken(int, String) - Static method in class net.sf.tweety.lp.asp.parser.Token

next - Variable in class net.sf.tweety.lp.asp.parser.Token

A reference to the next regular (non-special) token from the input stream.

Node - Interface in net.sf.tweety.lp.asp.parser

nodeArity() - Method in class net.sf.tweety.lp.asp.parser.JJTASPCore2ParserState

nodeCreated() - Method in class net.sf.tweety.lp.asp.parser.JJTASPCore2ParserState

number(String) - Method in class net.sf.tweety.lp.asp.parser.ASTNumber

Number() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser

NUMBER - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants

RegularExpression Id.

NUMBER - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants

RegularExpression Id.

O

op - Variable in class net.sf.tweety.lp.asp.parser.ASTAriTerm

op(String) - Method in class net.sf.tweety.lp.asp.parser.ASTAriTerm

op(String) - Method in class net.sf.tweety.lp.asp.parser.ASTArithop

op(String) - Method in class net.sf.tweety.lp.asp.parser.ASTBinop

openNodeScope(Node) - Method in class net.sf.tweety.lp.asp.parser.JJTASPCore2ParserState

operator - Variable in class net.sf.tweety.lp.asp.parser.ASTArithop

operator - Variable in class net.sf.tweety.lp.asp.parser.ASTBinop

operator - Variable in class net.sf.tweety.lp.asp.parser.ASTBuiltInAtom

operator(String) - Method in class net.sf.tweety.lp.asp.parser.ASTBuiltInAtom

Optimize() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser

OptimizeElement() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser

OptimizeElements() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser

OptimizeFunction() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser

OR - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants

RegularExpression Id.

OR - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants

RegularExpression Id.

outputData - Variable in class net.sf.tweety.lp.asp.reasoner.ASPSolver

Stores the (latest) result of the solver as a String.

P

PAREN_CLOSE - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants

RegularExpression Id.

PAREN_CLOSE - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants

RegularExpression Id.

PAREN_OPEN - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants

RegularExpression Id.

PAREN_OPEN - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants

RegularExpression Id.

parent - Variable in class net.sf.tweety.lp.asp.parser.SimpleNode

parseAnswerSet(Reader) - Static method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser

parseAnswerSet(String) - Static method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser

ParseException - Exception in net.sf.tweety.lp.asp.parser

This exception is thrown when parse errors are encountered.

ParseException() - Constructor for exception net.sf.tweety.lp.asp.parser.ParseException

The following constructors are for use by you for whatever purpose you can think of.

ParseException(String) - Constructor for exception net.sf.tweety.lp.asp.parser.ParseException

ParseException(Token, int[][], String[]) - Constructor for exception net.sf.tweety.lp.asp.parser.ParseException

parseProgram(Reader) - Static method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser

parseProgram(String) - Static method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser

parser - Variable in class net.sf.tweety.lp.asp.parser.SimpleNode

parseResult(String) - Method in class net.sf.tweety.lp.asp.reasoner.DLVSolver

Processes a string containing answer sets and returns an AnswerSetList.

parseRule(Reader) - Static method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser

parseRule(String) - Static method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser

pathToSolver - Variable in class net.sf.tweety.lp.asp.reasoner.ClingoSolver

String representation of Clingo binary path, meaning the location of the clingo, clasp and grinco executables on the hard drive.

peekNode() - Method in class net.sf.tweety.lp.asp.parser.JJTASPCore2ParserState

PLUS - net.sf.tweety.lp.asp.syntax.ASPOperator.ArithmeticOperator

PLUS - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants

RegularExpression Id.

PLUS - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants

RegularExpression Id.

PmInconsistencyMeasure - Class in net.sf.tweety.lp.asp.analysis

This class implements the inconsistency measure $I_\pm$ from [Ulbricht, Thimm, Brewka.

PmInconsistencyMeasure(ASPSolver) - Constructor for class net.sf.tweety.lp.asp.analysis.PmInconsistencyMeasure

Creates a new inconsistency measure based on the given solver.

popNode() - Method in class net.sf.tweety.lp.asp.parser.JJTASPCore2ParserState

predicate - Variable in class net.sf.tweety.lp.asp.syntax.ASPAtom

The predicate identifying the atom

prevCharIsCR - Variable in class net.sf.tweety.lp.asp.parser.SimpleCharStream

prevCharIsLF - Variable in class net.sf.tweety.lp.asp.parser.SimpleCharStream

printProgram(Program) - Method in class net.sf.tweety.lp.asp.writer.ClingoWriter

Prints program

Program - Class in net.sf.tweety.lp.asp.syntax

This class models an ASP-Core-2 program, meaning a set of rules and optionally a query.

Program() - Constructor for class net.sf.tweety.lp.asp.syntax.Program

Creates a new empty program.

Program(Collection<ASPRule>) - Constructor for class net.sf.tweety.lp.asp.syntax.Program

Creates a new program with the given rules.

Program(ASPLiteral, Set<ASPRule>) - Constructor for class net.sf.tweety.lp.asp.syntax.Program

Creates a new program with the given query and rules.

Program(Program) - Constructor for class net.sf.tweety.lp.asp.syntax.Program

Copy-Constructor

Program() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser

pushNode(Node) - Method in class net.sf.tweety.lp.asp.parser.JJTASPCore2ParserState

Q

query(Program, ASPLiteral) - Method in class net.sf.tweety.lp.asp.reasoner.ASPSolver

query(Program, ASPLiteral) - Method in class net.sf.tweety.lp.asp.reasoner.ClingoSolver

query(Program, ASPLiteral) - Method in class net.sf.tweety.lp.asp.reasoner.DLVSolver

query(Program, ASPLiteral, InferenceMode) - Method in class net.sf.tweety.lp.asp.reasoner.ClingoSolver

query(Program, ASPLiteral, InferenceMode) - Method in class net.sf.tweety.lp.asp.reasoner.DLVSolver

Query() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser

QUERY_MARK - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants

RegularExpression Id.

QUERY_MARK - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants

RegularExpression Id.

R

readChar() - Method in class net.sf.tweety.lp.asp.parser.SimpleCharStream

reduct(Set<ASPLiteral>) - Method in class net.sf.tweety.lp.asp.syntax.Program

Returns the reduct of this program wrt.

ReInit(InputStream) - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser

ReInit(InputStream) - Method in class net.sf.tweety.lp.asp.parser.SimpleCharStream

ReInit(InputStream, int, int) - Method in class net.sf.tweety.lp.asp.parser.SimpleCharStream

ReInit(InputStream, int, int, int) - Method in class net.sf.tweety.lp.asp.parser.SimpleCharStream

ReInit(InputStream, String) - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser

ReInit(InputStream, String) - Method in class net.sf.tweety.lp.asp.parser.SimpleCharStream

ReInit(InputStream, String, int, int) - Method in class net.sf.tweety.lp.asp.parser.SimpleCharStream

ReInit(InputStream, String, int, int, int) - Method in class net.sf.tweety.lp.asp.parser.SimpleCharStream

ReInit(Reader) - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser

ReInit(Reader) - Method in class net.sf.tweety.lp.asp.parser.SimpleCharStream

ReInit(Reader, int, int) - Method in class net.sf.tweety.lp.asp.parser.SimpleCharStream

ReInit(Reader, int, int, int) - Method in class net.sf.tweety.lp.asp.parser.SimpleCharStream

ReInit(ASPCore2ParserTokenManager) - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser

ReInit(SimpleCharStream) - Method in class net.sf.tweety.lp.asp.parser.ASPCore2ParserTokenManager

ReInit(SimpleCharStream, int) - Method in class net.sf.tweety.lp.asp.parser.ASPCore2ParserTokenManager

remove(int) - Method in class net.sf.tweety.lp.asp.syntax.ASPHead

remove(Object) - Method in class net.sf.tweety.lp.asp.syntax.ASPHead

removeAll(Collection<?>) - Method in class net.sf.tweety.lp.asp.syntax.ASPHead

reset() - Method in class net.sf.tweety.lp.asp.parser.JJTASPCore2ParserState

retainAll(Collection<?>) - Method in class net.sf.tweety.lp.asp.syntax.ASPHead

rootNode() - Method in class net.sf.tweety.lp.asp.parser.JJTASPCore2ParserState

S

satisfies(ASPRule) - Method in class net.sf.tweety.lp.asp.semantics.AnswerSet

satisfies(Program) - Method in class net.sf.tweety.lp.asp.semantics.AnswerSet

SdInconsistencyMeasure - Class in net.sf.tweety.lp.asp.analysis

This class implements the inconsistency measure $I_sd$ from [Ulbricht, Thimm, Brewka.

SdInconsistencyMeasure(ASPSolver) - Constructor for class net.sf.tweety.lp.asp.analysis.SdInconsistencyMeasure

Creates a new inconsistency measure based on the given solver.

SE_CANNOT_FIND_SOLVER - Static variable in exception net.sf.tweety.lp.asp.reasoner.SolverException

SE_CANNOT_OPEN_INPUT - Static variable in exception net.sf.tweety.lp.asp.reasoner.SolverException

SE_ERROR - Static variable in exception net.sf.tweety.lp.asp.reasoner.SolverException

SE_IO_FAILED - Static variable in exception net.sf.tweety.lp.asp.reasoner.SolverException

SE_NO_BINARY - Static variable in exception net.sf.tweety.lp.asp.reasoner.SolverException

SE_PERMISSIONS - Static variable in exception net.sf.tweety.lp.asp.reasoner.SolverException

SE_SYNTAX_ERROR - Static variable in exception net.sf.tweety.lp.asp.reasoner.SolverException

SEMICOLON - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants

RegularExpression Id.

SEMICOLON - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants

RegularExpression Id.

set(int, ASPLiteral) - Method in class net.sf.tweety.lp.asp.syntax.ASPHead

setBody(List<ASPBodyElement>) - Method in class net.sf.tweety.lp.asp.syntax.ASPRule

setConclusion(ASPHead) - Method in class net.sf.tweety.lp.asp.syntax.ASPRule

setConclusion(ASPLiteral) - Method in class net.sf.tweety.lp.asp.syntax.ASPRule

setDebugStream(PrintStream) - Method in class net.sf.tweety.lp.asp.parser.ASPCore2ParserTokenManager

setFunction(ASPOperator.AggregateFunction) - Method in class net.sf.tweety.lp.asp.syntax.AggregateAtom

Sets the aggregate function.

setHead(ASPHead) - Method in class net.sf.tweety.lp.asp.syntax.ASPRule

setIntegerMaximum(int) - Method in class net.sf.tweety.lp.asp.reasoner.ASPSolver

Set the upper integer bound.

setLeftGuard(Term<?>) - Method in class net.sf.tweety.lp.asp.syntax.AggregateAtom

Set the left relation term (right guard).

setLeftOperator(ASPOperator.BinaryOperator) - Method in class net.sf.tweety.lp.asp.syntax.AggregateAtom

Sets the operator of the left aggregate relation.

setLevel(Term<?>) - Method in class net.sf.tweety.lp.asp.syntax.ASPRule

setLiteral(ASPBodyElement) - Method in class net.sf.tweety.lp.asp.syntax.DefaultNegation

setMaxNumOfModels(int) - Method in class net.sf.tweety.lp.asp.reasoner.ASPSolver

Set the maximum number of models to be generated.

setOperator(ASPOperator.ArithmeticOperator) - Method in class net.sf.tweety.lp.asp.syntax.ArithmeticTerm

Sets the operator of this arithmetic term.

setOptions(String) - Method in class net.sf.tweety.lp.asp.reasoner.ClingoSolver

Set additional command line options for Clingo.

setOptions(String) - Method in class net.sf.tweety.lp.asp.reasoner.DLVSolver

Set additional command line options for DLV.

setOutputWhitelist(Collection<Predicate>) - Method in class net.sf.tweety.lp.asp.syntax.Program

Sets the whitelist of predicates.

setPathToDLV(String) - Method in class net.sf.tweety.lp.asp.reasoner.ClingoSolver

Sets the location of the Clingo solver on the hard drive.

setPathToDLV(String) - Method in class net.sf.tweety.lp.asp.reasoner.DLVSolver

Sets the location of the DLV solver on the hard drive.

setPredicate(Predicate) - Method in class net.sf.tweety.lp.asp.syntax.ASPAtom

setPredicate(Predicate) - Method in class net.sf.tweety.lp.asp.syntax.StrictNegation

setQuery(ASPLiteral) - Method in class net.sf.tweety.lp.asp.syntax.Program

Sets the query of the program.

setRightGuard(Term<?>) - Method in class net.sf.tweety.lp.asp.syntax.AggregateAtom

Set the right relation term (right guard).

setRightOperator(ASPOperator.BinaryOperator) - Method in class net.sf.tweety.lp.asp.syntax.AggregateAtom

Sets the operator of the right aggregate relation.

setTabSize(int) - Method in class net.sf.tweety.lp.asp.parser.SimpleCharStream

setWeight(Term<?>) - Method in class net.sf.tweety.lp.asp.syntax.ASPRule

SimpleCharStream - Class in net.sf.tweety.lp.asp.parser

An implementation of interface CharStream, where the stream is assumed to contain only ASCII characters (without unicode processing).

SimpleCharStream(InputStream) - Constructor for class net.sf.tweety.lp.asp.parser.SimpleCharStream

SimpleCharStream(InputStream, int, int) - Constructor for class net.sf.tweety.lp.asp.parser.SimpleCharStream

SimpleCharStream(InputStream, int, int, int) - Constructor for class net.sf.tweety.lp.asp.parser.SimpleCharStream

SimpleCharStream(InputStream, String) - Constructor for class net.sf.tweety.lp.asp.parser.SimpleCharStream

SimpleCharStream(InputStream, String, int, int) - Constructor for class net.sf.tweety.lp.asp.parser.SimpleCharStream

SimpleCharStream(InputStream, String, int, int, int) - Constructor for class net.sf.tweety.lp.asp.parser.SimpleCharStream

SimpleCharStream(Reader) - Constructor for class net.sf.tweety.lp.asp.parser.SimpleCharStream

SimpleCharStream(Reader, int, int) - Constructor for class net.sf.tweety.lp.asp.parser.SimpleCharStream

SimpleCharStream(Reader, int, int, int) - Constructor for class net.sf.tweety.lp.asp.parser.SimpleCharStream

SimpleNode - Class in net.sf.tweety.lp.asp.parser

SimpleNode(int) - Constructor for class net.sf.tweety.lp.asp.parser.SimpleNode

SimpleNode(ASPCore2Parser, int) - Constructor for class net.sf.tweety.lp.asp.parser.SimpleNode

size() - Method in class net.sf.tweety.lp.asp.syntax.ASPHead

solverErrorCode - Variable in exception net.sf.tweety.lp.asp.reasoner.SolverException

solverErrorText - Variable in exception net.sf.tweety.lp.asp.reasoner.SolverException

SolverException - Exception in net.sf.tweety.lp.asp.reasoner

This class models a generic exception for ASP solvers.

SolverException(String, int) - Constructor for exception net.sf.tweety.lp.asp.reasoner.SolverException

Creates a new SolverException with the given message.

specialToken - Variable in class net.sf.tweety.lp.asp.parser.Token

This field is used to access special tokens that occur prior to this token, but after the immediately preceding regular (non-special) token.

SQUARE_CLOSE - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants

RegularExpression Id.

SQUARE_CLOSE - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants

RegularExpression Id.

SQUARE_OPEN - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants

RegularExpression Id.

SQUARE_OPEN - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants

RegularExpression Id.

statement(String) - Method in class net.sf.tweety.lp.asp.parser.ASTClingoMeta

Statement() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser

Statements() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser

staticFlag - Static variable in class net.sf.tweety.lp.asp.parser.SimpleCharStream

Whether parser is static.

StrictNegation - Class in net.sf.tweety.lp.asp.syntax

This class models the strict negation of an atom (as apposed to a NAF negation: DefaultNegation).

StrictNegation(String) - Constructor for class net.sf.tweety.lp.asp.syntax.StrictNegation

Creates a new negation with the given name.

StrictNegation(Predicate, List<Term<?>>) - Constructor for class net.sf.tweety.lp.asp.syntax.StrictNegation

Creates a new negation with the given predicate and terms.

StrictNegation(ASPAtom) - Constructor for class net.sf.tweety.lp.asp.syntax.StrictNegation

Creates a new negation with the given atom.

StrictNegation(StrictNegation) - Constructor for class net.sf.tweety.lp.asp.syntax.StrictNegation

Copy-Constructor

String() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser

STRING - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants

RegularExpression Id.

STRING - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants

RegularExpression Id.

subList(int, int) - Method in class net.sf.tweety.lp.asp.syntax.ASPHead

substitute(Map<? extends Term<?>, ? extends Term<?>>) - Method in class net.sf.tweety.lp.asp.syntax.AggregateElement

substitute(Map<? extends Term<?>, ? extends Term<?>>) - Method in class net.sf.tweety.lp.asp.syntax.ASPElement

substitute(Map<? extends Term<?>, ? extends Term<?>>) - Method in class net.sf.tweety.lp.asp.syntax.ASPHead

substitute(Map<? extends Term<?>, ? extends Term<?>>) - Method in class net.sf.tweety.lp.asp.syntax.Program

substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.lp.asp.syntax.AggregateAtom

substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.lp.asp.syntax.AggregateElement

substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.lp.asp.syntax.ASPAtom

substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.lp.asp.syntax.ASPBodyElement

substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.lp.asp.syntax.ASPElement

substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.lp.asp.syntax.ASPHead

substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.lp.asp.syntax.ASPRule

substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.lp.asp.syntax.ComparativeAtom

substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.lp.asp.syntax.DefaultNegation

substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.lp.asp.syntax.Program

substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.lp.asp.syntax.StrictNegation

SUM - net.sf.tweety.lp.asp.syntax.ASPOperator.AggregateFunction

SUM_PLUS - net.sf.tweety.lp.asp.syntax.ASPOperator.AggregateFunction

SwitchTo(int) - Method in class net.sf.tweety.lp.asp.parser.ASPCore2ParserTokenManager

T

tabSize - Variable in class net.sf.tweety.lp.asp.parser.SimpleCharStream

Term() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser

Terms() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser

TIMES - net.sf.tweety.lp.asp.syntax.ASPOperator.ArithmeticOperator

TIMES - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants

RegularExpression Id.

TIMES - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants

RegularExpression Id.

toArray() - Method in class net.sf.tweety.lp.asp.syntax.ASPHead

toArray(T[]) - Method in class net.sf.tweety.lp.asp.syntax.ASPHead

toggleOutputWhitelist(boolean) - Method in class net.sf.tweety.lp.asp.reasoner.ClingoSolver

Activates or deactivates the option to use a whitelist of predicates.

token - Variable in class net.sf.tweety.lp.asp.parser.ASPCore2Parser

Current token.

Token - Class in net.sf.tweety.lp.asp.parser

Describes the input token stream.

Token() - Constructor for class net.sf.tweety.lp.asp.parser.Token

No-argument constructor

Token(int) - Constructor for class net.sf.tweety.lp.asp.parser.Token

Token(int, String) - Constructor for class net.sf.tweety.lp.asp.parser.Token

token_source - Variable in class net.sf.tweety.lp.asp.parser.ASPCore2Parser

Generated Token Manager.

tokenImage - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants

Literal token values.

tokenImage - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants

Literal token values.

tokenImage - Variable in exception net.sf.tweety.lp.asp.parser.ParseException

This is a reference to the "tokenImage" array of the generated parser within which the parse error occurred.

TokenMgrError - Error in net.sf.tweety.lp.asp.parser

Token Manager Error.

TokenMgrError() - Constructor for error net.sf.tweety.lp.asp.parser.TokenMgrError

No arg constructor.

TokenMgrError(boolean, int, int, int, String, char, int) - Constructor for error net.sf.tweety.lp.asp.parser.TokenMgrError

TokenMgrError(String, int) - Constructor for error net.sf.tweety.lp.asp.parser.TokenMgrError

toString() - Method in class net.sf.tweety.lp.asp.parser.SimpleNode

toString() - Method in class net.sf.tweety.lp.asp.parser.Token

Returns the image.

toString() - Method in exception net.sf.tweety.lp.asp.reasoner.SolverException

toString() - Method in class net.sf.tweety.lp.asp.semantics.AnswerSet

toString() - Method in class net.sf.tweety.lp.asp.syntax.AggregateAtom

toString() - Method in class net.sf.tweety.lp.asp.syntax.AggregateElement

toString() - Method in class net.sf.tweety.lp.asp.syntax.ArithmeticTerm

toString() - Method in class net.sf.tweety.lp.asp.syntax.ASPAtom

toString() - Method in class net.sf.tweety.lp.asp.syntax.ASPHead

toString() - Method in enum net.sf.tweety.lp.asp.syntax.ASPOperator.AggregateFunction

toString() - Method in enum net.sf.tweety.lp.asp.syntax.ASPOperator.ArithmeticOperator

toString() - Method in enum net.sf.tweety.lp.asp.syntax.ASPOperator.BinaryOperator

toString() - Method in class net.sf.tweety.lp.asp.syntax.ASPRule

toString() - Method in class net.sf.tweety.lp.asp.syntax.ComparativeAtom

toString() - Method in class net.sf.tweety.lp.asp.syntax.DefaultNegation

toString() - Method in class net.sf.tweety.lp.asp.syntax.Program

toString() - Method in class net.sf.tweety.lp.asp.syntax.StrictNegation

toString(String) - Method in class net.sf.tweety.lp.asp.parser.SimpleNode

U

UNEQUAL - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants

RegularExpression Id.

UNEQUAL - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants

RegularExpression Id.

UpdateLineColumn(char) - Method in class net.sf.tweety.lp.asp.parser.SimpleCharStream

usePredicateWhitelist(boolean) - Method in class net.sf.tweety.lp.asp.writer.ClingoWriter

V

value - Variable in class net.sf.tweety.lp.asp.parser.SimpleNode

valueOf(String) - Static method in enum net.sf.tweety.lp.asp.syntax.ASPOperator.AggregateFunction

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum net.sf.tweety.lp.asp.syntax.ASPOperator.ArithmeticOperator

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum net.sf.tweety.lp.asp.syntax.ASPOperator.BinaryOperator

Returns the enum constant of this type with the specified name.

values() - Static method in enum net.sf.tweety.lp.asp.syntax.ASPOperator.AggregateFunction

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum net.sf.tweety.lp.asp.syntax.ASPOperator.ArithmeticOperator

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum net.sf.tweety.lp.asp.syntax.ASPOperator.BinaryOperator

Returns an array containing the constants of this enum type, in the order they are declared.

Variable() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser

VARIABLE - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants

RegularExpression Id.

VARIABLE - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants

RegularExpression Id.

visit(ASTAggregate, Object) - Method in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserVisitor

visit(ASTAggregate, Object) - Method in class net.sf.tweety.lp.asp.parser.InstantiateVisitor

visit(ASTAggrElementList, Object) - Method in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserVisitor

visit(ASTAggrElementList, Object) - Method in class net.sf.tweety.lp.asp.parser.InstantiateVisitor

visit(ASTAggrElement, Object) - Method in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserVisitor

visit(ASTAggrElement, Object) - Method in class net.sf.tweety.lp.asp.parser.InstantiateVisitor

visit(ASTAggrFunc, Object) - Method in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserVisitor

visit(ASTAggrFunc, Object) - Method in class net.sf.tweety.lp.asp.parser.InstantiateVisitor

visit(ASTAnswerSet, Object) - Method in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserVisitor

visit(ASTAnswerSet, Object) - Method in class net.sf.tweety.lp.asp.parser.InstantiateVisitor

visit(ASTAriTerm, Object) - Method in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserVisitor

visit(ASTAriTerm, Object) - Method in class net.sf.tweety.lp.asp.parser.InstantiateVisitor

visit(ASTArithop, Object) - Method in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserVisitor

visit(ASTArithop, Object) - Method in class net.sf.tweety.lp.asp.parser.InstantiateVisitor

visit(ASTBinop, Object) - Method in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserVisitor

visit(ASTBinop, Object) - Method in class net.sf.tweety.lp.asp.parser.InstantiateVisitor

visit(ASTBodyList, Object) - Method in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserVisitor

visit(ASTBodyList, Object) - Method in class net.sf.tweety.lp.asp.parser.InstantiateVisitor

visit(ASTBody, Object) - Method in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserVisitor

visit(ASTBody, Object) - Method in class net.sf.tweety.lp.asp.parser.InstantiateVisitor

visit(ASTBuiltInAtom, Object) - Method in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserVisitor

visit(ASTBuiltInAtom, Object) - Method in class net.sf.tweety.lp.asp.parser.InstantiateVisitor

visit(ASTChoiceElementList, Object) - Method in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserVisitor

visit(ASTChoiceElementList, Object) - Method in class net.sf.tweety.lp.asp.parser.InstantiateVisitor

visit(ASTChoiceElement, Object) - Method in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserVisitor

visit(ASTChoiceElement, Object) - Method in class net.sf.tweety.lp.asp.parser.InstantiateVisitor

visit(ASTChoice, Object) - Method in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserVisitor

visit(ASTChoice, Object) - Method in class net.sf.tweety.lp.asp.parser.InstantiateVisitor

visit(ASTClingoMeta, Object) - Method in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserVisitor

visit(ASTClingoMeta, Object) - Method in class net.sf.tweety.lp.asp.parser.InstantiateVisitor

visit(ASTHeadElementsList, Object) - Method in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserVisitor

visit(ASTHeadElementsList, Object) - Method in class net.sf.tweety.lp.asp.parser.InstantiateVisitor

visit(ASTHead, Object) - Method in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserVisitor

visit(ASTHead, Object) - Method in class net.sf.tweety.lp.asp.parser.InstantiateVisitor

visit(ASTID, Object) - Method in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserVisitor

visit(ASTID, Object) - Method in class net.sf.tweety.lp.asp.parser.InstantiateVisitor

visit(ASTLiteral, Object) - Method in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserVisitor

visit(ASTLiteral, Object) - Method in class net.sf.tweety.lp.asp.parser.InstantiateVisitor

visit(ASTNAFLiteralList, Object) - Method in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserVisitor

visit(ASTNAFLiteralList, Object) - Method in class net.sf.tweety.lp.asp.parser.InstantiateVisitor

visit(ASTNAFLiteral, Object) - Method in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserVisitor

visit(ASTNAFLiteral, Object) - Method in class net.sf.tweety.lp.asp.parser.InstantiateVisitor

visit(ASTNumber, Object) - Method in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserVisitor

visit(ASTNumber, Object) - Method in class net.sf.tweety.lp.asp.parser.InstantiateVisitor

visit(ASTOptElementList, Object) - Method in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserVisitor

visit(ASTOptElementList, Object) - Method in class net.sf.tweety.lp.asp.parser.InstantiateVisitor

visit(ASTOptElement, Object) - Method in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserVisitor

visit(ASTOptElement, Object) - Method in class net.sf.tweety.lp.asp.parser.InstantiateVisitor

visit(ASTOptFunc, Object) - Method in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserVisitor

visit(ASTOptFunc, Object) - Method in class net.sf.tweety.lp.asp.parser.InstantiateVisitor

visit(ASTOpt, Object) - Method in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserVisitor

visit(ASTOpt, Object) - Method in class net.sf.tweety.lp.asp.parser.InstantiateVisitor

visit(ASTProgram, Object) - Method in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserVisitor

visit(ASTProgram, Object) - Method in class net.sf.tweety.lp.asp.parser.InstantiateVisitor

visit(ASTQuery, Object) - Method in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserVisitor

visit(ASTQuery, Object) - Method in class net.sf.tweety.lp.asp.parser.InstantiateVisitor

visit(ASTRuleList, Object) - Method in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserVisitor

visit(ASTRuleList, Object) - Method in class net.sf.tweety.lp.asp.parser.InstantiateVisitor

visit(ASTRule, Object) - Method in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserVisitor

visit(ASTRule, Object) - Method in class net.sf.tweety.lp.asp.parser.InstantiateVisitor

visit(ASTString, Object) - Method in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserVisitor

visit(ASTString, Object) - Method in class net.sf.tweety.lp.asp.parser.InstantiateVisitor

visit(ASTTermList, Object) - Method in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserVisitor

visit(ASTTermList, Object) - Method in class net.sf.tweety.lp.asp.parser.InstantiateVisitor

visit(ASTTerm, Object) - Method in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserVisitor

visit(ASTTerm, Object) - Method in class net.sf.tweety.lp.asp.parser.InstantiateVisitor

visit(ASTVar, Object) - Method in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserVisitor

visit(ASTVar, Object) - Method in class net.sf.tweety.lp.asp.parser.InstantiateVisitor

visit(ASTWeight, Object) - Method in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserVisitor

visit(ASTWeight, Object) - Method in class net.sf.tweety.lp.asp.parser.InstantiateVisitor

visit(SimpleNode, Object) - Method in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserVisitor

visit(SimpleNode, Object) - Method in class net.sf.tweety.lp.asp.parser.InstantiateVisitor

W

WCONS - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants

RegularExpression Id.

WCONS - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants

RegularExpression Id.

weight - Variable in class net.sf.tweety.lp.asp.semantics.AnswerSet

WeightAtLevel() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser

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