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	Description
SimplePlRule	SimplePlLogicParser.parseFormula(java.io.Reader reader)

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

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

Modifier and Type	Field	Description
private java.util.Collection<SimplePlRule>	SimplePlLogicArgument.support

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

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

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

Constructor	Description
SimplePlLogicArgument(java.util.Collection<SimplePlRule> _support, PlFormula _claim)
SimplePlLogicArgument(Derivation<SimplePlRule> derivation)	Constructor
SimplePlLogicDeductiveKnowledgebase(java.util.Collection<SimplePlRule> _kb)