A B C D E F G H I J L M N O P R S T U V W Z

A

acceptEvent(Event) - Method in class alice.tuplemedium.TupleCentreVM
Accepts a communication event It is the input service of the tuple centre machine, the only way to make the virtual machine aware of an external event to be processed.
ActivityLibrary - class alice.respect.ActivityLibrary.
It's a tuprolog library used by prolog agent spawned as PrologActivity from ReSpecT source.
ActivityLibrary() - Constructor for class alice.respect.ActivityLibrary
 
ActivitySpawner - class alice.respect.ActivitySpawner.
Base class for the activity (Java and Prolog) spawner of ReSpecT.
add(Event) - Method in interface alice.tuplemedium.EventSet
Adds an event to the multiset
add(Event) - Method in class alice.respect.EventSetImpl
 
add(TriggeredReaction) - Method in interface alice.tuplemedium.TRSet
Adds a triggered reaction to the multiset
add(TriggeredReaction) - Method in class alice.respect.TRSetImpl
 
add(Tuple) - Method in interface alice.tuplemedium.TupleSet
Adds a tuple to the multiset
add(Tuple) - Method in class alice.respect.TupleSetImpl
 
addObservableEventListener(ObservableEventListener) - Method in class alice.tuplemedium.TupleCentreVM
Registers a new listener to observable events
address - Variable in class alice.luce.TCentreId
 
Agent - class alice.luce.Agent.
Defines a very naive TuCSoN agent base class, as a Runnable object with the ability to access TuCSoN infrastructure
Agent(AgentId) - Constructor for class alice.luce.Agent
Constructs the agent specifying its identifier
Agent(String) - Constructor for class alice.luce.Agent
Constructs the agent specifying its name
AgentId - interface alice.tuplemedium.AgentId.
Represents an agent identifier It's used inside tuple centre to identify an agent interacting with the medium.
AgentId - class alice.respect.AgentId.
agent identifier for logic tuple centres, described in term of string name.
AgentId - class alice.luce.AgentId.
agent identifier in the LuCe model is a naive extension of the ReSpecT Agent Id
AgentId() - Constructor for class alice.respect.AgentId
 
AgentId() - Constructor for class alice.luce.AgentId
 
AgentId(String) - Constructor for class alice.respect.AgentId
constructs the id providing a string name
AgentId(String) - Constructor for class alice.luce.AgentId
constructs the id providing a string name
alice.logictuple - package alice.logictuple
 
alice.luce - package alice.luce
 
alice.respect - package alice.respect
 
alice.tuplemedium - package alice.tuplemedium
 
ANY - Static variable in class alice.logictuple.Var
the 'any' (anonymous, which is _) variable constant
args - Variable in class alice.respect.ActivitySpawner
 
args - Variable in class alice.respect.OutTCActivity
 
argType - Static variable in class alice.luce.Automaton
arguments class eventually associated to state transition
arguments - Variable in class alice.luce.Automaton
arguments value eventually associated to state transition
Automaton - class alice.luce.Automaton.
Defines a more involved type of LuCe agent (compared to Agent one).
Automaton(AgentId) - Constructor for class alice.luce.Automaton
Constructs the automaton specifying its identifier
Automaton(String) - Constructor for class alice.luce.Automaton
Constructs the automaton specifying its name

B

become(String) - Method in class alice.luce.Automaton
Changes the state of the automaton
become(String, Object[]) - Method in class alice.luce.Automaton
Changes the state of the automaton, providing auciliary information
beginTransaction() - Method in interface alice.tuplemedium.TupleSet
Begins a transaction section Every operation on multiset can be undone
beginTransaction() - Method in interface alice.tuplemedium.TRSet
Begins a transaction section Every operation on multiset can be undone
beginTransaction() - Method in class alice.respect.TRSetImpl
 
beginTransaction() - Method in class alice.respect.TupleSetImpl
 
boot() - Method in class alice.luce.Automaton
Specifies the behaviour of the automaton in its boot state, which is reached when the automaton start its thread of control
bootTime - Variable in class alice.tuplemedium.TupleCentreVM
tuple centre boot time in ms

C

CellException - exception alice.luce.CellException.
 
CellException() - Constructor for class alice.luce.CellException
 
checkReactionSpec(LogicTuple) - Static method in class alice.respect.Reactor
 
current_agent_1(Struct) - Method in class alice.respect.Library
 
current_op_1(Struct) - Method in class alice.respect.Library
 
current_tc_1(Struct) - Method in class alice.respect.Library
 
current_time_1(Struct) - Method in class alice.respect.Library
 
current_tuple_1(Struct) - Method in class alice.respect.Library
 

D

DEFAULT_PORT - Static variable in class alice.infrastructure.Luce
LuCe infrastructure default port
direction - Variable in class alice.tuplemedium.Event
the direction of the event (from tuple centre to agent or viceversa)

E

empty() - Method in interface alice.tuplemedium.TupleSet
Empties the multiset
empty() - Method in interface alice.tuplemedium.EventSet
Empties the multiset
empty() - Method in interface alice.tuplemedium.TRSet
Empties the multiset
empty() - Method in class alice.respect.TRSetImpl
 
empty() - Method in class alice.respect.EventSetImpl
 
empty() - Method in class alice.respect.TupleSetImpl
 
