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 and 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...

Methods in net.sf.tweety.arg.delp that return types with arguments of type DelpRule

Modifier and Type	Method and Description
java.util.Set<DelpRule>	DefeasibleLogicProgram.getRulesWithHead(FolFormula l) Returns all defeasible and strict rules appearing in this program with the given literal as head

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 and 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 and 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 and Description
java.util.Set<DelpRule>	DelpArgument.getRulesWithHead(FolFormula l) Returns all defeasible rules of the support of this argument with the given literal as head