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

Packages that use ASPRule

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

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

Methods in net.sf.tweety.lp.asp.parser that return ASPRule

Modifier and Type	Method and Description
static ASPRule	ASPCore2Parser.parseRule(Reader reader)
static ASPRule	ASPCore2Parser.parseRule(String rule)
ASPRule	InstantiateVisitor.visit(ASTChoiceElement node, Object data)
ASPRule	InstantiateVisitor.visit(ASTOptElement node, Object data)
ASPRule	InstantiateVisitor.visit(ASTRule node, Object data)

Methods in net.sf.tweety.lp.asp.parser that return types with arguments of type ASPRule

Modifier and Type	Method and Description
List<ASPRule>	InstantiateVisitor.visit(ASTChoiceElementList node, Object data)
List<ASPRule>	InstantiateVisitor.visit(ASTOptElementList node, Object data)
List<ASPRule>	InstantiateVisitor.visit(ASTOpt node, Object data)
List<ASPRule>	InstantiateVisitor.visit(ASTRuleList node, Object data)

Uses of ASPRule in net.sf.tweety.lp.asp.semantics

Methods in net.sf.tweety.lp.asp.semantics with parameters of type ASPRule

Modifier and Type	Method and Description
boolean	AnswerSet.satisfies(ASPRule formula)

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

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

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

Methods in net.sf.tweety.lp.asp.syntax that return types with arguments of type ASPRule

Modifier and Type	Method and Description
Set<ASPRule>	Program.getRules() Returns all rules of the program.

Methods in net.sf.tweety.lp.asp.syntax with parameters of type ASPRule

Modifier and Type	Method and Description
int	ASPRule.compareTo(ASPRule arg0)
boolean	Program.contains(ASPRule r) Returns true if the program contains a given rule.

Method parameters in net.sf.tweety.lp.asp.syntax with type arguments of type ASPRule

Modifier and Type	Method and Description
void	Program.addAll(List<ASPRule> rules)

Constructors in net.sf.tweety.lp.asp.syntax with parameters of type ASPRule

Constructor and Description
ASPRule(ASPRule other) Copy-Constructor

Constructor parameters in net.sf.tweety.lp.asp.syntax with type arguments of type ASPRule

Constructor and Description
Program(ASPLiteral query, Set<ASPRule> rules) Creates a new program with the given query and rules.
Program(Collection<ASPRule> rules) Creates a new program with the given rules.