Uses of Class
net.sf.tweety.lp.asp.syntax.ASPElement

Packages that use ASPElement

Package	Description
net.sf.tweety.lp.asp.syntax

Uses of ASPElement in net.sf.tweety.lp.asp.syntax

Subclasses of ASPElement in net.sf.tweety.lp.asp.syntax

Modifier and Type	Class and 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	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 formula represents the head of an disjunctive rule which is a disjunction of literals.
class	ASPLiteral This interface defines common functionality for literals, meaning atoms or strictly negated atoms.
class	ASPRule This class models a rule in ASP.
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	StrictNegation This class models the strict negation of an atom (as apposed to a NAF negation: DefaultNegation).

Methods in net.sf.tweety.lp.asp.syntax that return ASPElement

Modifier and Type	Method and Description
abstract ASPElement	ASPElement.clone()
ASPElement	ASPElement.exchange(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> v, net.sf.tweety.logics.commons.syntax.interfaces.Term<?> t)
ASPElement	ASPElement.substitute(Map<? extends net.sf.tweety.logics.commons.syntax.interfaces.Term<?>,? extends net.sf.tweety.logics.commons.syntax.interfaces.Term<?>> map)
abstract ASPElement	ASPElement.substitute(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> t, net.sf.tweety.logics.commons.syntax.interfaces.Term<?> v)