public class RuleSet<T extends Rule<?,?>>
extends java.util.HashSet<T>
Modifier and Type | Field and Description |
---|---|
private static long |
serialVersionUID |
Constructor and Description |
---|
RuleSet()
Creates a new empty rule set.
|
RuleSet(java.util.Collection<? extends T> rules)
Creates a new rule set with the given rules
|
Modifier and Type | Method and Description |
---|---|
java.util.Set<Formula> |
getConclusions()
Returns all conclusions of all rules of this rule set.
|
java.util.Set<Formula> |
getPremises()
Returns all premises appearing in this rule set.
|
java.util.Set<T> |
getRulesWithConclusion(Formula f)
Returns all rules this set with the given conclusion
|
add, clear, clone, contains, isEmpty, iterator, remove, size, spliterator
addAll, containsAll, retainAll, toArray, toArray, toString
finalize, getClass, notify, notifyAll, wait, wait, wait
private static final long serialVersionUID
public RuleSet()
public RuleSet(java.util.Collection<? extends T> rules)
rules
- a collection of rules.public java.util.Set<T> getRulesWithConclusion(Formula f)
f
- a formulapublic java.util.Set<Formula> getConclusions()
public java.util.Set<Formula> getPremises()