Uses of Class
net.sf.tweety.commons.util.rules.Derivation

Packages that use Derivation

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

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

Methods in net.sf.tweety.commons.util.rules that return types with arguments of type Derivation

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.