Class PragRuleProverSet

All Implemented Interfaces:
Serializable, Cloneable, Iterable<PragRuleProver>, Collection<PragRuleProver>, Set<PragRuleProver>

public class PragRuleProverSet extends HashSet<PragRuleProver>
See Also: