Uses of Class
org.tweetyproject.arg.deductive.syntax.SimplePlRule

Packages that use SimplePlRule

Package	Description
org.tweetyproject.arg.deductive.parser
org.tweetyproject.arg.deductive.syntax

Uses of SimplePlRule in org.tweetyproject.arg.deductive.parser

Methods in org.tweetyproject.arg.deductive.parser that return SimplePlRule

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

Uses of SimplePlRule in org.tweetyproject.arg.deductive.syntax

Methods in org.tweetyproject.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 org.tweetyproject.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)