Uses of Class
org.tweetyproject.arg.delp.syntax.DefeasibleRule
-
Uses of DefeasibleRule in org.tweetyproject.arg.delp.syntax
Modifier and TypeMethodDescriptionboolean
DefeasibleLogicProgram.isConsistent(Set<DefeasibleRule> rules)
Checks whether the given set of defeasible rules are consistent given the strict part of this program.ModifierConstructorDescriptionDelpArgument(Set<DefeasibleRule> support, FolFormula conclusion)
constructor; initializes this argument with the given parameters