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

Packages that use SimplePlRule

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

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 and 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 and Description
java.util.Collection<? extends SimplePlRule>	SimplePlLogicArgument.getSupport()

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

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