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

Packages that use Rule

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

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

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

Modifier and Type	Method and Description
static Rule	ASPParser.parseRule(Reader reader)
static Rule	ASPParser.parseRule(String rule)
Rule	InstantiateVisitor.visit(ASTRule node, Object data)

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

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

Modifier and Type	Method and Description
Rule	Rule.clone()
Rule	Rule.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 with parameters of type Rule

Modifier and Type	Method and Description
int	Rule.compareTo(Rule arg0)

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

Constructor and Description
Rule(Rule other) Copy-Ctor: Makes a deep copy of the given rule

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

Constructor and Description
Program(Collection<Rule> base) Add all rules from base to this program.