net.sf.tweety.commons.util.rules

Class RuleSet<T extends Rule<?,?>>

java.lang.Object

java.util.AbstractCollection<E>

java.util.AbstractSet<E>

java.util.HashSet<T>

net.sf.tweety.commons.util.rules.RuleSet<T>

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 and 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 and 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

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.Set

addAll, containsAll, equals, hashCode, removeAll, retainAll, toArray, toArray

Methods inherited from interface java.util.Collection

parallelStream, removeIf, stream

Methods inherited from interface java.lang.Iterable

forEach

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.