Uses of Interface
net.sf.tweety.commons.util.rules.Rule

Packages that use Rule

Package	Description
net.sf.tweety.commons.util.rules

Uses of Rule in net.sf.tweety.commons.util.rules

Classes in net.sf.tweety.commons.util.rules with type parameters of type Rule

Modifier and Type	Class and Description
class	Derivation<T extends Rule<?,?>> This class models a derivation, i.e.
class	DerivationGraph<F extends Formula,R extends Rule<F,F>>
class	RuleSet<T extends Rule<?,?>> This class represents a set of rules and provides several auxiliary methods for accessing such a set.

Methods in net.sf.tweety.commons.util.rules with type parameters of type Rule

Modifier and Type	Method and Description
static <S extends Rule<?,?>> Set<Derivation<S>>	Derivation.allDerivations(Collection<? extends S> rules) Returns the set of all possible derivations from the set of rules.
static <S extends Rule<?,?>> Set<Derivation<S>>	Derivation.allDerivations(Collection<? extends S> rules, Formula conclusion) Returns the set of all possible derivations with the given conclusion from the set of rules.