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(java.io.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 java.util.Collection<? extends SimplePlRule>
SimplePlLogicArgument. getSupport()
Constructor parameters in org.tweetyproject.arg.deductive.syntax with type arguments of type SimplePlRule Constructor Description SimplePlLogicArgument(java.util.Collection<SimplePlRule> _support, PlFormula _claim)
SimplePlLogicArgument(Derivation<SimplePlRule> derivation)
ConstructorSimplePlLogicDeductiveKnowledgebase(java.util.Collection<SimplePlRule> _kb)
-