Uses of Class
org.tweetyproject.arg.deductive.syntax.SimplePlRule
-
Uses of SimplePlRule in org.tweetyproject.arg.deductive.parser
-
Uses of SimplePlRule in org.tweetyproject.arg.deductive.syntax
Modifier and TypeMethodDescriptionCollection<? extends SimplePlRule>
SimplePlLogicArgument.getSupport()
ModifierConstructorDescriptionSimplePlLogicArgument
(Collection<SimplePlRule> _support, PlFormula _claim) SimplePlLogicArgument
(Derivation<SimplePlRule> derivation) Constructor