Uses of Class
net.sf.tweety.arg.deductive.syntax.SimplePlRule
-
Packages that use SimplePlRule Package Description net.sf.tweety.arg.deductive.parser net.sf.tweety.arg.deductive.syntax -
-
Uses of SimplePlRule in net.sf.tweety.arg.deductive.parser
Methods in net.sf.tweety.arg.deductive.parser that return SimplePlRule Modifier and Type Method Description SimplePlRuleSimplePlLogicParser. parseFormula(Reader reader) -
Uses of SimplePlRule in net.sf.tweety.arg.deductive.syntax
Methods in net.sf.tweety.arg.deductive.syntax that return types with arguments of type SimplePlRule Modifier and Type Method Description Collection<? extends SimplePlRule>SimplePlLogicArgument. getSupport()Constructor parameters in net.sf.tweety.arg.deductive.syntax with type arguments of type SimplePlRule Constructor Description SimplePlLogicArgument(Collection<SimplePlRule> _support, net.sf.tweety.logics.pl.syntax.PlFormula _claim)SimplePlLogicArgument(net.sf.tweety.commons.util.rules.Derivation<SimplePlRule> derivation)ConstructorSimplePlLogicDeductiveKnowledgebase(Collection<SimplePlRule> _kb)
-