end() - Method in class alice.luce.Automaton
Specifies the behaviour of the automaton in its end state
endTransaction(boolean) - Method in interface alice.tuplemedium.TupleSet
Ends a transaction section specifying if operations must be committed or undone
endTransaction(boolean) - Method in interface alice.tuplemedium.TRSet
Ends a transaction section specifying if operations must be committed or undone
endTransaction(boolean) - Method in class alice.respect.TRSetImpl
 
endTransaction(boolean) - Method in class alice.respect.TupleSetImpl
 
error() - Method in class alice.luce.Automaton
Specifies the behaviour of the automaton in its error state
evalReaction(TriggeredReaction) - Method in interface alice.tuplemedium.Reactor
Evaluates (executes) a reaction.
evalReaction(TriggeredReaction) - Method in class alice.respect.Reactor
reaction exectution is realized solving the goal represented by reaction body
event - Variable in class alice.tuplemedium.TriggeredReaction
the event triggering the reaction
Event - class alice.tuplemedium.Event.
Represents internal events of the tuple centre virtual machine According to the tuple centre model, an event is characterised by the operation which caused the event, the tuple or the tuple template as information content of the operation, the direction of the event (from agent to the tuple centre, or viceversa), the identification of the agent responsible of the operation, the identification of the tuple centre where the event has happened.
Event() - Constructor for class alice.tuplemedium.Event
 
Event(Long, AgentId, EventOperation, TupleCentreId, int, Tuple, TupleTemplate) - Constructor for class alice.tuplemedium.Event
 
EventDirection - class alice.tuplemedium.EventDirection.
this class defines the direction of a tuple centre event from virtual machine to outside, with success from virtual machine to outside, with failure from outside to virtual machine
EventDirection() - Constructor for class alice.tuplemedium.EventDirection
 
EventOperation - class alice.tuplemedium.EventOperation.
Defines the possible operation types which caused an tuple centre virtual machine event, according to the coordination language of the tuple medium The string representation of the operation involves the name of the operation and the number of argument it requires.
EventOperation() - Constructor for class alice.tuplemedium.EventOperation
 
EventSet - interface alice.tuplemedium.EventSet.
Specifies the services which must be provided by component inside tuple centre virtual machine that manages communication events as a multiset
EventSetImpl - class alice.respect.EventSetImpl.
Naive implementation of the EventSet interface, defining the behaviour of the component managin vm events storage.
EventSetImpl() - Constructor for class alice.respect.EventSetImpl
 

F

failure_0(Struct) - Method in class alice.respect.Library
 
fetchTriggeredReactions(Event) - Method in class alice.tuplemedium.TupleCentreVM
Collects triggered reaction in zSet
FROMSPACE_FAIL - Static variable in class alice.tuplemedium.EventDirection
 
FROMSPACE_SUCCESS - Static variable in class alice.tuplemedium.EventDirection
 

G

get_spec_1(Struct) - Method in class alice.respect.ActivityLibrary
 
get() - Method in interface alice.tuplemedium.EventSet
Gets (with removal) not-deterministically an event from the mset
get() - Method in interface alice.tuplemedium.TRSet
Gets not-deterministically (with removal) a triggered reaction from the multiset
get() - Method in class alice.respect.TRSetImpl
 
get() - Method in class alice.respect.EventSetImpl
 
getAddress() - Method in class alice.luce.TCentreId
gets the tuple centre address
getArg() - Method in class alice.tuplemedium.ObservableEvent
Gets the auxiliary information provided by the event
getArg(int) - Method in class alice.logictuple.TupleArgument
gets the i-arg Arg of a structured argument
getArg(int) - Method in class alice.logictuple.LogicTuple
Gets a argument inside the logic tuple
getArity() - Method in class alice.logictuple.TupleArgument
gets the number of argument of a structured argument
getArity() - Method in class alice.logictuple.LogicTuple
Gets the number of argument of the logic tuple
getBootTime() - Method in class alice.tuplemedium.TupleCentreVM
gets virtual machine boot time
getCurrentTime() - Method in class alice.tuplemedium.TupleCentreVM
gets current virtual machine time
getFirstMatching(TupleSet) - Method in interface alice.tuplemedium.EventSet
Gets (with removal) non-deterministically an event with a tuple template matching a tuple in the specified tuple set
getFirstMatching(TupleSet) - Method in class alice.respect.EventSetImpl
 
getFloat(int) - Method in class alice.logictuple.TupleArgument
Helper service to get directly a float argument inside this argument object considered as a compound value
getFloat(int) - Method in class alice.logictuple.LogicTuple
Helper service to get directly a float argument inside the logic tuple
getHost() - Method in class alice.luce.TCentreId
gets the host part of the tuple centre address
getId() - Method in class alice.tuplemedium.TupleCentreVMImpl
Gets the identifier of the tuple centre
getId() - Method in class alice.respect.UserLocal
 
getId() - Method in class alice.luce.User
 
getInt(int) - Method in class alice.logictuple.TupleArgument
Helper service to get directly an integer argument inside this argument object considered as a compound value
getInt(int) - Method in class alice.logictuple.LogicTuple
Helper service to get directly an integer argument inside the logic tuple
getIterator() - Method in interface alice.tuplemedium.TupleSet
Gets an iterator to navigate through tuples of the multiset
getIterator() - Method in interface alice.tuplemedium.EventSet
Gets an iterator to navigate through the elements of the multiset
getIterator() - Method in interface alice.tuplemedium.TRSet
Gets an iterator to navigate through triggered reactions
getIterator() - Method in class alice.respect.TRSetImpl
 
getIterator() - Method in class alice.respect.EventSetImpl
 
