Package | Description |
---|---|
jadex.extension.agr |
Modifier and Type | Method and Description |
---|---|
MGroupType |
MGroupInstance.getGroupType(MAGRSpaceType spacetype)
Get the group type.
|
MGroupType |
MAGRSpaceType.getGroupType(String name)
Get a group type by name.
|
MGroupType[] |
MAGRSpaceType.getMGroupTypes()
Get the group types of this space type.
|
Modifier and Type | Method and Description |
---|---|
void |
MAGRSpaceType.addMGroupType(MGroupType grouptype)
Add a group type to this space type.
|
void |
MAGRSpaceType.removeMGroupType(MGroupType grouptype)
Remove a group type from this space type.
|
Copyright © 2013. All Rights Reserved.