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

Packages that use Derivation

Package	Description
net.sf.tweety.arg.deductive.syntax
net.sf.tweety.commons.util.rules

Uses of Derivation in net.sf.tweety.arg.deductive.syntax

Constructors in net.sf.tweety.arg.deductive.syntax with parameters of type Derivation

Constructor	Description
SimplePlLogicArgument(Derivation<SimplePlRule> derivation)	Constructor

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	Description
static <S extends Rule<?,?>> java.util.Set<Derivation<S>>	Derivation.allDerivations(java.util.Collection<? extends S> rules)	Returns the set of all possible derivations from the set of rules.
static <S extends Rule<?,?>> java.util.Set<Derivation<S>>	Derivation.allDerivations(java.util.Collection<? extends S> rules, Formula conclusion)	Returns the set of all possible derivations with the given conclusion from the set of rules.