getIterator() - Method in class alice.respect.TupleSetImpl
 
getMatchingTuple(TupleTemplate) - Method in interface alice.tuplemedium.TupleSet
Gets (and removes) non-deterministically a tuple of the multiset matching the template specified
getMatchingTuple(TupleTemplate) - Method in class alice.respect.TupleSetImpl
 
getName() - Method in class alice.logictuple.TupleArgument
gets the name of the arg
getName() - Method in class alice.logictuple.LogicTuple
Gets the name of the logic tuple
getName() - Method in class alice.respect.AgentId
 
getName() - Method in class alice.respect.TupleCentreId
gets the tuple centre name
getName() - Method in class alice.luce.TCentreId
gets the tuple centre name
getOutTCactivityClassFile() - Method in class alice.respect.Reactor
 
getPort() - Method in class alice.luce.TCentreId
gets the port of the tuple centre address.
getReactionSpec() - Method in interface alice.tuplemedium.Reactor
Gets the current reactive behaviour of the tuple centre
getReactionSpec() - Method in class alice.respect.Reactor
 
getReactor() - Method in class alice.tuplemedium.TupleCentreVM
gets raective component of the vm
GETSPEC - Static variable in class alice.tuplemedium.EventOperation
 
getSpec() - Method in class alice.respect.JavaActivity
 
getSpec() - Method in class alice.respect.TupleCentre
 
getSpec() - Method in class alice.respect.UserLocal
 
getSpec(TupleCentreId) - Static method in class alice.infrastructure.Luce
 
getSpec(TupleCentreId) - Method in class alice.luce.User
 
getSpec(TupleTemplate, AgentId, VMListener) - Method in class alice.tuplemedium.TupleCentreVMImpl
Sends a getSpec message to the tuple centre virtual machine (the getSpec gets current behaviour specification of the tuple centre)
getString(int) - Method in class alice.logictuple.TupleArgument
Helper service to get directly a string argument inside this argument object considered as a compound value
getString(int) - Method in class alice.logictuple.LogicTuple
Helper service to get directly a string argument inside the logic tuple
getTerm(Event) - Method in class alice.respect.Reactor
 
getTime() - Method in class alice.tuplemedium.ObservableEvent
Gets the time at which the event has been observed inside the tuple centre VM
getTriggeredReactions(Event) - Method in interface alice.tuplemedium.Reactor
Gets the reactions triggered by a communication event It represents the reaction specification function sigma.Z(event) of tuple centre formal model
getTriggeredReactions(Event) - Method in class alice.respect.Reactor
the triggered reactions are collected the tuProlog engine, finding all the solutions of the requested goal
getTRSet() - Method in class alice.tuplemedium.TupleCentreVM
gets triggered event set
getTSet() - Method in class alice.tuplemedium.TupleCentreVM
gets tuple set
getType() - Method in class alice.tuplemedium.ObservableEvent
Gets the type of the event
getWnSet() - Method in class alice.tuplemedium.TupleCentreVM
gets unsatisfied event set

H

hasMatchingTuple(TupleTemplate) - Method in interface alice.tuplemedium.TupleSet
Checks if exists a tuple inside the tuple set matching the template
hasMatchingTuple(TupleTemplate) - Method in class alice.respect.TupleSetImpl
 

I

id - Variable in class alice.tuplemedium.Event
a unique id identifying the event
idAgent - Variable in class alice.tuplemedium.Event
the identifier of the agent involved in the event
idTupleCentre - Variable in class alice.tuplemedium.Event
the identifier of the tuple centre where the event took place
IN - Static variable in class alice.tuplemedium.EventOperation
 
in_1(Struct) - Method in class alice.respect.ActivityLibrary
 
in_r_1(Struct) - Method in class alice.respect.Library
 
in(LogicTuple) - Method in class alice.respect.JavaActivity
 
in(LogicTuple) - Method in class alice.respect.TupleCentre
 
in(LogicTuple) - Method in class alice.respect.UserLocal
 
in(TupleCentreId, LogicTuple) - Static method in class alice.infrastructure.Luce
 
in(TupleCentreId, LogicTuple) - Method in class alice.luce.User
 
in(TupleTemplate, AgentId, VMListener) - Method in class alice.tuplemedium.TupleCentreVMImpl
Sends an in message to the tuple centre virtual machine (the in gets a matching tuple from tuple centre)
init(Reactor, TupleCentreVM) - Method in class alice.respect.Library
 
INP - Static variable in class alice.tuplemedium.EventOperation
 
inp_1(Struct) - Method in class alice.respect.ActivityLibrary
 
inp(LogicTuple) - Method in class alice.respect.JavaActivity
 
inp(LogicTuple) - Method in class alice.respect.TupleCentre
 
inp(LogicTuple) - Method in class alice.respect.UserLocal
 
inp(TupleCentreId, LogicTuple) - Static method in class alice.infrastructure.Luce
 
inp(TupleCentreId, LogicTuple) - Method in class alice.luce.User
 
inp(TupleTemplate, AgentId, VMListener) - Method in class alice.tuplemedium.TupleCentreVMImpl
Sends an inp message to the tuple centre virtual machine (the inp gets if present a matching tuple from tuple centre)
inputEvents - Variable in class alice.tuplemedium.TupleCentreVM
input event queue
InvalidLogicTupleException - exception alice.logictuple.InvalidLogicTupleException.
Exception thrown when a malformed logic logic tuple is created or used
InvalidLogicTupleException() - Constructor for class alice.logictuple.InvalidLogicTupleException
 
