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.
-