Uses of Class
org.tweetyproject.commons.util.rules.Derivation

Packages that use Derivation

Package	Description
org.tweetyproject.arg.deductive.syntax
org.tweetyproject.commons.util.rules

Uses of Derivation in org.tweetyproject.arg.deductive.syntax

Constructors in org.tweetyproject.arg.deductive.syntax with parameters of type Derivation

Constructor	Description
SimplePlLogicArgument(Derivation<SimplePlRule> derivation)	Constructor

Uses of Derivation in org.tweetyproject.commons.util.rules

Methods in org.tweetyproject.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.