boolean |
Tucson2PLibrary.get_2(alice.tuprolog.Term arg0,
alice.tuprolog.Term arg1)
get TuCSoN primitive.
|
boolean |
Tucson2PLibrary.get_s_2(alice.tuprolog.Term arg0,
alice.tuprolog.Term arg1)
get_s TuCSoN primitive.
|
ITucsonOperation |
OrdinarySynchACC.get(TupleCentreId tid,
java.lang.Long timeout)
get TuCSoN primitive, reads (w/o removing) all the tuples in
the given target tuplecentre.
|
ITucsonOperation |
SpecificationSynchACC.getS(TupleCentreId tid,
java.lang.Long timeout)
get_s specification primitive, reads (w/o removing) all the
ReSpecT specification tuples from the given target tuplecentre
specification space.
|
boolean |
Tucson2PLibrary.in_2(alice.tuprolog.Term arg0,
alice.tuprolog.Term arg1)
in TuCSoN primitive.
|
boolean |
Tucson2PLibrary.in_all_3(alice.tuprolog.Term arg0,
alice.tuprolog.Term arg1,
alice.tuprolog.Term arg2)
in_all TuCSoN primitive.
|
boolean |
Tucson2PLibrary.in_s_4(alice.tuprolog.Term event,
alice.tuprolog.Term guards,
alice.tuprolog.Term reactionBody,
alice.tuprolog.Term arg3)
in_s TuCSoN primitive.
|
ITucsonOperation |
OrdinarySynchACC.in(TupleCentreId tid,
Tuple tuple,
java.lang.Long timeout)
in Linda primitive, retrieves the specified tuple from the
given target tuplecentre.
|
ITucsonOperation |
BulkSynchACC.inAll(TupleCentreId tid,
Tuple tuple,
java.lang.Long timeout)
Withdraws from the space all the tuples matching the given template in
one shot (a single transition step).
|
boolean |
Tucson2PLibrary.inp_2(alice.tuprolog.Term arg0,
alice.tuprolog.Term arg1)
inp TuCSoN primitive.
|
boolean |
Tucson2PLibrary.inp_s_4(alice.tuprolog.Term event,
alice.tuprolog.Term guards,
alice.tuprolog.Term reactionBody,
alice.tuprolog.Term arg3)
inp_s TuCSoN primitive.
|
ITucsonOperation |
OrdinarySynchACC.inp(TupleCentreId tid,
Tuple tuple,
java.lang.Long timeout)
inp Linda primitive, retrieves the specified tuple from the
given target tuplecentre.
|
ITucsonOperation |
SpecificationSynchACC.inpS(TupleCentreId tid,
LogicTuple event,
LogicTuple guards,
LogicTuple reactionBody,
java.lang.Long timeout)
inp_s specification primitive, retrieves a ReSpecT Reaction
Specification from the given target tuplecentre specification space.
|
ITucsonOperation |
SpecificationSynchACC.inS(TupleCentreId tid,
LogicTuple event,
LogicTuple guards,
LogicTuple reactionBody,
java.lang.Long timeout)
in_s specification primitive, retrieves a ReSpecT Reaction
Specification from the given target tuplecentre specification space.
|
boolean |
Tucson2PLibrary.no_2(alice.tuprolog.Term arg0,
alice.tuprolog.Term arg1)
no TuCSoN primitive.
|
boolean |
Tucson2PLibrary.no_all_3(alice.tuprolog.Term arg0,
alice.tuprolog.Term arg1,
alice.tuprolog.Term arg2)
no_all TuCSoN primitive.
|
boolean |
Tucson2PLibrary.no_s_4(alice.tuprolog.Term event,
alice.tuprolog.Term guards,
alice.tuprolog.Term reactionBody,
alice.tuprolog.Term arg3)
no_s TuCSoN primitive.
|
ITucsonOperation |
OrdinarySynchACC.no(TupleCentreId tid,
Tuple tuple,
java.lang.Long timeout)
no TuCSoN primitive, checks absence of the specified tuple
in the given target tuplecentre.
|
ITucsonOperation |
BulkSynchACC.noAll(TupleCentreId tid,
Tuple tuple,
java.lang.Long timeout)
Checks absence from the space of any tuples matching the given template
in one shot (a single transition step).
|
boolean |
Tucson2PLibrary.nop_2(alice.tuprolog.Term arg0,
alice.tuprolog.Term arg1)
nop TuCSoN primitive.
|
boolean |
Tucson2PLibrary.nop_s_4(alice.tuprolog.Term event,
alice.tuprolog.Term guards,
alice.tuprolog.Term reactionBody,
alice.tuprolog.Term arg3)
nop_s TuCSoN primitive.
|
ITucsonOperation |
OrdinarySynchACC.nop(TupleCentreId tid,
Tuple tuple,
java.lang.Long timeout)
nop TuCSoN primitive, checks absence of the specified tuple
in the given target tuplecentre.
|
ITucsonOperation |
SpecificationSynchACC.nopS(TupleCentreId tid,
LogicTuple event,
LogicTuple guards,
LogicTuple reactionBody,
java.lang.Long timeout)
nop_s specification primitive, checks absence of the a
ReSpecT Reaction in the given target tuplecentre specification space.
|
ITucsonOperation |
SpecificationSynchACC.noS(TupleCentreId tid,
LogicTuple event,
LogicTuple guards,
LogicTuple reactionBody,
java.lang.Long timeout)
no_s specification primitive, checks absence of the a
ReSpecT Reaction in the given target tuplecentre specification space.
|
boolean |
Tucson2PLibrary.out_2(alice.tuprolog.Term arg0,
alice.tuprolog.Term arg1)
out TuCSoN primitive.
|
boolean |
Tucson2PLibrary.out_all_2(alice.tuprolog.Term arg0,
alice.tuprolog.Term arg1)
out_all TuCSoN primitive.
|
boolean |
Tucson2PLibrary.out_s_4(alice.tuprolog.Term event,
alice.tuprolog.Term guards,
alice.tuprolog.Term reactionBody,
alice.tuprolog.Term arg3)
out_s TuCSoN primitive.
|
ITucsonOperation |
OrdinarySynchACC.out(TupleCentreId tid,
Tuple tuple,
java.lang.Long timeout)
out Linda primitive, inserts the specified tuple in the
given target tuplecentre.
|
ITucsonOperation |
BulkSynchACC.outAll(TupleCentreId tid,
Tuple tuple,
java.lang.Long timeout)
Inject in the space a list of tuples in one shot (a single transition
step).
|
ITucsonOperation |
SpecificationSynchACC.outS(TupleCentreId tid,
LogicTuple event,
LogicTuple guards,
LogicTuple reactionBody,
java.lang.Long timeout)
out_s specification primitive, adds the ReSpecT Reaction
Specification in the given target tuplecentre specification space.
|
boolean |
Tucson2PLibrary.rd_2(alice.tuprolog.Term arg0,
alice.tuprolog.Term arg1)
rd TuCSoN primitive.
|
boolean |
Tucson2PLibrary.rd_all_3(alice.tuprolog.Term arg0,
alice.tuprolog.Term arg1,
alice.tuprolog.Term arg2)
rd_all TuCSoN primitive.
|
boolean |
Tucson2PLibrary.rd_s_4(alice.tuprolog.Term event,
alice.tuprolog.Term guards,
alice.tuprolog.Term reactionBody,
alice.tuprolog.Term arg3)
rd_s TuCSoN primitive.
|
ITucsonOperation |
OrdinarySynchACC.rd(TupleCentreId tid,
Tuple tuple,
java.lang.Long timeout)
rd Linda primitive, reads (w/o removing) the specified tuple
from the given target tuplecentre.
|
ITucsonOperation |
BulkSynchACC.rdAll(TupleCentreId tid,
Tuple tuple,
java.lang.Long timeout)
Reads from the space all the tuples matching the given template in one
shot (a single transition step).
|
boolean |
Tucson2PLibrary.rdp_2(alice.tuprolog.Term arg0,
alice.tuprolog.Term arg1)
rdp TuCSoN primitive.
|
boolean |
Tucson2PLibrary.rdp_s_4(alice.tuprolog.Term event,
alice.tuprolog.Term guards,
alice.tuprolog.Term reactionBody,
alice.tuprolog.Term arg3)
rdp_s TuCSoN primitive.
|
ITucsonOperation |
OrdinarySynchACC.rdp(TupleCentreId tid,
Tuple tuple,
java.lang.Long timeout)
rdp Linda primitive, reads (w/o removing) the specified
tuple from the given target tuplecentre.
|
ITucsonOperation |
SpecificationSynchACC.rdpS(TupleCentreId tid,
LogicTuple event,
LogicTuple guards,
LogicTuple reactionBody,
java.lang.Long timeout)
rdp_s specification primitive, reads (w/o removing) a
ReSpecT Reaction Specification from the given target tuplecentre
specification space.
|
ITucsonOperation |
SpecificationSynchACC.rdS(TupleCentreId tid,
LogicTuple event,
LogicTuple guards,
LogicTuple reactionBody,
java.lang.Long timeout)
in_s specification primitive, reads (w/o removing) a ReSpecT
Reaction Specification from the given target tuplecentre specification
space.
|
boolean |
Tucson2PLibrary.set_2(alice.tuprolog.Term arg0,
alice.tuprolog.Term arg1)
set TuCSoN primitive.
|
boolean |
Tucson2PLibrary.set_s_2(alice.tuprolog.Term arg0,
alice.tuprolog.Term arg1)
set_s TuCSoN primitive.
|
ITucsonOperation |
OrdinarySynchACC.set(TupleCentreId tid,
Tuple tuple,
java.lang.Long timeout)
set TuCSoN primitive, to replace all the tuples in the given
target tuplecentre with that specified in the given list.
|
ITucsonOperation |
SpecificationSynchACC.setS(TupleCentreId tid,
LogicTuple spec,
java.lang.Long timeout)
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 |
SpecificationSynchACC.setS(TupleCentreId tid,
java.lang.String spec,
java.lang.Long timeout)
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.
|
boolean |
Tucson2PLibrary.spawn_2(alice.tuprolog.Term arg0,
alice.tuprolog.Term arg1)
spawn TuCSoN primitive.
|
ITucsonOperation |
OrdinarySynchACC.spawn(TupleCentreId tid,
Tuple toSpawn,
java.lang.Long timeout)
spawn TuCSoN primitive, starts a parallel computational
activity within the target node.
|
boolean |
Tucson2PLibrary.uin_2(alice.tuprolog.Term arg0,
alice.tuprolog.Term arg1)
uin TuCSoN primitive.
|
ITucsonOperation |
UniformSynchACC.uin(TupleCentreId tid,
Tuple tuple,
java.lang.Long timeout)
uin TuCSoN primitive, retrieves the specified tuple from the
given target tuplecentre.
|
boolean |
Tucson2PLibrary.uinp_2(alice.tuprolog.Term arg0,
alice.tuprolog.Term arg1)
uinp TuCSoN primitive.
|
ITucsonOperation |
UniformSynchACC.uinp(TupleCentreId tid,
Tuple tuple,
java.lang.Long timeout)
uinp TuCSoN primitive, retrieves the specified tuple from
the given target tuplecentre.
|
boolean |
Tucson2PLibrary.uno_2(alice.tuprolog.Term arg0,
alice.tuprolog.Term arg1)
uno TuCSoN primitive.
|
ITucsonOperation |
UniformSynchACC.uno(TupleCentreId tid,
Tuple tuple,
java.lang.Long timeout)
uno TuCSoN primitive, checks absence of the specified tuple
in the given target tuplecentre.
|
boolean |
Tucson2PLibrary.unop_2(alice.tuprolog.Term arg0,
alice.tuprolog.Term arg1)
unop TuCSoN primitive.
|
ITucsonOperation |
UniformSynchACC.unop(TupleCentreId tid,
Tuple tuple,
java.lang.Long timeout)
unop TuCSoN primitive, checks absence of the specified tuple
in the given target tuplecentre.
|
boolean |
Tucson2PLibrary.urd_2(alice.tuprolog.Term arg0,
alice.tuprolog.Term arg1)
urd TuCSoN primitive.
|
ITucsonOperation |
UniformSynchACC.urd(TupleCentreId tid,
Tuple tuple,
java.lang.Long timeout)
urd TuCSoN primitive, reads (w/o removing) the specified
tuple from the given target tuplecentre.
|
boolean |
Tucson2PLibrary.urdp_2(alice.tuprolog.Term arg0,
alice.tuprolog.Term arg1)
urdp TuCSoN primitive.
|
ITucsonOperation |
UniformSynchACC.urdp(TupleCentreId tid,
Tuple tuple,
java.lang.Long timeout)
urdp TuCSoN primitive, reads (w/o removing) the specified
tuple from the given target tuplecentre.
|