InvalidTupleException - exception alice.tuplemedium.InvalidTupleException.
This exception is thrown when a not well-formed tuple is found, for instance when invoking a coordination language primitive with a null tuple.
InvalidTupleException() - Constructor for class alice.tuplemedium.InvalidTupleException
 
InvalidTupleTemplateException - exception alice.tuplemedium.InvalidTupleTemplateException.
This exception is thrown when a not well-formed tuple template is found, for instance when invoking a coordination language primitive with a null tuple template.
InvalidTupleTemplateException() - Constructor for class alice.tuplemedium.InvalidTupleTemplateException
 
InvalidVarNameException - exception alice.logictuple.InvalidVarNameException.
Exception indicating a bad name for Variable tuple argument
InvalidVarNameException() - Constructor for class alice.logictuple.InvalidVarNameException
 
isEmpty() - Method in interface alice.tuplemedium.TupleSet
Tests if the multiset is empty
isEmpty() - Method in interface alice.tuplemedium.EventSet
tests if multiset is empty
isEmpty() - Method in interface alice.tuplemedium.TRSet
Tests if the multiset is empty
isEmpty() - Method in class alice.respect.TRSetImpl
 
isEmpty() - Method in class alice.respect.EventSetImpl
 
isEmpty() - Method in class alice.respect.TupleSetImpl
 
isFloat() - Method in class alice.logictuple.TupleArgument
Tests if the argument is a float
isInt() - Method in class alice.logictuple.TupleArgument
Tests if the argument is an integer
isNumber() - Method in class alice.logictuple.TupleArgument
Tests if the argument is a number
isString() - Method in class alice.logictuple.TupleArgument
Tests if the argument is a string
isStruct() - Method in class alice.logictuple.TupleArgument
Tests if the argument is a structured argument
isValue() - Method in class alice.logictuple.TupleArgument
Tests if the argument is a value
isVar() - Method in class alice.logictuple.TupleArgument
Tests if the argument is a variable

J

JavaActivity - class alice.respect.JavaActivity.
Defines the java agent spawnable from ReSpecT code.
JavaActivity() - Constructor for class alice.respect.JavaActivity
 
JavaSpawner - class alice.respect.JavaSpawner.
Defines the spawner of Java activities from ReSpecT sources.

L

Library - class alice.respect.Library.
this tuProlog library defines the behaviour of ReSpecT primitives, used inside ReSpecT sources.
Library() - Constructor for class alice.respect.Library
 
LogicReaction - class alice.respect.LogicReaction.
Defines the reaction type managed by ReSpect Reactor (logic reactions).
LogicReaction() - Constructor for class alice.respect.LogicReaction
 
LogicReaction(Term) - Constructor for class alice.respect.LogicReaction
 
LogicTuple - class alice.logictuple.LogicTuple.
Defines the communication language based on logic tuples, which stand both for tuple and tuple template For logic tuple, the matching is the classic prolog matching and the propagation corresponds to unification.
LogicTuple() - Constructor for class alice.logictuple.LogicTuple
 
