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