public final class ConflictModel extends Entity
EfsmConflictExtractor
engine execution.Modifier and Type | Field and Description |
---|---|
static EntityType |
TYPE |
Constructor and Description |
---|
ConflictModel()
Constructs the ConflictModel class.
|
ConflictModel(java.util.Collection<Conflict> conflicts)
Constructs the ConflictModel class using the specified set of conflicts.
|
Modifier and Type | Method and Description |
---|---|
void |
add(Entity entity)
Adds a given entity to this one.
|
void |
addConflict(Conflict conflict)
Adds a specified conflict to the set.
|
void |
addConflicts(java.util.Collection<Conflict> conflicts)
Adds a specified collection of conflicts to the set.
|
java.util.Collection<Conflict> |
getConflicts()
Returns the set of conflicts.
|
equals, getEntityType, hashCode, toString
public static final EntityType TYPE
public void add(Entity entity)
Entity
public void addConflict(Conflict conflict)
conflict
- the specified Conflict
.public void addConflicts(java.util.Collection<Conflict> conflicts)
conflicts
- the specified collection of Conflict
.public java.util.Collection<Conflict> getConflicts()
Collection
of conflicts.