berth
Class AllocateShipFirstTimeIntervalAvailable

java.lang.Object
  extended byaos.jack.jak.plan.Plan
      extended byberth.AllocateShipFirstTimeIntervalAvailable
All Implemented Interfaces:
aos.jack.jak.trace.Documented, aos.jack.jak.core.Generator, aos.jack.jak.rvt.MonitoredInterface, aos.jack.jak.trace.PlanIntrospection, aos.jack.jak.rvt.RVTTraceable, aos.jack.jak.trace.Traceable, aos.jack.jak.trace.VariableIntrospection

public class AllocateShipFirstTimeIntervalAvailable
extends aos.jack.jak.plan.Plan


Field Summary
 AllocationRequest aRqev
           
 VariableRequest ev
           
 Berth self
           
 
Fields inherited from class aos.jack.jak.plan.Plan
__agent, __logic, __ns, __planTask, oprdICnx, oxRuxOPs
 
Constructor Summary
AllocateShipFirstTimeIntervalAvailable()
           
 
Method Summary
 boolean __relevant(aos.jack.jak.event.Event __e)
           
 aos.jack.jak.plan.PlanFSM body()
           
 aos.jack.jak.cursor.Cursor context()
           
 aos.jack.jak.plan.Plan createPlan(aos.jack.jak.event.Event __e, aos.jack.jak.task.Task __t)
           
protected  aos.jack.jak.logic.Signature eventSignature(int __log)
           
 aos.jack.jak.plan.Plan freeze()
           
 aos.jack.jak.cursor.Cursor genCursor(int __index)
           
 aos.jack.jak.fsm.FSM genFSM(int __index)
           
 java.lang.Object genObject(int __index)
           
 java.lang.String getDocumentation()
           
 java.lang.Object getVariable(int n)
           
 java.lang.String handledEvent()
           
 boolean init_sentinel(aos.jack.jak.agent.NameSpace __a)
           
 java.lang.String[] reasoningMethods()
           
 aos.jack.jak.plan.PlanFSM sendCost(com.domainlanguage.time.TimePoint actualArrivalDay, com.domainlanguage.time.Duration durationOfCharging, int index, com.domainlanguage.time.TimePoint initialArrivalDay)
           
 boolean testCondition(int __index)
           
 aos.jack.jak.plan.Plan unfreeze()
           
 java.lang.String[] variableNames()
           
 java.lang.String[] variableTypes()
           
 
Methods inherited from class aos.jack.jak.plan.Plan
after, after, afterMillis, afterMillis, checkContext, checkRelevance, createPlanInstance, describe, elapsed, elapsed, elapsedMillis, elapsedMillis, extendSignature, fail, genCursor, getAgent, getBody, getContext, getInstanceInfo, getMonitor, getPlanName, getSignature, getTraceableInfo, getVariable, getVariableValue, getVariableValue, handledEventInstance, handlesAll, init, initSignature, isSame, isTraceEnabled, logSignatureVariableNames, logSignatureVariableTypes, lookupNamedObject, mergeReasoningMethods, objSignatureVariableNames, objSignatureVariableTypes, oLvOzR0C, oNMwDrMw, ouNboImb, pass, registerPlanChoice, setFromSignature, setTraceEnabled, setTraceState, shouldHandle, toString, warning
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

aRqev

public AllocationRequest aRqev

ev

public VariableRequest ev

self

public Berth self
Constructor Detail

AllocateShipFirstTimeIntervalAvailable

public AllocateShipFirstTimeIntervalAvailable()
Method Detail

getDocumentation

public java.lang.String getDocumentation()

init_sentinel

public boolean init_sentinel(aos.jack.jak.agent.NameSpace __a)

freeze

public aos.jack.jak.plan.Plan freeze()

unfreeze

public aos.jack.jak.plan.Plan unfreeze()

genObject

public java.lang.Object genObject(int __index)

genCursor

public aos.jack.jak.cursor.Cursor genCursor(int __index)
                                     throws java.lang.Exception
Throws:
java.lang.Exception

genFSM

public aos.jack.jak.fsm.FSM genFSM(int __index)
                            throws java.lang.Exception
Throws:
java.lang.Exception

testCondition

public boolean testCondition(int __index)
                      throws java.lang.Exception
Throws:
java.lang.Exception

body

public aos.jack.jak.plan.PlanFSM body()

sendCost

public aos.jack.jak.plan.PlanFSM sendCost(com.domainlanguage.time.TimePoint actualArrivalDay,
                                          com.domainlanguage.time.Duration durationOfCharging,
                                          int index,
                                          com.domainlanguage.time.TimePoint initialArrivalDay)

eventSignature

protected aos.jack.jak.logic.Signature eventSignature(int __log)

handledEvent

public java.lang.String handledEvent()

__relevant

public boolean __relevant(aos.jack.jak.event.Event __e)

createPlan

public aos.jack.jak.plan.Plan createPlan(aos.jack.jak.event.Event __e,
                                         aos.jack.jak.task.Task __t)

variableNames

public java.lang.String[] variableNames()

variableTypes

public java.lang.String[] variableTypes()

getVariable

public java.lang.Object getVariable(int n)

reasoningMethods

public java.lang.String[] reasoningMethods()

context

public aos.jack.jak.cursor.Cursor context()