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()	Returns the support of this argument, i.e., the set of rules that provide the basis for the claim.

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

Modifier	Constructor	Description
	SimplePlLogicArgument(Collection<SimplePlRule> _support, PlFormula _claim)	Constructs a simple propositional logic argument with the given support and claim.
	SimplePlLogicArgument(Derivation<SimplePlRule> derivation)	Constructs a simple propositional logic argument from a derivation.
	SimplePlLogicDeductiveKnowledgebase(Collection<SimplePlRule> _kb)	Constructor for creating a deductive knowledge base with an initial collection of rules.