RuleSet (Tweety (Commons) 1.17 API)

java.lang.Object
- java.util.AbstractCollection<E>
- - java.util.AbstractSet<E>
  - - java.util.HashSet<T>
    - - net.sf.tweety.commons.util.rules.RuleSet<T>

Type Parameters:

T - the specific rule class

All Implemented Interfaces:

Serializable, Cloneable, Iterable<T>, Collection<T>, Set<T>
```
public class RuleSet<T extends Rule<?,?>>
extends HashSet<T>
```
This class represents a set of rules and provides several auxiliary methods for accessing such a set.

Author:

Matthias Thimm, Tim Janus

See Also:

Serialized Form

Constructor Summary

Constructors
Constructor Description

RuleSet()
Creates a new empty rule set.

RuleSet(Collection<? extends T> rules)
Creates a new rule set with the given rules

Method Summary

Modifier and Type	Method	Description
`Set<Formula>`	`getConclusions()`	Returns all conclusions of all rules of this rule set.
`Set<Formula>`	`getPremises()`	Returns all premises appearing in this rule set.
`Set<T>`	`getRulesWithConclusion(Formula f)`	Returns all rules this set with the given conclusion
`RuleSet<T>`	`getSyntacticModule(Formula f)`	Returns the maximal subset of this rule set that is closed under "syntactic" neighbourhood relationship for the given formula.

Methods inherited from class java.util.HashSet
add, clear, clone, contains, isEmpty, iterator, remove, size, spliterator

Methods inherited from class java.util.AbstractSet
equals, hashCode, removeAll

Methods inherited from class java.util.AbstractCollection
addAll, containsAll, retainAll, toArray, toArray, toString

Methods inherited from class java.lang.Object
finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.Collection
parallelStream, removeIf, stream, toArray

Methods inherited from interface java.lang.Iterable
forEach

Methods inherited from interface java.util.Set
addAll, containsAll, equals, hashCode, removeAll, retainAll, toArray, toArray

- Constructor Detail
  - RuleSet
```
public RuleSet()
```
    Creates a new empty rule set.
  - RuleSet
```
public RuleSet(Collection<? extends T> rules)
```
    Creates a new rule set with the given rules
    
    Parameters:
    
    rules - a collection of rules.
- Method Detail
  - getRulesWithConclusion
```
public Set<T> getRulesWithConclusion(Formula f)
```
    Returns all rules this set with the given conclusion
    
    Parameters:
    
    f - a formula
    
    Returns:
    
    all rules this set with the given conclusion
  - getConclusions
```
public Set<Formula> getConclusions()
```
    Returns all conclusions of all rules of this rule set.
    
    Returns:
    
    all conclusions of all rules of this rule set.
  - getPremises
```
public Set<Formula> getPremises()
```
    Returns all premises appearing in this rule set.
    
    Returns:
    
    all premises appearing in this rule set.
  - getSyntacticModule
```
public RuleSet<T> getSyntacticModule(Formula f)
```
    Returns the maximal subset of this rule set that is closed under "syntactic" neighbourhood relationship for the given formula. A formula/rule has a "syntactic" neighbourhood relationship with a rule iff they share vocabulary elements.
    
    Parameters:
    
    f - some formula
    
    Returns:
    
    a rule set.