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