Simulation.Aivika.Trans.Agent

Tested with: GHC 8.0.1

This module introduces basic entities for the agent-based modeling.

Documentation

data Agent m

Represents an agent.

Instances

MonadDES m => Eq (Agent m)

Defined in Simulation.Aivika.Trans.Agent

Methods

(==) :: Agent m -> Agent m -> Bool

(/=) :: Agent m -> Agent m -> Bool

data AgentState m

Represents the agent state.

Instances

MonadDES m => Eq (AgentState m)

Defined in Simulation.Aivika.Trans.Agent

Methods

(==) :: AgentState m -> AgentState m -> Bool

(/=) :: AgentState m -> AgentState m -> Bool

newAgent :: MonadDES m => Simulation m (Agent m)

Create an agent.

newState :: MonadDES m => Agent m -> Simulation m (AgentState m)

Create a new state.

newSubstate :: MonadDES m => AgentState m -> Simulation m (AgentState m)

Create a child state.

selectedState :: MonadDES m => Agent m -> Event m (Maybe (AgentState m))

Return the selected active state.

selectedStateChanged :: Agent m -> Signal m (Maybe (AgentState m))

Return a signal that notifies about every change of the selected state.

selectedStateChanged_ :: MonadDES m => Agent m -> Signal m ()

Return a signal that notifies about every change of the selected state.

selectState :: MonadDES m => AgentState m -> Event m ()

Select the state. The activation and selection are repeated while there is the transition state defined by setStateTransition.

stateAgent :: AgentState m -> Agent m

Return the corresponded agent.

stateParent :: AgentState m -> Maybe (AgentState m)

Return the parent state or Nothing.

addTimeout :: MonadDES m => AgentState m -> Double -> Event m () -> Event m ()

Add to the state a timeout handler that will be actuated in the specified time period if the state will remain active.

addTimer :: MonadDES m => AgentState m -> Event m Double -> Event m () -> Event m ()

Add to the state a timer handler that will be actuated in the specified time period and then repeated again many times, while the state remains active.

setStateActivation :: MonadDES m => AgentState m -> Event m () -> Event m ()

Set the activation computation for the specified state.

setStateDeactivation :: MonadDES m => AgentState m -> Event m () -> Event m ()

Set the deactivation computation for the specified state.

setStateTransition :: MonadDES m => AgentState m -> Event m (Maybe (AgentState m)) -> Event m ()

Set the transition state which will be next and which is used only when selecting the state directly with help of selectState. If the state was activated intermediately, when selecting another state, then this computation is not used.