Uses of Package
org.tweetyproject.lp.asp.syntax
-
-
Classes in org.tweetyproject.lp.asp.syntax used by org.tweetyproject.arg.lp.reasoner Class Description ASPLiteral This class defines common functionality for literals, meaning atoms or strictly negated atoms. -
Classes in org.tweetyproject.lp.asp.syntax used by org.tweetyproject.arg.lp.syntax Class Description ASPLiteral This class 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 org.tweetyproject.lp.asp.syntax used by org.tweetyproject.logics.translators.aspfol Class Description ASPAtom This class models an atom, which is a basic structure for building literals and rules for logic programs.ASPLiteral This class defines common functionality for literals, meaning atoms or strictly negated atoms.ClassicalHead This formula represents the head of an disjunctive rule which is a disjunction of literals.StrictNegation This class models the strict negation of an atom (as opposed to a default negation:DefaultNegation
). -
Classes in org.tweetyproject.lp.asp.syntax used by org.tweetyproject.logics.translators.aspnlp Class Description Program This class models an ASP-Core-2 program, meaning a set of rules and optionally a query. -
Classes in org.tweetyproject.lp.asp.syntax used by org.tweetyproject.lp.asp.analysis Class Description Program This class models an ASP-Core-2 program, meaning a set of rules and optionally a query. -
Classes in org.tweetyproject.lp.asp.syntax used by org.tweetyproject.lp.asp.beliefdynamics.baserevision Class Description 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 org.tweetyproject.lp.asp.syntax used by org.tweetyproject.lp.asp.beliefdynamics.revision Class Description 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 org.tweetyproject.lp.asp.syntax used by org.tweetyproject.lp.asp.beliefdynamics.selectiverevision Class Description ASPRule This class models a rule in ASP. -
Classes in org.tweetyproject.lp.asp.syntax used by org.tweetyproject.lp.asp.parser Class 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.ASPLiteral This class 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: PLUS (+), MINUS (-), TIMES (*), DIV (/)ASPOperator.BinaryOperator The binary comparative operators that are supported by the ASP-Core-2 standard and by Tweety: LT (<), LEQ (<=), EQ (==), NEQ (!=), GT (>), GEQ (>=)ASPRule This class models a rule in ASP.ClassicalHead This formula represents the head of an disjunctive rule which is a disjunction of literals.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 {<, <=, ==, !=, >, >=}.OptimizationElement This class represents an element of an optimization statement, meaning a term-literal tuple that is associated with a weight and optionally a priority (level).Program This class models an ASP-Core-2 program, meaning a set of rules and optionally a query. -
Classes in org.tweetyproject.lp.asp.syntax used by org.tweetyproject.lp.asp.reasoner Class Description ASPLiteral This class 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 org.tweetyproject.lp.asp.syntax used by org.tweetyproject.lp.asp.semantics Class Description ASPLiteral This class 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 org.tweetyproject.lp.asp.syntax used by org.tweetyproject.lp.asp.syntax Class 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 class is a common base class for ASP formulas that can be part of an ASP rule head.ASPLiteral This class 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: PLUS (+), MINUS (-), TIMES (*), DIV (/)ASPOperator.BinaryOperator The binary comparative operators that are supported by the ASP-Core-2 standard and by Tweety: LT (<), LEQ (<=), EQ (==), NEQ (!=), GT (>), GEQ (>=)ASPOperator.OptimizeFunction ASPRule This class models a rule in ASP.ClassicalHead This formula represents the head of an disjunctive rule which is a disjunction of literals.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.OptimizationElement This class represents an element of an optimization statement, meaning a term-literal tuple that is associated with a weight and optionally a priority (level).OptimizationStatement This class represents an optimization statement.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 opposed to a default negation:DefaultNegation
). -
Classes in org.tweetyproject.lp.asp.syntax used by org.tweetyproject.lp.asp.writer Class Description Program This class models an ASP-Core-2 program, meaning a set of rules and optionally a query.