public class SimpleAtomic extends AtomicDevs
Each transition is recorded for later displaying and analysis.
Modifier and Type | Class and Description |
---|---|
static class |
SimpleAtomic.SimpleAtomicFactory
The factory of this atomci model.
|
AtomicDevs.AtomicFactory
Devs.DevsFactory
Modifier and Type | Field and Description |
---|---|
TreeMap<Double,LinkedList<String>> |
eventsSet
Used for storing the state of the model at each event.
|
int |
state
The state of the model.
|
_act, _phase, _sigma
_inputMessage, _inputPorts, _name, _output, _outputPorts, _parent, _simulator
Modifier | Constructor and Description |
---|---|
protected |
SimpleAtomic(String name)
Constructor that initializes the name of the model and its attributes
(empty Tree and
state to 0). |
Modifier and Type | Method and Description |
---|---|
void |
deltcon(Double e,
Message x)
The confluent transition function that is called when both internal and
external transitions should happen
at the exactly same time.
|
void |
deltext(Double timeElapsed,
Message x)
The external transition function.
|
void |
deltint()
The internal transition function.
|
void |
initialize()
Initialize the model.
|
Message |
lambda()
Devs lambda function that makes the state becoming the model's output.
|
void |
storeEvent(Double time,
String method)
Store a new event in the event map.
|
String |
toString()
Generate a string that represents the model state.
|
act, AdvanceTime, holdIn, holdInNoOut, isPhase, passivate, passivateIn, phase, setSigma, sigma, ta
addInport, addOutport, compareTo, fullName, makeContent, name, parent, setParent, setSimulator, simulator
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
addInport, addOutport, fullName, parent, setParent, setSimulator, simulator
compareTo
public int state
public TreeMap<Double,LinkedList<String>> eventsSet
public void storeEvent(Double time, String method)
time
- The event occurrence date.method
- The event that happens.public void initialize()
public void deltint()
public void deltext(Double timeElapsed, Message x)
timeElapsed
- This time corresponds to the time to wait before the
transition happens.x
- This is the message to be sent at the transition.public void deltcon(Double e, Message x)
e
- This time corresponds to the time to wait before the transition
happens.x
- This is the message to be sent at the transition.public Message lambda()
public String toString()
toString
in class AtomicDevs
Copyright © 2017–2019 UniversitĂ© CĂ´te d'Azur, CNRS, I3S. All rights reserved.