Uses of Class
jadex.extension.agr.MAGRSpaceType

Packages that use MAGRSpaceType

Package	Description
jadex.extension.agr

Uses of MAGRSpaceType in jadex.extension.agr

Methods in jadex.extension.agr that return MAGRSpaceType

Modifier and Type	Method and Description
MAGRSpaceType	MAGRSpaceInstance.getType() Get the type of this element.

Methods in jadex.extension.agr with parameters of type MAGRSpaceType

Modifier and Type	Method and Description
MGroupType	MGroupInstance.getGroupType(MAGRSpaceType spacetype) Get the group type.
void	MAGRSpaceInstance.setType(MAGRSpaceType spacetype) Set the type of this element.