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

Modifier	Constructor	Description
	SimplePlLogicArgument(Derivation<SimplePlRule> derivation)	Constructs a simple propositional logic argument from a derivation.

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<?, ?>> 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.