public class HittingSets
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
protected java.util.Vector |
conflicts
The conflict sets from which the hitting sets are calculated.
|
protected java.util.Vector |
hittingSets
The hitting sets of the conflict.
|
Constructor and Description |
---|
HittingSets(java.util.Vector conflicts)
Creates hitting sets from system conflicts.
|
Modifier and Type | Method and Description |
---|---|
protected void |
calculateHittingSets(java.util.Vector cs,
java.util.Vector hs)
Calculates the hitting sets from a set of conflicts.
|
java.util.Vector |
getSets()
Method used to get the hitting sets.
|
protected java.util.Vector conflicts
protected java.util.Vector hittingSets
public HittingSets(java.util.Vector conflicts)
conflicts
- The conflict sets.public java.util.Vector getSets()
protected void calculateHittingSets(java.util.Vector cs, java.util.Vector hs)
cs
- The conflict sets.hs
- The vector in which the hitting sets should be stored.