Uses of Class
net.sf.tweety.lp.asp.syntax.ASPBodyElement
-
Packages that use ASPBodyElement Package Description net.sf.tweety.logics.translators.aspnlp net.sf.tweety.lp.asp.parser net.sf.tweety.lp.asp.syntax -
-
Uses of ASPBodyElement in net.sf.tweety.logics.translators.aspnlp
Method parameters in net.sf.tweety.logics.translators.aspnlp with type arguments of type ASPBodyElement Modifier and Type Method Description private void
AspNlpTranslator. bodiesFromDisjunction(Disjunction source, java.util.List<java.util.List<ASPBodyElement>> bodies)
Helper method:private void
AspNlpTranslator. bodiesFromFormula(FolFormula source, java.util.List<java.util.List<ASPBodyElement>> bodies)
Helper method: Generates a list of possible bodies for the given FOL-Formula. -
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
).Fields in net.sf.tweety.lp.asp.syntax declared as ASPBodyElement Modifier and Type Field Description private ASPBodyElement
DefaultNegation. literal
The default negated element.Fields in net.sf.tweety.lp.asp.syntax with type parameters of type ASPBodyElement Modifier and Type Field Description private java.util.List<ASPBodyElement>
ASPRule. body
The body (premise) of a rule.private java.util.List<ASPBodyElement>
AggregateElement. right
The literal tuple of this aggregate element.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.
-