Uses of Class
net.sf.tweety.arg.delp.syntax.DefeasibleRule
-
Packages that use DefeasibleRule Package Description net.sf.tweety.arg.delp.syntax -
-
Uses of DefeasibleRule in net.sf.tweety.arg.delp.syntax
Methods in net.sf.tweety.arg.delp.syntax that return types with arguments of type DefeasibleRule Modifier and Type Method Description java.util.Set<DefeasibleRule>
DelpArgument. getSupport()
returns the support of this argumentMethod parameters in net.sf.tweety.arg.delp.syntax with type arguments of type DefeasibleRule Modifier and Type Method Description boolean
DefeasibleLogicProgram. isConsistent(java.util.Set<DefeasibleRule> rules)
Checks whether the given set of defeasible rules are consistent given the strict part of this program.Constructor parameters in net.sf.tweety.arg.delp.syntax with type arguments of type DefeasibleRule Constructor Description DelpArgument(java.util.Set<DefeasibleRule> support, FolFormula conclusion)
constructor; initializes this argument with the given parameters
-