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

Packages that use ASPHead

Package	Description
org.tweetyproject.lp.asp.syntax

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

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

Modifier and Type	Class	Description
class	AggregateHead	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.

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

Modifier and Type	Method	Description
ASPHead	ASPRule.getConclusion()
ASPHead	ASPRule.getHead()

Methods in org.tweetyproject.lp.asp.syntax with parameters of type ASPHead

Modifier and Type	Method	Description
void	ASPRule.setConclusion(ASPHead conclusion)
void	ASPRule.setHead(ASPHead head)	Set the head of this rule.

Constructors in org.tweetyproject.lp.asp.syntax with parameters of type ASPHead

Constructor	Description
ASPRule(ASPHead head)	Creates a fact with the given ASPHead.
ASPRule(ASPHead head, java.util.List<ASPBodyElement> body)	Creates a rule with the given head and body.
ASPRule(ASPHead head, ASPBodyElement b)	Creates a rule with the given head and a single-element body.