Uses of Class
net.sf.tweety.arg.deductive.syntax.SimplePlRule

Packages that use SimplePlRule

Package	Description
net.sf.tweety.arg.deductive.parser
net.sf.tweety.arg.deductive.syntax

Uses of SimplePlRule in net.sf.tweety.arg.deductive.parser

Methods in net.sf.tweety.arg.deductive.parser that return SimplePlRule

Modifier and Type	Method and Description
SimplePlRule	SimplePlLogicParser.parseFormula(Reader reader)

Uses of SimplePlRule in net.sf.tweety.arg.deductive.syntax

Methods in net.sf.tweety.arg.deductive.syntax that return types with arguments of type SimplePlRule

Modifier and Type	Method and Description
Collection<? extends SimplePlRule>	SimplePlLogicArgument.getSupport()

Constructor parameters in net.sf.tweety.arg.deductive.syntax with type arguments of type SimplePlRule

Constructor and Description
SimplePlLogicArgument(Collection<SimplePlRule> _support, net.sf.tweety.logics.pl.syntax.PropositionalFormula _claim)
SimplePlLogicArgument(net.sf.tweety.commons.util.rules.Derivation<SimplePlRule> derivation) Constructor
SimplePlLogicDeductiveKnowledgebase(Collection<SimplePlRule> _kb)