Uses of Package
org.tweetyproject.lp.asp.syntax
Packages that use org.tweetyproject.lp.asp.syntax
Package
Description
-
Classes in org.tweetyproject.lp.asp.syntax used by org.tweetyproject.arg.lp.reasonerClassDescriptionThis 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.syntaxClassDescriptionThis class defines common functionality for literals, meaning atoms or strictly negated atoms.This class models a rule in ASP.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.aspfolClassDescriptionThis class models an atom, which is a basic structure for building literals and rules for logic programs.This class defines common functionality for literals, meaning atoms or strictly negated atoms.This formula represents the head of an disjunctive rule which is a disjunction of literals.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.aspnlpClassDescriptionThis 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.analysisClassDescriptionThis 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
-
-
Classes in org.tweetyproject.lp.asp.syntax used by org.tweetyproject.lp.asp.grounderClassDescriptionThis 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.parserClassDescriptionThis class represents an aggregate.This class models an aggregate element, meaning a set of terms and a set of naf literals (= literals or default negated literals).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.This class is a common base class for ASP formulas that can be part of an ASP rule head.This class defines common functionality for literals, meaning atoms or strictly negated atoms.The following aggregate functions are supported by the ASP-Core-2 standard and by Tweety.The arithmetic operators that are supported by the ASP-Core-2 standard: PLUS (+), MINUS (-), TIMES (*), DIV (/)
In addition, the following operators from Clingo and DLV are supported: MODULO (\)The binary comparative operators that are supported by the ASP-Core-2 standard and by Tweety: LT (<), LEQ (<=), EQ (==), NEQ (!=), GT (>), GEQ (>=)This class models a rule in ASP.This class represents an element of a choice atom.This class is a variant of the basic ASP rule head.This class represents a comparative atom, meaning an expression of the form 't x u' where t,u are terms and x is in {<, <=, ==, !=, >, >=}.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).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.reasonerClassDescriptionThis class defines common functionality for literals, meaning atoms or strictly negated atoms.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.semanticsClassDescriptionThis class defines common functionality for literals, meaning atoms or strictly negated atoms.This class models a rule in ASP.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.syntaxClassDescriptionThis class represents an aggregate.This class models an aggregate element, meaning a set of terms and a set of naf literals (= literals or default negated literals).This class represents an arithmetic term in the ASP-Core-2 format.This class models an atom, which is a basic structure for building literals and rules for logic programs.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.This class acts as an abstract base class for elements of ASP rules.This class is a common base class for ASP formulas that can be part of an ASP rule head.This class defines common functionality for literals, meaning atoms or strictly negated atoms.The following aggregate functions are supported by the ASP-Core-2 standard and by Tweety.The arithmetic operators that are supported by the ASP-Core-2 standard: PLUS (+), MINUS (-), TIMES (*), DIV (/)
In addition, the following operators from Clingo and DLV are supported: MODULO (\)The binary comparative operators that are supported by the ASP-Core-2 standard and by Tweety: LT (<), LEQ (<=), EQ (==), NEQ (!=), GT (>), GEQ (>=)This class models a rule in ASP.This class represents an element of a choice atom.This class is a variant of the basic ASP rule head.This formula represents the head of an disjunctive rule which is a disjunction of literals.This class represents a comparative atom, meaning an expression of the form 't x u' where t,u are terms and x is in {<, <=, ==, !=, >, >=}.This class represents a default negated literal, i.e.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).This class represents an optimization statement.This class models an ASP-Core-2 program, meaning a set of rules and optionally a query.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.writerClassDescriptionThis class models an ASP-Core-2 program, meaning a set of rules and optionally a query.