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

Subclasses with type arguments of type SimplePlRule in org.tweetyproject.arg.deductive.parser

Modifier and Type	Class	Description
class	SimplePlLogicParser	Parses a simple logic knowledge base out of an input text.

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

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

Modifier and Type	Class	Description
class	SimplePlLogicDeductiveKnowledgebase	According to http://www0.cs.ucl.ac.uk/staff/a.hunter/papers/ac13t.pdf a simple logic knowledge base (propositional version only in this implementation) is a set of literals---in this implementation rules with empty body---and a set of simple rules, @see SimplePlRule

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.