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