Uses of Class
net.sf.tweety.arg.delp.syntax.DelpRule
-
Packages that use DelpRule Package Description net.sf.tweety.arg.delp net.sf.tweety.arg.delp.semantics net.sf.tweety.arg.delp.syntax -
-
Uses of DelpRule in net.sf.tweety.arg.delp
Fields in net.sf.tweety.arg.delp with type parameters of type DelpRule Modifier and Type Field Description (package private) static java.util.Comparator<DelpRule>
Utilities. compareRules
Compare DeLP rules: 1) compare heads (conclusion) as literals 2) if the same, then a) DelpFact < StrictRule < DefeasibleRule b) within same subclass, compare set of literals... -
Uses of DelpRule in net.sf.tweety.arg.delp.semantics
Methods in net.sf.tweety.arg.delp.semantics that return types with arguments of type DelpRule Modifier and Type Method Description java.util.Set<DelpRule>
ArgumentCompletion. getRulesWithHead(FolFormula l)
-
Uses of DelpRule in net.sf.tweety.arg.delp.syntax
Subclasses of DelpRule in net.sf.tweety.arg.delp.syntax Modifier and Type Class Description class
DefeasibleRule
This class models a defeasible rule in defeasible logic programming.class
DelpFact
This class implements a fact in defeasible logic programming which encapsulates a literal.class
StrictRule
This class models a strict rule in defeasible logic programming.Methods in net.sf.tweety.arg.delp.syntax that return types with arguments of type DelpRule Modifier and Type Method Description java.util.Set<DelpRule>
DefeasibleLogicProgram. getRulesWithHead(FolFormula l)
Returns all defeasible and strict rules appearing in this program with the given literal as headjava.util.Set<DelpRule>
DelpArgument. getRulesWithHead(FolFormula l)
Returns all defeasible rules of the support of this argument with the given literal as head
-