public class Derivation<T extends Rule<?,?>>
extends java.util.ArrayList<T>
Modifier and Type | Field and Description |
---|---|
private static long |
serialVersionUID |
Constructor and Description |
---|
Derivation(java.util.List<T> rules)
Creates a new derivation with the given sequence of rules.
|
Modifier and Type | Method and Description |
---|---|
static <S extends Rule<?,?>> |
allDerivations(java.util.Collection<? extends S> rules)
Returns the set of all possible derivations from the set of rules.
|
static <S extends Rule<?,?>> |
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.
|
boolean |
equals(java.lang.Object obj) |
Formula |
getConclusion()
Returns the conclusion of this derivation.
|
int |
hashCode() |
boolean |
isFounded()
Checks whether this derivation is founded, i.e.
|
boolean |
isMinimal()
Checks whether this derivation is minimal with
respect to set inclusion.
|
add, add, addAll, addAll, clear, clone, contains, ensureCapacity, forEach, get, indexOf, isEmpty, iterator, lastIndexOf, listIterator, listIterator, remove, remove, removeAll, removeIf, removeRange, replaceAll, retainAll, set, size, sort, spliterator, subList, toArray, toArray, trimToSize
private static final long serialVersionUID
public Derivation(java.util.List<T> rules)
rules
- a sequence of rules.public Formula getConclusion()
public static <S extends Rule<?,?>> java.util.Set<Derivation<S>> allDerivations(java.util.Collection<? extends S> rules)
rules
- a set of rulespublic static <S extends Rule<?,?>> java.util.Set<Derivation<S>> allDerivations(java.util.Collection<? extends S> rules, Formula conclusion)
rules
- a set of rulespublic boolean isFounded()
public boolean isMinimal()
public int hashCode()