public class EfsmModel extends Entity
Modifier and Type | Field and Description |
---|---|
static EntityType |
TYPE
The entity type of all
EfsmModel entities. |
Constructor and Description |
---|
EfsmModel()
Creates an empty EfsmModel.
|
EfsmModel(Efsm efsm)
Creates an EfsmModel above the specified EFSM.
|
EfsmModel(java.util.List<Efsm> efsms)
Creates an EfsmModel above the specified EFSMs.
|
Modifier and Type | Method and Description |
---|---|
void |
add(Entity entity)
Adds a given entity to this one.
|
void |
addEfsm(java.util.Collection<Efsm> efsms)
Adds a specified collection to the set.
|
void |
addEfsm(Efsm efsm)
Adds a specified EFSM to the set.
|
boolean |
equals(java.lang.Object obj) |
java.util.List<Efsm> |
getEfsmList()
Returns the set of EFSMs containing in the model.
|
int |
hashCode() |
getEntityType, toString
public static final EntityType TYPE
EfsmModel
entities.public EfsmModel()
public EfsmModel(Efsm efsm)
efsm
- the EFSMpublic EfsmModel(java.util.List<Efsm> efsms)
efsms
- the List
of the EFSMs.public java.util.List<Efsm> getEfsmList()
List
of EFSMs.public void add(Entity entity)
Entity
public void addEfsm(java.util.Collection<Efsm> efsms)
efsms
- a specified Efsm
collection.public void addEfsm(Efsm efsm)
efsm
- a specified Efsm
.