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

Constructor parameters in org.tweetyproject.arg.deductive.syntax with type arguments of type SimplePlRule

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