Modifier and Type | Class and Description |
---|---|
class |
EnvConfigAgent
Environment configuration agent.
|
Modifier and Type | Class and Description |
---|---|
class |
AbstractTransducer
This class implements some common behavior of transducers and defines some
methods to offer the essential interface to users.
|
Modifier and Type | Class and Description |
---|---|
class |
AbstractAutomaton
FSA-like TuCSoN agent.
|
class |
AbstractTucsonAgent
Base class to extend to implement TuCSoN Agents.
|
Modifier and Type | Method and Description |
---|---|
ITucsonOperation |
OrdinaryAsynchACC.get(TupleCentreId tid,
TucsonOperationCompletionListener l)
get TuCSoN primitive, reads (w/o removing) all the tuples in
the given target tuplecentre. |
ITucsonOperation |
SpecificationAsynchACC.getS(TupleCentreId tid,
TucsonOperationCompletionListener l)
get_s specification primitive, reads (w/o removing) all the
ReSpecT specification tuples from the given target tuplecentre
specification space. |
ITucsonOperation |
OrdinaryAsynchACC.in(TupleCentreId tid,
Tuple tuple,
TucsonOperationCompletionListener l)
in Linda primitive, retrieves the specified tuple from the
given target tuplecentre. |
ITucsonOperation |
BulkAsynchACC.inAll(TupleCentreId tid,
Tuple tuple,
TucsonOperationCompletionListener l)
Withdraws from the space all the tuples matching the given template in
one shot (a single transition step).
|
ITucsonOperation |
OrdinaryAsynchACC.inp(TupleCentreId tid,
Tuple tuple,
TucsonOperationCompletionListener l)
inp Linda primitive, retrieves the specified tuple in the
given target tuplecentre. |
ITucsonOperation |
SpecificationAsynchACC.inpS(TupleCentreId tid,
LogicTuple event,
LogicTuple guards,
LogicTuple reactionBody,
TucsonOperationCompletionListener l)
inp_s specification primitive, retrieves a ReSpecT Reaction
Specification from the given target tuplecentre specification space. |
ITucsonOperation |
SpecificationAsynchACC.inS(TupleCentreId tid,
LogicTuple event,
LogicTuple guards,
LogicTuple reactionBody,
TucsonOperationCompletionListener l)
in_s specification primitive, retrieves a ReSpecT Reaction
Specification from the given target tuplecentre specification space. |
ITucsonOperation |
OrdinaryAsynchACC.no(TupleCentreId tid,
Tuple tuple,
TucsonOperationCompletionListener l)
no TuCSoN primitive, checks absence of the specified tuple
in the given target tuplecentre. |
ITucsonOperation |
BulkAsynchACC.noAll(TupleCentreId tid,
Tuple tuple,
TucsonOperationCompletionListener l)
Checks absence from the space of any tuples matching the given template
in one shot (a single transition step).
|
ITucsonOperation |
OrdinaryAsynchACC.nop(TupleCentreId tid,
Tuple tuple,
TucsonOperationCompletionListener l)
nop TuCSoN primitive, checks absence of the specified tuple
in the given target tuplecentre. |
ITucsonOperation |
SpecificationAsynchACC.nopS(TupleCentreId tid,
LogicTuple event,
LogicTuple guards,
LogicTuple reactionBody,
TucsonOperationCompletionListener l)
nop_s specification primitive, checks absence of the a
ReSpecT Reaction in the given target tuplecentre specification space. |
ITucsonOperation |
SpecificationAsynchACC.noS(TupleCentreId tid,
LogicTuple event,
LogicTuple guards,
LogicTuple reactionBody,
TucsonOperationCompletionListener l)
no_s specification primitive, checks absence of the a
ReSpecT Reaction in the given target tuplecentre specification space. |
ITucsonOperation |
OrdinaryAsynchACC.out(TupleCentreId tid,
Tuple tuple,
TucsonOperationCompletionListener l)
out Linda primitive, inserts the specified tuple in the
given target tuplecentre. |
ITucsonOperation |
BulkAsynchACC.outAll(TupleCentreId tid,
Tuple tuple,
TucsonOperationCompletionListener l)
Inject in the space a list of tuples in one shot (a single transition
step).
|
ITucsonOperation |
SpecificationAsynchACC.outS(TupleCentreId tid,
LogicTuple event,
LogicTuple guards,
LogicTuple reactionBody,
TucsonOperationCompletionListener l)
out_s specification primitive, adds the ReSpecT Reaction
Specification in the given target tuplecentre specification space. |
ITucsonOperation |
OrdinaryAsynchACC.rd(TupleCentreId tid,
Tuple tuple,
TucsonOperationCompletionListener l)
rd Linda primitive, reads (w/o removing) the specified tuple
from the given target tuplecentre. |
ITucsonOperation |
BulkAsynchACC.rdAll(TupleCentreId tid,
Tuple tuple,
TucsonOperationCompletionListener l)
Reads from the space all the tuples matching the given template in one
shot (a single transition step).
|
ITucsonOperation |
OrdinaryAsynchACC.rdp(TupleCentreId tid,
Tuple tuple,
TucsonOperationCompletionListener l)
rdp Linda primitive, reads (w/o removing) the specified
tuple in the given target tuplecentre. |
ITucsonOperation |
SpecificationAsynchACC.rdpS(TupleCentreId tid,
LogicTuple event,
LogicTuple guards,
LogicTuple reactionBody,
TucsonOperationCompletionListener l)
rdp_s specification primitive, reads (w/o removing) a
ReSpecT Reaction Specification from the given target tuplecentre
specification space. |
ITucsonOperation |
SpecificationAsynchACC.rdS(TupleCentreId tid,
LogicTuple event,
LogicTuple guards,
LogicTuple reactionBody,
TucsonOperationCompletionListener l)
rd_s specification primitive, reads (w/o removing) a ReSpecT
Reaction Specification from the given target tuplecentre specification
space. |
ITucsonOperation |
OrdinaryAsynchACC.set(TupleCentreId tid,
Tuple tuple,
TucsonOperationCompletionListener l)
set TuCSoN primitive, to replace all the tuples in the given
target tuplecentre with that specified in the given list. |
ITucsonOperation |
SpecificationAsynchACC.setS(TupleCentreId tid,
LogicTuple spec,
TucsonOperationCompletionListener l)
set_s specification primitive, to replace all the ReSpecT
specification tuples in the given target tuplecentre specification space
with that specified in the given tuple. |
ITucsonOperation |
SpecificationAsynchACC.setS(TupleCentreId tid,
java.lang.String spec,
TucsonOperationCompletionListener l)
set_s specification primitive, to replace all the ReSpecT
specification tuples in the given target tuplecentre specification space
with that specified in the given String. |
ITucsonOperation |
OrdinaryAsynchACC.spawn(TupleCentreId tid,
Tuple toSpawn,
TucsonOperationCompletionListener l)
spawn TuCSoN primitive, starts a parallel computational
activity within the target node. |
ITucsonOperation |
UniformAsynchACC.uin(TupleCentreId tid,
Tuple tuple,
TucsonOperationCompletionListener l)
uin TuCSoN primitive, retrieves the specified tuple from the
given target tuplecentre. |
ITucsonOperation |
UniformAsynchACC.uinp(TupleCentreId tid,
Tuple tuple,
TucsonOperationCompletionListener l)
uinp TuCSoN primitive, retrieves the specified tuple in the
given target tuplecentre. |
ITucsonOperation |
UniformAsynchACC.uno(TupleCentreId tid,
Tuple tuple,
TucsonOperationCompletionListener l)
uno TuCSoN primitive, checks absence of the specified tuple
in the given target tuplecentre. |
ITucsonOperation |
UniformAsynchACC.unop(TupleCentreId tid,
Tuple tuple,
TucsonOperationCompletionListener l)
unop TuCSoN primitive, checks absence of the specified tuple
in the given target tuplecentre. |
ITucsonOperation |
UniformAsynchACC.urd(TupleCentreId tid,
Tuple tuple,
TucsonOperationCompletionListener l)
urd TuCSoN primitive, reads (w/o removing) the specified
tuple from the given target tuplecentre. |
ITucsonOperation |
UniformAsynchACC.urdp(TupleCentreId tid,
Tuple tuple,
TucsonOperationCompletionListener l)
urdp TuCSoN primitive, reads (w/o removing) the specified
tuple in the given target tuplecentre. |
Modifier and Type | Class and Description |
---|---|
class |
DiningPhilosopher
A Dining Philosopher: thinks and eats in an endless loop.
|
class |
DiningPhilosophersTest
Classic Dining Philosophers coordination problem tackled by adopting a clear
separation of concerns between coordinables (philosophers) and coordination
medium (table) thanks to TuCSoN ReSpecT tuple centres programmability.
|
Modifier and Type | Class and Description |
---|---|
class |
DDiningPhilosophersTest |
Modifier and Type | Class and Description |
---|---|
class |
HelloWorldAgent
Java TuCSoN Agent extending alice.tucson.api.TucsonAgent base class.
|
Modifier and Type | Class and Description |
---|---|
class |
ActuatorTransducer
The transducer mediating interactions to/from the actuator probe.
|
class |
SensorTransducer
The transducer mediating interactions to/from the sensor probe.
|
Modifier and Type | Class and Description |
---|---|
class |
MasterAgent
Master thread of a master-worker architecture.
|
Modifier and Type | Class and Description |
---|---|
class |
TDiningPhilosophersTest
Classic Dining Philosophers coordination problem tackled by adopting a clear
separation of concerns between coordinables (philosophers) and coordination
medium (table) thanks to TuCSoN ReSpecT tuple centres programmability.
|