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

Packages that use ASPBodyElement
Package Description

net.sf.tweety.lp.asp.parser

net.sf.tweety.lp.asp.syntax

Uses of ASPBodyElement in net.sf.tweety.lp.asp.parser

Methods in net.sf.tweety.lp.asp.parser that return ASPBodyElement
Modifier and Type	Method	Description
`ASPBodyElement`	InstantiateVisitor.`visit(ASTNAFLiteral node, java.lang.Object data)`

Methods in net.sf.tweety.lp.asp.parser that return types with arguments of type ASPBodyElement
Modifier and Type	Method	Description
`java.util.List<ASPBodyElement>`	InstantiateVisitor.`visit(ASTBodyList node, java.lang.Object data)`
`java.util.List<ASPBodyElement>`	InstantiateVisitor.`visit(ASTBody node, java.lang.Object data)`
`java.util.List<ASPBodyElement>`	InstantiateVisitor.`visit(ASTNAFLiteralList node, java.lang.Object data)`

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

Subclasses of ASPBodyElement in net.sf.tweety.lp.asp.syntax
Modifier and Type	Class	Description
`class`	`AggregateAtom`	This class represents an aggregate.
`class`	`ASPAtom`	This class models an atom, which is a basic structure for building literals and rules for logic programs.
`class`	`ASPLiteral`	This interface defines common functionality for literals, meaning atoms or strictly negated atoms.
`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 ASPBodyElement
Modifier and Type	Method	Description
`ASPBodyElement`	ComparativeAtom.`clone()`
`ASPBodyElement`	DefaultNegation.`getLiteral()`
`abstract ASPBodyElement`	ASPBodyElement.`substitute(Term<?> t, Term<?> v)`
`ASPBodyElement`	DefaultNegation.`substitute(Term<?> t, Term<?> v)`

Methods in net.sf.tweety.lp.asp.syntax that return types with arguments of type ASPBodyElement
Modifier and Type	Method	Description
`java.util.List<ASPBodyElement>`	ASPRule.`getBody()`
`java.util.List<ASPBodyElement>`	ASPRule.`getPremise()`
`java.util.List<ASPBodyElement>`	AggregateElement.`getRight()`	Returns the right part of the Aggregate element.

Methods in net.sf.tweety.lp.asp.syntax with parameters of type ASPBodyElement
Modifier and Type	Method	Description
`void`	ASPRule.`addPremise(ASPBodyElement premise)`
`void`	DefaultNegation.`setLiteral(ASPBodyElement literal)`

Method parameters in net.sf.tweety.lp.asp.syntax with type arguments of type ASPBodyElement
Modifier and Type	Method	Description
`void`	ASPRule.`addPremises(java.util.Collection<? extends ASPBodyElement> premises)`
`void`	ASPRule.`setBody(java.util.List<ASPBodyElement> body)`

Constructors in net.sf.tweety.lp.asp.syntax with parameters of type ASPBodyElement
Constructor	Description
`ASPRule(ASPLiteral head, ASPBodyElement b)`	Creates a rule with the given head and a single-element body.
`DefaultNegation(ASPBodyElement at)`	Creates new default negation with the given literal.

Constructor parameters in net.sf.tweety.lp.asp.syntax with type arguments of type ASPBodyElement
Constructor	Description
`ASPRule(java.util.List<ASPBodyElement> body)`	Creates a constraint with the given body.
`ASPRule(java.util.List<ASPBodyElement> nafliterals, Term<?> weight, java.util.List<Term<?>> terms)`	Creates a constraint with the given weight and terms.
`ASPRule(java.util.List<ASPBodyElement> body, Term<?> weight, Term<?> level, java.util.List<Term<?>> terms)`	Creates a constraint with the given weight, level and terms.
`ASPRule(ASPHead head, java.util.List<ASPBodyElement> body)`	Creates a rule with the given head and body.
`ASPRule(ASPLiteral head, java.util.List<ASPBodyElement> body)`	Creates a rule with the given head and body.