Uses of Package
net.sf.tweety.lp.asp.syntax

Packages that use net.sf.tweety.lp.asp.syntax

Package	Description
net.sf.tweety.lp.asp.analysis
net.sf.tweety.lp.asp.parser
net.sf.tweety.lp.asp.reasoner
net.sf.tweety.lp.asp.semantics
net.sf.tweety.lp.asp.syntax
net.sf.tweety.lp.asp.writer

Classes in net.sf.tweety.lp.asp.syntax used by net.sf.tweety.lp.asp.analysis

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

Classes in net.sf.tweety.lp.asp.syntax used by net.sf.tweety.lp.asp.parser

Class and Description
AggregateAtom This class represents an aggregate.
AggregateElement This class models an aggregate element, meaning a set of terms and a set of naf literals (= literals or default negated literals).
ASPBodyElement 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.
ASPHead This formula represents the head of an disjunctive rule which is a disjunction of literals.
ASPLiteral This interface defines common functionality for literals, meaning atoms or strictly negated atoms.
ASPOperator.AggregateFunction The following aggregate functions are supported by the ASP-Core-2 standard and by Tweety.
ASPOperator.ArithmeticOperator The arithmetic operators that are supported by the ASP-Core-2 standard and by Tweety.
ASPOperator.BinaryOperator The binary comparative operators that are supported by the ASP-Core-2 standard and by Tweety.
ASPRule This class models a rule in ASP.
ComparativeAtom This class represents a comparative atom, meaning an expression of the form t x u where t,u are terms and x is in {<, <=, ==, !=, >, >=}.
Program This class models an ASP-Core-2 program, meaning a set of rules and optionally a query.

Classes in net.sf.tweety.lp.asp.syntax used by net.sf.tweety.lp.asp.reasoner

Class and Description
ASPLiteral This interface defines common functionality for literals, meaning atoms or strictly negated atoms.
Program This class models an ASP-Core-2 program, meaning a set of rules and optionally a query.

Classes in net.sf.tweety.lp.asp.syntax used by net.sf.tweety.lp.asp.semantics

Class and Description
ASPLiteral This interface defines common functionality for literals, meaning atoms or strictly negated atoms.
ASPRule This class models a rule in ASP.
Program This class models an ASP-Core-2 program, meaning a set of rules and optionally a query.

Classes in net.sf.tweety.lp.asp.syntax used by net.sf.tweety.lp.asp.syntax

Class and Description
AggregateAtom This class represents an aggregate.
AggregateElement This class models an aggregate element, meaning a set of terms and a set of naf literals (= literals or default negated literals).
ArithmeticTerm This class represents an arithmetic term in the ASP-Core-2 format.
ASPAtom This class models an atom, which is a basic structure for building literals and rules for logic programs.
ASPBodyElement 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.
ASPElement This class acts as an abstract base class for elements of ASP rules.
ASPHead This formula represents the head of an disjunctive rule which is a disjunction of literals.
ASPLiteral This interface defines common functionality for literals, meaning atoms or strictly negated atoms.
ASPOperator.AggregateFunction The following aggregate functions are supported by the ASP-Core-2 standard and by Tweety.
ASPOperator.ArithmeticOperator The arithmetic operators that are supported by the ASP-Core-2 standard and by Tweety.
ASPOperator.BinaryOperator The binary comparative operators that are supported by the ASP-Core-2 standard and by Tweety.
ASPRule This class models a rule in ASP.
ComparativeAtom This class represents a comparative atom, meaning an expression of the form t x u where t,u are terms and x is in {<, <=, ==, !=, >, >=}.
DefaultNegation This class represents a default negated literal, i.e.
Program This class models an ASP-Core-2 program, meaning a set of rules and optionally a query.
StrictNegation This class models the strict negation of an atom (as apposed to a NAF negation: DefaultNegation).

Classes in net.sf.tweety.lp.asp.syntax used by net.sf.tweety.lp.asp.writer

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