Uses of Class
net.sf.tweety.arg.delp.syntax.DefeasibleRule

Packages that use DefeasibleRule

Package	Description
net.sf.tweety.arg.delp
net.sf.tweety.arg.delp.syntax

Uses of DefeasibleRule in net.sf.tweety.arg.delp

Method parameters in net.sf.tweety.arg.delp with type arguments of type DefeasibleRule

Modifier and Type	Method and Description
java.util.Set<FolFormula>	DefeasibleLogicProgram.getStrictClosure(java.util.Set<FolFormula> literals, java.util.Set<DefeasibleRule> defeasibleRules) Computes the strict closure of the program, i.e., the set of all strictly derivable literals.
java.util.Set<FolFormula>	DefeasibleLogicProgram.getStrictClosure(java.util.Set<FolFormula> literals, java.util.Set<DefeasibleRule> defeasibleRules, boolean usefacts) Computes the strict closure of the program, i.e., the set of all strictly derivable literals.
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.

Uses of DefeasibleRule in net.sf.tweety.arg.delp.syntax

Fields in net.sf.tweety.arg.delp.syntax with type parameters of type DefeasibleRule

Modifier and Type	Field and Description
private java.util.Set<DefeasibleRule>	DelpArgument.support The support of this argument

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

Modifier and Type	Method and Description
java.util.Set<DefeasibleRule>	DelpArgument.getSupport() returns the support of this argument

Constructor parameters in net.sf.tweety.arg.delp.syntax with type arguments of type DefeasibleRule

Constructor and Description
DelpArgument(java.util.Set<DefeasibleRule> support, FolFormula conclusion) constructor; initializes this argument with the given parameters