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

Packages that use SimplePlRule

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

Uses of SimplePlRule in net.sf.tweety.arg.simplelogicdeductive

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

Constructor and Description
SimplePlLogicDeductiveKnowledgebase(java.util.Collection<SimplePlRule> _kb)

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

Fields in net.sf.tweety.arg.simplelogicdeductive.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.simplelogicdeductive.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.simplelogicdeductive.syntax with type arguments of type SimplePlRule

Constructor and Description
SimplePlLogicArgument(java.util.Collection<SimplePlRule> _support, PropositionalFormula _claim)
SimplePlLogicArgument(DigraphNode<SimplePlRule> node) Constructor