Uses of Class
org.tweetyproject.lp.asp.syntax.ASPElement

Packages that use ASPElement

Package	Description
org.tweetyproject.lp.asp.syntax

Uses of ASPElement in org.tweetyproject.lp.asp.syntax

Subclasses of ASPElement in org.tweetyproject.lp.asp.syntax

Modifier and Type	Class	Description
class	AggregateAtom	This class represents an aggregate.
class	AggregateElement	This class models an aggregate element, meaning a set of terms and a set of naf literals (= literals or default negated literals).
class	AggregateHead	This class is a variant of the basic ASP rule head.
class	ASPAtom	This class models an atom, which is a basic structure for building literals and rules for logic programs.
class	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.
class	ASPHead	This class is a common base class for ASP formulas that can be part of an ASP rule head.
class	ASPLiteral	This class defines common functionality for literals, meaning atoms or strictly negated atoms.
class	ASPRule	This class models a rule in ASP.
class	ChoiceElement	This class represents an element of a choice atom.
class	ChoiceHead	This class is a variant of the basic ASP rule head.
class	ClassicalHead	This formula represents the head of an disjunctive rule which is a disjunction of literals.
class	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 {<, <=, ==, !=, >, >=}.
class	DefaultNegation	This class represents a default negated literal, i.e.
class	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).
class	OptimizationStatement	This class represents an optimization statement.
class	StrictNegation	This class models the strict negation of an atom (as opposed to a default negation: DefaultNegation).

Methods in org.tweetyproject.lp.asp.syntax that return ASPElement

Modifier and Type	Method	Description
ASPElement	AggregateHead.clone()
abstract ASPElement	ASPElement.clone()
ASPElement	OptimizationElement.clone()
ASPElement	ASPElement.exchange(Term<?> v, Term<?> t)
ASPElement	AggregateHead.substitute(Term<?> t, Term<?> v)
ASPElement	ASPElement.substitute(Map<? extends Term<?>,? extends Term<?>> map)
abstract ASPElement	ASPElement.substitute(Term<?> t, Term<?> v)
ASPElement	ChoiceHead.substitute(Term<?> t, Term<?> v)