Package | Description |
---|---|
net.sf.tweety.arg.deductive.syntax | |
net.sf.tweety.arg.saf.syntax | |
net.sf.tweety.commons.util.rules |
Constructor and Description |
---|
SimplePlLogicArgument(Derivation<SimplePlRule> derivation)
Constructor
|
Modifier and Type | Field and Description |
---|---|
private Derivation<BasicArgument> |
ArgumentStructure.derivation
The derivation of this argument structure
|
Modifier and Type | Method and Description |
---|---|
static <S extends Rule<?,?>> |
Derivation.allDerivations(java.util.Collection<? extends S> rules)
Returns the set of all possible derivations from the set of rules.
|
static <S extends Rule<?,?>> |
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.
|