Package | Description |
---|---|
moise.oe | |
moise.os.fs | |
moise.os.ns |
Modifier and Type | Method and Description |
---|---|
Mission |
Permission.getMission() |
Mission |
MissionPlayer.getMission() |
Modifier and Type | Method and Description |
---|---|
protected void |
OEAgent.missionMaxCardinalityCheck(Mission mis,
SchemeInstance sch) |
protected boolean |
OEAgent.missionMinCardinalityCheck(Mission mis,
SchemeInstance sch) |
Constructor and Description |
---|
MissionPlayer(Mission mission,
OEAgent ag,
SchemeInstance sch) |
Permission(RolePlayer rp,
Mission mis,
SchemeInstance sch) |
Modifier and Type | Field and Description |
---|---|
protected CardinalitySet<Mission> |
Scheme.missions |
protected java.util.Set<Mission> |
Mission.preferable |
Modifier and Type | Method and Description |
---|---|
Mission |
FS.findMission(java.lang.String id)
find a mission in all schemes
|
Mission |
Scheme.getMission(java.lang.String id) |
Modifier and Type | Method and 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
|
Modifier and Type | Method and Description |
---|---|
void |
Scheme.addMission(Mission m) |
Cardinality |
Scheme.getMissionCardinality(Mission m) |
void |
Scheme.setMissionCardinality(Mission m,
Cardinality c) |
Modifier and Type | Field and Description |
---|---|
protected Mission |
Norm.mission |
Modifier and Type | Method and Description |
---|---|
Mission |
Norm.getMission() |
Modifier and Type | Method and Description |
---|---|
void |
Norm.setMission(Mission m) |
Constructor and Description |
---|
Norm(Role r,
Mission m,
NS ns,
NS.OpTypes op) |