Uses of Class
moise.os.fs.Mission

Packages that use Mission

Package	Description
moise.oe
moise.os
moise.os.fs
moise.os.ns
moise.tools

Uses of Mission in moise.oe

Fields in moise.oe declared as Mission

Modifier and Type	Field	Description
(package private) Mission	Permission.mis
private Mission	MissionPlayer.mission

Methods in moise.oe that return Mission

Modifier and Type	Method	Description
Mission	MissionPlayer.getMission()
Mission	Permission.getMission()

Methods in moise.oe with parameters of type Mission

Modifier and Type	Method	Description
private void	OEAgent.checkDS(Mission mis, SchemeInstance sch)	checks if this agent's roles (in the scheme groups) gives him permission for the mission
protected void	OEAgent.missionMaxCardinalityCheck(Mission mis, SchemeInstance sch)
protected boolean	OEAgent.missionMinCardinalityCheck(Mission mis, SchemeInstance sch)

Constructors in moise.oe with parameters of type Mission

Constructor	Description
MissionPlayer(Mission mission, OEAgent ag, SchemeInstance sch)
Permission(RolePlayer rp, Mission mis, SchemeInstance sch)

Uses of Mission in moise.os

Methods in moise.os that return Mission

Modifier and Type	Method	Description
Mission	OSBuilder.addMission(java.lang.String schemeId, java.lang.String missionId, java.lang.String goals)

Uses of Mission in moise.os.fs

Fields in moise.os.fs with type parameters of type Mission

Modifier and Type	Field	Description
protected CardinalitySet<Mission>	Scheme.missions
protected java.util.Set<Mission>	Mission.preferable

Methods in moise.os.fs that return Mission

Modifier and Type	Method	Description
Mission	FS.findMission(java.lang.String id)	find a mission in all schemes
Mission	Scheme.getMission(java.lang.String id)

Methods in moise.os.fs that return types with arguments of type Mission

Modifier and Type	Method	Description
java.util.Collection<Mission>	FS.getAllMissions()
java.util.Collection<Mission>	Mission.getAllPreferables()	returns a collection of Mission objects preferable to this mission including the transitivity of the preference relation.
java.util.Collection<Mission>	Scheme.getMissions()	gets the scheme missions ordered by the preference relation
java.util.Collection<Mission>	Mission.getPreferables()	returns a collection of Mission objects preferable to this mission

Methods in moise.os.fs with parameters of type Mission

Modifier and Type	Method	Description
void	Scheme.addMission(Mission m)
Cardinality	Scheme.getMissionCardinality(Mission m)
void	Scheme.setMissionCardinality(Mission m, Cardinality c)

Uses of Mission in moise.os.ns

Fields in moise.os.ns declared as Mission

Modifier and Type	Field	Description
protected Mission	Norm.mission

Methods in moise.os.ns that return Mission

Modifier and Type	Method	Description
Mission	Norm.getMission()

Methods in moise.os.ns with parameters of type Mission

Modifier and Type	Method	Description
void	Norm.setMission(Mission m)

Constructors in moise.os.ns with parameters of type Mission

Constructor	Description
Norm(Role r, Mission m, NS ns, NS.OpTypes op)

Uses of Mission in moise.tools

Methods in moise.tools with parameters of type Mission

Modifier and Type	Method	Description
(package private) java.lang.String	os2dot.transform(Mission m)
static java.lang.String	os2dot.transform(Mission m, Scheme spec)