Uses of Class
org.tweetyproject.commons.util.rules.Derivation
-
Uses of Derivation in org.tweetyproject.arg.deductive.syntax
ModifierConstructorDescriptionSimplePlLogicArgument(Derivation<SimplePlRule> derivation)
Constructor -
Uses of Derivation in org.tweetyproject.commons.util.rules
Modifier and TypeMethodDescriptionstatic <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.