| Package | Description |
|---|---|
| net.sf.tweety.commons.util.rules |
| Modifier and Type | Class and Description |
|---|---|
class |
Derivation<T extends Rule<?,?>>
This class models a derivation, i.e.
|
class |
DerivationGraph<F extends Formula,R extends Rule<F,F>> |
class |
RuleSet<T extends Rule<?,?>>
This class represents a set of rules and provides several
auxiliary methods for accessing such a set.
|
| Modifier and Type | Method and Description |
|---|---|
static <S extends Rule<?,?>> |
Derivation.allDerivations(Collection<? extends S> rules)
Returns the set of all possible derivations from the set of rules.
|
static <S extends Rule<?,?>> |
Derivation.allDerivations(Collection<? extends S> rules,
Formula conclusion)
Returns the set of all possible derivations with the given
conclusion from the set of rules.
|
Copyright © 2018. All rights reserved.