LogicTuple(String) - Constructor for class alice.logictuple.LogicTuple
Constructs the logic tuple providing the tuple name, without arguments
LogicTuple(String, TupleArgument) - Constructor for class alice.logictuple.LogicTuple
Constructs the logic tuple providing the tuple name and one argument
LogicTuple(String, TupleArgument[]) - Constructor for class alice.logictuple.LogicTuple
Constructs the logic tuple providing the tuple name and argument list
LogicTuple(String, TupleArgument, TupleArgument) - Constructor for class alice.logictuple.LogicTuple
Constructs the logic tuple providing the tuple name and two arguments
LogicTuple(String, TupleArgument, TupleArgument, TupleArgument) - Constructor for class alice.logictuple.LogicTuple
Constructs the logic tuple providing the tuple name and three arguments
LogicTuple(String, TupleArgument, TupleArgument, TupleArgument, TupleArgument) - Constructor for class alice.logictuple.LogicTuple
Constructs the logic tuple providing the tuple name and four arguments
LogicTuple(String, TupleArgument, TupleArgument, TupleArgument, TupleArgument, TupleArgument) - Constructor for class alice.logictuple.LogicTuple
Constructs the logic tuple providing the tuple name and five arguments
LogicTuple(String, TupleArgument, TupleArgument, TupleArgument, TupleArgument, TupleArgument, TupleArgument) - Constructor for class alice.logictuple.LogicTuple
Constructs the logic tuple providing the tuple name and six arguments
LogicTuple(String, TupleArgument, TupleArgument, TupleArgument, TupleArgument, TupleArgument, TupleArgument, TupleArgument) - Constructor for class alice.logictuple.LogicTuple
Constructs the logic tuple providing the tuple name and seven arguments
LogicTuple(Term) - Constructor for class alice.logictuple.LogicTuple
Constructs the logic tuple from a tuprolog term
LogicTuple(TupleArgument) - Constructor for class alice.logictuple.LogicTuple
Constructs the logic tuple from a tuple argument (it's the most free form of construction)
Luce - class alice.infrastructure.Luce.
Defines the static service providing directly access to LuCe alice.infrastructure.
Luce() - Constructor for class alice.infrastructure.Luce
 

M

match(Tuple) - Method in interface alice.tuplemedium.TupleTemplate
specifies if the tuple template matches the tuple, or rather if tuples bolongs to the set identified by the template.
match(Tuple) - Method in class alice.logictuple.LogicTuple
Specifies if a logic tuple (as a tuple template) matches with a specified tuple, typically an other logic tuple

N

name - Variable in class alice.respect.AgentId
 
name - Variable in class alice.respect.TupleCentreId
 
name - Variable in class alice.luce.TCentreId
 
no_r_1(Struct) - Method in class alice.respect.Library
 
NoSpaceException - exception alice.luce.NoSpaceException.
 
NoSpaceException() - Constructor for class alice.luce.NoSpaceException
 
notify(Event) - Method in interface alice.tuplemedium.VMListener
This service is invoked (by a tuple centre virtual machine able to dispatch output events) when a new output communication is produced
notify(Event) - Method in class alice.respect.UserLocal
 
notifyObservableEvent(ObservableEvent) - Method in class alice.tuplemedium.TupleCentreVM
Notifies registered listeners of a new observable event
notifyOutputEvents() - Method in class alice.tuplemedium.TupleCentreVM
Specifies how to dispatch output events (collected in outputEventSet) to related agents
notifyOutputEvents() - Method in class alice.tuplemedium.TupleCentreVMImpl
Dispatches output events to receivers

O

ObservableEvent - class alice.tuplemedium.ObservableEvent.
Represents observable (by inspectors) events happening inside tuple centre virtual machine
ObservableEvent(Object, int) - Constructor for class alice.tuplemedium.ObservableEvent
 
ObservableEvent(Object, int, Object) - Constructor for class alice.tuplemedium.ObservableEvent
 
ObservableEventListener - interface alice.tuplemedium.ObservableEventListener.
Defines listeners of tuple centre virtual machine observable events (actually inspectors)
onNewVMStableState() - Method in interface alice.tuplemedium.Reactor
invoked by the tuple centre virtual machine when stable state is reached
onNewVMStableState() - Method in class alice.respect.Reactor
 
onObservableEvent(ObservableEvent) - Method in interface alice.tuplemedium.ObservableEventListener
Method triggered by the tuple centre virtual machine when an observable event is observed inside the VM
operation - Variable in class alice.tuplemedium.Event
the type of the operation which caused the event
OUT - Static variable in class alice.tuplemedium.EventOperation
 
out_1(Struct) - Method in class alice.respect.ActivityLibrary
 
out_r_1(Struct) - Method in class alice.respect.Library
 
out_tc_1(Struct) - Method in class alice.respect.Library
 
out(LogicTuple) - Method in class alice.respect.JavaActivity
 
out(LogicTuple) - Method in class alice.respect.TupleCentre
 
out(LogicTuple) - Method in class alice.respect.UserLocal
 
out(Tuple, AgentId, VMListener) - Method in class alice.tuplemedium.TupleCentreVMImpl
Sends an out message to the tuple centre virtual machine (the out puts a tuple in tuple centre)
out(TupleCentreId, LogicTuple) - Static method in class alice.infrastructure.Luce
 
out(TupleCentreId, LogicTuple) - Method in class alice.luce.User
 
outAsync(TupleCentreId, LogicTuple) - Static method in class alice.infrastructure.Luce
 
outAsync(TupleCentreId, LogicTuple) - Method in class alice.luce.User
 
outputEventSet - Variable in class alice.tuplemedium.TupleCentreVM
multiset of not satisfiable pending queries Wn - W/(Wn+Wp)
OutTCActivity - class alice.respect.OutTCActivity.
Base class defining Activity spawnable from ReSpecT code.
OutTCActivity() - Constructor for class alice.respect.OutTCActivity
 
OutTCSpawner - class alice.respect.OutTCSpawner.
Defines the OutTC activity spawnable from ReSpecT code.

P

parse(String) - Static method in class alice.logictuple.LogicTuple
Static service to get a Logic tuple from a textual representation
post_0(Struct) - Method in class alice.respect.Library
 
pre_0(Struct) - Method in class alice.respect.Library
 
PrologActivity - class alice.respect.PrologActivity.
Defines the prolog agent spawnable from ReSpecT code.
PrologSpawner - class alice.respect.PrologSpawner.
Defines the spawner of prolog activities from ReSpecT code.
propagate(Tuple) - Method in interface alice.tuplemedium.TupleTemplate
tries to change the tuple template object and the tuple argument in order to meld information
propagate(Tuple) - Method in class alice.logictuple.LogicTuple
Tries to unify a logic tuple (as a tuple template) with a specified tuple, typically an other logic tuple

R

RD - Static variable in class alice.tuplemedium.EventOperation
 
rd_1(Struct) - Method in class alice.respect.ActivityLibrary
 
rd_r_1(Struct) - Method in class alice.respect.Library
 
rd(LogicTuple) - Method in class alice.respect.JavaActivity
 
rd(LogicTuple) - Method in class alice.respect.TupleCentre
 
rd(LogicTuple) - Method in class alice.respect.UserLocal
 
rd(TupleCentreId, LogicTuple) - Static method in class alice.infrastructure.Luce
 
rd(TupleCentreId, LogicTuple) - Method in class alice.luce.User
 
rd(TupleTemplate, AgentId, VMListener) - Method in class alice.tuplemedium.TupleCentreVMImpl
Sends a rd message to the tuple centre virtual machine (the rd gets without removing a matching tuple from tuple centre)
RDP - Static variable in class alice.tuplemedium.EventOperation
 
rdp_1(Struct) - Method in class alice.respect.ActivityLibrary
 
rdp(LogicTuple) - Method in class alice.respect.JavaActivity
 
rdp(LogicTuple) - Method in class alice.respect.TupleCentre
 
rdp(LogicTuple) - Method in class alice.respect.UserLocal
 
rdp(TupleCentreId, LogicTuple) - Static method in class alice.infrastructure.Luce
 
rdp(TupleCentreId, LogicTuple) - Method in class alice.luce.User
 
rdp(TupleTemplate, AgentId, VMListener) - Method in class alice.tuplemedium.TupleCentreVMImpl
Sends a rdp message to the tuple centre virtual machine (the rdp gets without removing if present a matching tuple from tuple centre)
reaction - Variable in class alice.tuplemedium.TriggeredReaction
the reaction triggered
Reaction - interface alice.tuplemedium.Reaction.
Represents the reaction concept of tuple centre model.
reactionSpec - Variable in class alice.tuplemedium.TupleCentreVM
reactions specification (tuple centre reaction behaviour)
reactor - Variable in class alice.tuplemedium.TupleCentreVM
reactions manager
Reactor - interface alice.tuplemedium.Reactor.
Defines the tuple centre reactive behaviour, which is the core of its coordination ability.
Reactor - class alice.respect.Reactor.
this class defines the ReSpecT tuple centre reactor component.
Reactor(TupleCentreVM) - Constructor for class alice.respect.Reactor
 
readMatchingTuple(TupleTemplate) - Method in interface alice.tuplemedium.TupleSet
Gets (wtihout removal) non-deterministically a tuple of the multiset matching the template specified
readMatchingTuple(TupleTemplate) - Method in class alice.respect.TupleSetImpl
 
removeAgentEvents(AgentId) - Method in class alice.tuplemedium.TupleCentreVMImpl
removes all pending events of an agent
removeEventsOf(AgentId) - Method in class alice.tuplemedium.TupleCentreVM
Removes all events of specified agent This services is executed in paraller to the virtual machine thread of control.
removeEventsOf(AgentId) - Method in interface alice.tuplemedium.EventSet
Removes all the events with a specified agent identifier
removeEventsOf(AgentId) - Method in class alice.respect.EventSetImpl
 
removeObservableEventListener(ObservableEventListener) - Method in class alice.tuplemedium.TupleCentreVM
Removes (if present) a listener to observable events
reset() - Method in class alice.tuplemedium.TupleCentreVM
resets the virtual machine to boot state
reset() - Method in interface alice.tuplemedium.Reactor
Resets the reactive component of the machine
reset() - Method in class alice.respect.Reactor
 
run() - Method in class alice.tuplemedium.TupleCentreVM
Expresses the behaviour of the thread of control of the virtual machine
run() - Method in class alice.respect.PrologActivity
 
run() - Method in class alice.luce.Automaton
Defines the automaton behaviour

S

set_spec_1(Struct) - Method in class alice.respect.ActivityLibrary
 
setArgument(Object) - Method in class alice.tuplemedium.TupleCentreVMImpl
Specifies auxiliary information used to initialize tuple centre virtual machine, which depends on the specific tuple centre model
setArgument(Object) - Method in class alice.respect.TupleCentreVM
 
setArguments(LogicTuple) - Method in class alice.respect.JavaActivity
 
setArguments(LogicTuple) - Method in class alice.respect.OutTCActivity
 
setId(TupleCentreId) - Method in class alice.tuplemedium.TupleCentreVMImpl
Specifies the identifier of the tuple centre
setOutTCactivityClassFile(String) - Method in class alice.respect.Reactor
 
setReactionSpec(Tuple) - Method in interface alice.tuplemedium.Reactor
Sets the specification describing the reactive behaviour It's like the program specyfing the behaviour of the tuple centre reacting to communication events.
setReactionSpec(Tuple) - Method in class alice.respect.Reactor
 
SETSPEC - Static variable in class alice.tuplemedium.EventOperation
 
setSpec(LogicTuple) - Method in class alice.respect.JavaActivity
 
setSpec(LogicTuple) - Method in class alice.respect.TupleCentre
 
setSpec(LogicTuple) - Method in class alice.respect.UserLocal
 
setSpec(Tuple, AgentId, VMListener) - Method in class alice.tuplemedium.TupleCentreVMImpl
Sends a setSpec message to the tuple centre virtual machine (the setSpec sets a new behaviour of the tuple centre)
setSpec(TupleCentreId, LogicTuple) - Static method in class alice.infrastructure.Luce
 
setSpec(TupleCentreId, LogicTuple) - Method in class alice.luce.User
 
shutdown() - Method in class alice.luce.User
 
size() - Method in interface alice.tuplemedium.TupleSet
Gets the number of tuples inside the multiset
size() - Method in interface alice.tuplemedium.EventSet
Gets the number of events inside the multiset
size() - Method in class alice.respect.EventSetImpl
 
size() - Method in class alice.respect.TupleSetImpl
 
sourceFileName - Variable in class alice.respect.ActivitySpawner
 
spawn_1(Struct) - Method in class alice.respect.Library
 
spy(String) - Method in class alice.tuplemedium.TupleCentreVM
 
spy(String) - Method in class alice.respect.Library
 
state - Variable in class alice.luce.Automaton
method name representing state behaviour
sub(Event) - Method in interface alice.tuplemedium.EventSet
Removes (if present) an event from multiset
sub(Event) - Method in class alice.respect.EventSetImpl
 
sub(TriggeredReaction) - Method in interface alice.tuplemedium.TRSet
Removes a triggered reaction from the multiset
sub(TriggeredReaction) - Method in class alice.respect.TRSetImpl
 
sub(Tuple) - Method in interface alice.tuplemedium.TupleSet
Removes a tuple to the multiset
sub(Tuple) - Method in class alice.respect.TupleSetImpl
 
success_0(Struct) - Method in class alice.respect.Library
 

T

TCentreId - class alice.luce.TCentreId.
tuple centre identifier for logic tuple centres, described in term of a name (string) and address (string).
TCentreId() - Constructor for class alice.luce.TCentreId
constructs a default tuple centre id: default@localost
TCentreId(String) - Constructor for class alice.luce.TCentreId
constructs a tuple centre id on localhost, specifying the name
TCentreId(String, String) - Constructor for class alice.luce.TCentreId
constructs a generic tuple centre id, specifying name and address
template - Variable in class alice.tuplemedium.Event
if speficied, the information template content of the operation
term - Variable in class alice.respect.LogicReaction
 
toArray() - Method in class alice.respect.TupleSetImpl
 
TOSPACE - Static variable in class alice.tuplemedium.EventDirection
 
toString() - Method in class alice.tuplemedium.Event
 
toString() - Method in class alice.logictuple.TupleArgument
Gets the string representation of the argument
toString() - Method in class alice.logictuple.LogicTuple
Gets the string representation of the logic tuple
toString() - Method in class alice.respect.LogicReaction
 
toString() - Method in class alice.respect.AgentId
 
toString() - Method in class alice.respect.TupleCentreId
 
toString() - Method in class alice.luce.TCentreId
 
toTerm() - Method in class alice.logictuple.TupleArgument
Gets the prolog term representation of the argument
toTerm() - Method in class alice.logictuple.LogicTuple
Gets the Term representation of the logic tuple
TriggeredReaction - class alice.tuplemedium.TriggeredReaction.
Represents a reaction which has been triggered inside a tuple centre by a specific event
TriggeredReaction(Event, Reaction) - Constructor for class alice.tuplemedium.TriggeredReaction
 
triggerReaction(Event) - Method in interface alice.tuplemedium.Reactor
Checks if any reaction is triggered by a communication event
triggerReaction(Event) - Method in class alice.respect.Reactor
 
TRSet - interface alice.tuplemedium.TRSet.
Specifies the services which must be provided by the component inside the tuple centre virtual machine collecting and managing triggered reactions as a multiset An important aspect of the component implementing this interface is the ability to execute transactions, that is execute sequence of operations that could be commited or asked to be undone.
TRSetImpl - class alice.respect.TRSetImpl.
Naive implementation of the TRSet interface, defining the behaviour of the component that manages triggered reactions.
TRSetImpl() - Constructor for class alice.respect.TRSetImpl
 
tSet - Variable in class alice.tuplemedium.TupleCentreVM
multiset of tuples T
tuple - Variable in class alice.tuplemedium.Event
if specified, the information content of the operation
tuple - Variable in class alice.respect.ActivitySpawner
 
Tuple - interface alice.tuplemedium.Tuple.
Defines the information content of tuple centre and exchanged thorugh interactions.
TupleArgument - class alice.logictuple.TupleArgument.
Defines an argument of logic tuple.
TupleArgument() - Constructor for class alice.logictuple.TupleArgument
 
TupleArgument(Object) - Constructor for class alice.logictuple.TupleArgument
Constructs an argument using a generic object
TupleArgument(Term) - Constructor for class alice.logictuple.TupleArgument
Contructs a tuple argument copying a Prolog term
TupleCentre - class alice.respect.TupleCentre.
Standalone running tuple centre vm
TupleCentre() - Constructor for class alice.respect.TupleCentre
 
TupleCentre(TupleCentreId) - Constructor for class alice.respect.TupleCentre
 
TupleCentreId - interface alice.tuplemedium.TupleCentreId.
Represents identifier for a tuple centre
TupleCentreId - class alice.respect.TupleCentreId.
tuple centre identifier for logic tuple centres, described in term of a name (string)
TupleCentreId - class alice.luce.TupleCentreId.
tuple centre identifier for logic tuple centres, described in term of a name (string).
TupleCentreId() - Constructor for class alice.respect.TupleCentreId
constructs a default tuple centre id: default@localost
TupleCentreId() - Constructor for class alice.luce.TupleCentreId
constructs a default tuple centre id
TupleCentreId(String) - Constructor for class alice.respect.TupleCentreId
constructs a generic tuple centre id, specifying name and address
TupleCentreId(String) - Constructor for class alice.luce.TupleCentreId
constructs a generic tuple centre id, specifying name
TupleCentreVM - class alice.tuplemedium.TupleCentreVM.
Defines the core behaviour of a tuple centre virtual machine.
TupleCentreVM - class alice.respect.TupleCentreVM.
Defines a Respect LogicTuple Centre VM.
TupleCentreVM() - Constructor for class alice.tuplemedium.TupleCentreVM
 
TupleCentreVM() - Constructor for class alice.respect.TupleCentreVM
 
TupleCentreVM(TupleCentreId) - Constructor for class alice.respect.TupleCentreVM
 
TupleCentreVMImpl - class alice.tuplemedium.TupleCentreVMImpl.
This class extends base virtual machine core in order to make the tuple centre reachable with a proper interface and specifying a way to dispatch output events.The concept of VMListener is introduced to identify targets of output communication events.
TupleCentreVMImpl() - Constructor for class alice.tuplemedium.TupleCentreVMImpl
 
TupleSet - interface alice.tuplemedium.TupleSet.
Specifies the services which must be provided by the component inside the tuple centre virtual machine collecting and managing tuples as a multiset An important aspect of the component implementing this interface is the ability to execute transactions, that is execute sequence of operations that could be commited or asked to be undone.
TupleSetImpl - class alice.respect.TupleSetImpl.
Naive implementation of the TupleSet interface, defining the behaviour of the component managin tuple storage.
TupleSetImpl() - Constructor for class alice.respect.TupleSetImpl
 
TupleTemplate - interface alice.tuplemedium.TupleTemplate.
Defines the template used to retrieve tuple information from Tuple Centres, thorugh interactions.
TYPE_NEWSTATE - Static variable in class alice.tuplemedium.ObservableEvent
constant tag identifying new state reached by tuple centre VM
TYPE_REACTIONFAIL - Static variable in class alice.tuplemedium.ObservableEvent
constant tag identifying a failed reaction happened inside tuple centre VM
TYPE_REACTIONOK - Static variable in class alice.tuplemedium.ObservableEvent
constant tag identifying a succesfull reaction happened inside tuple centre VM

U

User - class alice.luce.User.
 
User(AgentId) - Constructor for class alice.luce.User
 
User(AgentId, String) - Constructor for class alice.luce.User
 
User(String) - Constructor for class alice.luce.User
 
UserLocal - class alice.respect.UserLocal.
this is the basic class for developing tuple media local user in this case the user is local to the daemon (which is unique inside a java VM) this class serves as both acceptor and connector; it is used to access only one tuple centre
UserLocal(AgentId, TupleCentreVMImpl) - Constructor for class alice.respect.UserLocal
 

V

value - Variable in class alice.logictuple.TupleArgument
the internal representation of the argument is a (tu)Prolog term
Value - class alice.logictuple.Value.
Value class represents value (integer, real, string, compound-structured) argument of tuples This class works only as a constructor of specific value object, it does not provide any services, which are collected in TupleArgument class
Value() - Constructor for class alice.logictuple.Value
 
Value(double) - Constructor for class alice.logictuple.Value
Constructs a simple double tuple argument
Value(float) - Constructor for class alice.logictuple.Value
Constructs a simple float tuple argument
Value(int) - Constructor for class alice.logictuple.Value
Constructs a simple integer tuple argument
Value(long) - Constructor for class alice.logictuple.Value
Constructs a simple long tuple argument
Value(String) - Constructor for class alice.logictuple.Value
Constructs a simple string tuple argument
Value(String, TupleArgument) - Constructor for class alice.logictuple.Value
Constructs a structured (compound) argument, made of a string as a name (functor) and one argument
Value(String, TupleArgument[]) - Constructor for class alice.logictuple.Value
Constructs a structured (compound) argument, made of a string as a name (functor) and list of arguments
Value(String, TupleArgument, TupleArgument) - Constructor for class alice.logictuple.Value
Constructs a structured (compound) argument, made of a string as a name (functor) and two arguments
Value(String, TupleArgument, TupleArgument, TupleArgument) - Constructor for class alice.logictuple.Value
Constructs a structured (compound) argument, made of a string as a name (functor) and three arguments
Value(String, TupleArgument, TupleArgument, TupleArgument, TupleArgument) - Constructor for class alice.logictuple.Value
Constructs a structured (compound) argument, made of a string as a name (functor) and four arguments
Value(String, TupleArgument, TupleArgument, TupleArgument, TupleArgument, TupleArgument) - Constructor for class alice.logictuple.Value
Constructs a structured (compound) argument, made of a string as a name (functor) and five arguments
Value(String, TupleArgument, TupleArgument, TupleArgument, TupleArgument, TupleArgument, TupleArgument) - Constructor for class alice.logictuple.Value
Constructs a structured (compound) argument, made of a string as a name (functor) and six arguments
Value(String, TupleArgument, TupleArgument, TupleArgument, TupleArgument, TupleArgument, TupleArgument, TupleArgument) - Constructor for class alice.logictuple.Value
Constructs a structured (compound) argument, made of a string as a name (functor) and seven arguments
Var - class alice.logictuple.Var.
Defines Variable argument of tuples, identified by a name
Var() - Constructor for class alice.logictuple.Var
Constructs an anonymous variable tuple argument
Var(String) - Constructor for class alice.logictuple.Var
Construct a variable tuple argument identified with a name
VERSION - Static variable in class alice.infrastructure.Luce
LuCe infrastructure version
VMListener - interface alice.tuplemedium.VMListener.
Defines the services that must be provided by any object which must receive commounication output events produced by a tuple centre

W

wnSet - Variable in class alice.tuplemedium.TupleCentreVM
multiset of not satisfiable pending queries Wn - W/(Wn+Wp)
wpSet - Variable in class alice.tuplemedium.TupleCentreVM
multiset of satisfiable pending queries Wp - predicatives (inp,rdp)
wsSet - Variable in class alice.tuplemedium.TupleCentreVM
multiset of satisfiable pending queries Ws - not predicatives (in,rd)

Z

zSet - Variable in class alice.tuplemedium.TupleCentreVM
multiset of triggered reactions Z

A B C D E F G H I J L M N O P R S T U V W Z