A B C E F G H I M N P R S T V

A

addFinalState(State) - Method in class MealyStateMachine.Automata

addFinalState(State) - Method in class MealyStateMachine.Automata

addState(State) - Method in class MealyStateMachine.Automata

addState(State) - Method in class MealyStateMachine.Automata

addSubstitution(VarIdentifier, Integer) - Method in class MealyStateMachine.StateSpaceContext

add a substitution in the current context

addSubstitution(VarIdentifier, Integer) - Method in class MealyStateMachine.StateSpaceContext

add a substitution in the current context

addTransition(State, MealyLabel, State) - Method in class MealyStateMachine.Automata

addTransition(State, MealyLabel, State) - Method in class MealyStateMachine.Automata

addTransition(MealyLabel, State) - Method in class MealyStateMachine.State

add an already built Mealy label + a reached state

addTransition(MealyLabel, State) - Method in class MealyStateMachine.State

add an already built Mealy label + a reached state

allGuardedTransitions() - Method in class MealyStateMachine.State

Check if all the outgoing transitions are guarded

allGuardedTransitions() - Method in class MealyStateMachine.State

Check if all the outgoing transitions are guarded

Automata - Class in MealyStateMachine

Automata : a finite Mealy state machine is made of a set of States among which a set of final States and an initial state, a set of (Mealy)Labels attached to the states, the transition relation is a set of (outgoing)transitions going from the states and reaching other states.

Automata - Class in MealyStateMachine

Automata : a finite Mealy state machine is made of a set of States among which a set of final States and an initial state, a set of (Mealy)Labels attached to the states, the transition relation is a set of (outgoing)transitions going from the states and reaching other states.

Automata() - Constructor for class MealyStateMachine.Automata

Constructor

Automata() - Constructor for class MealyStateMachine.Automata

Constructor

B

build_Mealy_Automaton1() - Static method in class MealyStateMachine.ProcessBehaviour

build_Mealy_Automaton1() - Static method in class MealyStateMachine.ProcessBehaviour

C

chekState() - Method in class MealyStateMachine.State

Check the configuration of the state wrt to the nature of the outgoing transitions; return an int return 1 = there are at least one leading event: evt[guard]/act return 2 = there are no leading event, but at least one guarded transition: [guard]/...

chekState() - Method in class MealyStateMachine.State

Check the configuration of the state wrt to the nature of the outgoing transitions; return an int return 1 = there are at least one leading event: evt[guard]/act return 2 = there are no leading event, but at least one guarded transition: [guard]/...

E

equals(Object) - Method in class MealyStateMachine.mAction

equals(Object) - Method in class MealyStateMachine.mAction

equals(Object) - Method in class MealyStateMachine.mCondition

equals(Object) - Method in class MealyStateMachine.mCondition

equals(Object) - Method in class MealyStateMachine.MealyLabel

equals(Object) - Method in class MealyStateMachine.MealyLabel

equals(Object) - Method in class MealyStateMachine.mEvent

equals(Object) - Method in class MealyStateMachine.mEvent

equals(Object) - Method in class MealyStateMachine.StateLabelledTransition

equals(Object) - Method in class MealyStateMachine.StateLabelledTransition

equals(Object) - Method in class MealyStateMachine.VarIdentifier

equals(Object) - Method in class MealyStateMachine.VarIdentifier

evalActions(LinkedList<mAction>) - Method in class MealyStateMachine.StateSpaceContext

Evaluator of actions (var = val) in the the context {< var = value>}

evalActions(LinkedList<mAction>) - Method in class MealyStateMachine.StateSpaceContext

Evaluator of actions (var = val) in the the context {< var = value>}

evalCond(mCondition) - Method in class MealyStateMachine.StateSpaceContext

Evaluator of a condition in the the context {< var = value>}

evalCond(mCondition) - Method in class MealyStateMachine.StateSpaceContext

Evaluator of a condition in the the context {< var = value>}

F

findEvtLeadingTransitions() - Method in class MealyStateMachine.State

find in the list of outgoing transitions, the leading events

findEvtLeadingTransitions() - Method in class MealyStateMachine.State

find in the list of outgoing transitions, the leading events

G

getAction() - Method in class MealyStateMachine.mAction

getAction() - Method in class MealyStateMachine.mAction

getActions() - Method in class MealyStateMachine.MealyLabel

getActions() - Method in class MealyStateMachine.MealyLabel

getContext() - Method in class MealyStateMachine.Automata

getContext() - Method in class MealyStateMachine.Automata

getContext() - Method in class MealyStateMachine.StateSpaceContext

get the current context

getContext() - Method in class MealyStateMachine.StateSpaceContext

get the current context

getEvent() - Method in class MealyStateMachine.MealyLabel

getEvent() - Method in class MealyStateMachine.MealyLabel

getFinalStates() - Method in class MealyStateMachine.Automata

getFinalStates() - Method in class MealyStateMachine.Automata

getGuard() - Method in class MealyStateMachine.MealyLabel

getGuard() - Method in class MealyStateMachine.MealyLabel

getInitialState() - Method in class MealyStateMachine.Automata

the methods to explore the automata

getInitialState() - Method in class MealyStateMachine.Automata

the methods to explore the automata

getLHS() - Method in class MealyStateMachine.mAction

getLHS() - Method in class MealyStateMachine.mAction

getLHS() - Method in class MealyStateMachine.mCondition

getLHS() - Method in class MealyStateMachine.mCondition

getMealyLabel() - Method in class MealyStateMachine.StateLabelledTransition

getMealyLabel() - Method in class MealyStateMachine.StateLabelledTransition

getName() - Method in class MealyStateMachine.State

getName() - Method in class MealyStateMachine.State

getRHS() - Method in class MealyStateMachine.mAction

getRHS() - Method in class MealyStateMachine.mAction

getRHS() - Method in class MealyStateMachine.mCondition

getRHS() - Method in class MealyStateMachine.mCondition

getState() - Method in class MealyStateMachine.StateLabelledTransition

getState() - Method in class MealyStateMachine.StateLabelledTransition

getTransitions() - Method in class MealyStateMachine.State

collect the current transitions

getTransitions() - Method in class MealyStateMachine.State

collect the current transitions

getTransitionWithEvent(mEvent) - Method in class MealyStateMachine.State

get a complete transition+reached state, where the given event is matching

getTransitionWithEvent(mEvent) - Method in class MealyStateMachine.State

get a complete transition+reached state, where the given event is matching

H

hashCode() - Method in class MealyStateMachine.mAction

hashCode() - Method in class MealyStateMachine.mAction

hashCode() - Method in class MealyStateMachine.mCondition

hashCode() - Method in class MealyStateMachine.mCondition

hashCode() - Method in class MealyStateMachine.MealyLabel

hashCode() - Method in class MealyStateMachine.MealyLabel

hashCode() - Method in class MealyStateMachine.mEvent

hashCode() - Method in class MealyStateMachine.mEvent

hashCode() - Method in class MealyStateMachine.StateLabelledTransition

hashCode() - Method in class MealyStateMachine.StateLabelledTransition

hashCode() - Method in class MealyStateMachine.VarIdentifier

hashCode() - Method in class MealyStateMachine.VarIdentifier

hasTransitions() - Method in class MealyStateMachine.State

does it has transition ?

hasTransitions() - Method in class MealyStateMachine.State

does it has transition ?

I

isAffectation() - Method in class MealyStateMachine.mAction

isAffectation() - Method in class MealyStateMachine.mAction

isComparaison() - Method in class MealyStateMachine.mCondition

isComparaison() - Method in class MealyStateMachine.mCondition

isFinalState(State) - Method in class MealyStateMachine.Automata

isFinalState(State) - Method in class MealyStateMachine.Automata

isInitialState(State) - Method in class MealyStateMachine.Automata

isInitialState(State) - Method in class MealyStateMachine.Automata

isMethodCall() - Method in class MealyStateMachine.mAction

isMethodCall() - Method in class MealyStateMachine.mAction

M

mAction - Class in MealyStateMachine

mAction : a mealy Action it is either "action()" or "var=val"

mAction - Class in MealyStateMachine

mAction : a mealy Action it is either "action()" or "var=val"

mAction() - Constructor for class MealyStateMachine.mAction

Constructor

mAction(String) - Constructor for class MealyStateMachine.mAction

mAction() - Constructor for class MealyStateMachine.mAction

Constructor

mAction(String) - Constructor for class MealyStateMachine.mAction

main(String[]) - Static method in class MealyStateMachine.ProcessBehaviour

main(String[]) - Static method in class MealyStateMachine.ProcessBehaviour

mCondition - Class in MealyStateMachine

mCondition : a mealy Condition it is either "var = val" or "var = var" the pretty print form is [var=val] Currently the restriction is var = aDigit

mCondition - Class in MealyStateMachine

mCondition : a mealy Condition it is either "var = val" or "var = var" the pretty print form is [var=val] Currently the restriction is var = aDigit

mCondition() - Constructor for class MealyStateMachine.mCondition

Constructor

mCondition(String) - Constructor for class MealyStateMachine.mCondition

mCondition() - Constructor for class MealyStateMachine.mCondition

Constructor

mCondition(String) - Constructor for class MealyStateMachine.mCondition

MealyLabel - Class in MealyStateMachine

MealyLabel : a symbol is used as a label of an FSM's transition.

MealyLabel - Class in MealyStateMachine

MealyLabel : a symbol is used as a label of an FSM's transition.

MealyLabel(String) - Constructor for class MealyStateMachine.MealyLabel

Constructor

MealyLabel(String) - Constructor for class MealyStateMachine.MealyLabel

Constructor

MealyStateMachine - package MealyStateMachine

mEvent - Class in MealyStateMachine

mEvent : a mealy Event should be a communication event (toa achieve interaction with the environment)

mEvent - Class in MealyStateMachine

mEvent : a mealy Event should be a communication event (toa achieve interaction with the environment)

mEvent() - Constructor for class MealyStateMachine.mEvent

Constructor

mEvent(String) - Constructor for class MealyStateMachine.mEvent

Constructor

mEvent() - Constructor for class MealyStateMachine.mEvent

Constructor

mEvent(String) - Constructor for class MealyStateMachine.mEvent

Constructor

moveNextState(StateLabelledTransition) - Method in class MealyStateMachine.Automata

moveNextState(StateLabelledTransition) - Method in class MealyStateMachine.Automata

N

nonDeterministicTransitions() - Method in class MealyStateMachine.State

Currently, the outgoing transitions from the state are deterministic

nonDeterministicTransitions() - Method in class MealyStateMachine.State

Currently, the outgoing transitions from the state are deterministic

P

ProcessBehaviour - Class in MealyStateMachine

ProcessBehaviour : this application - builds an adhoc mealy automata, - parses the list according to the automata

ProcessBehaviour - Class in MealyStateMachine

ProcessBehaviour : this application - builds an adhoc mealy automata, - parses the list according to the automata

ProcessBehaviour() - Constructor for class MealyStateMachine.ProcessBehaviour

ProcessBehaviour() - Constructor for class MealyStateMachine.ProcessBehaviour

ProcessBehaviour() - Static method in class MealyStateMachine.ProcessBehaviour

ProcessBehaviour() - Static method in class MealyStateMachine.ProcessBehaviour

R

runBehaviour() - Static method in class MealyStateMachine.ProcessBehaviour

Main parsing loop : given a Mealy automata it checks that from the initial state, we reach a final state, when traversing the automatat and reaing event from input (that should be replaced by a composition)

runBehaviour() - Static method in class MealyStateMachine.ProcessBehaviour

Main parsing loop : given a Mealy automata it checks that from the initial state, we reach a final state, when traversing the automatat and reaing event from input (that should be replaced by a composition)

S

setAction(String) - Method in class MealyStateMachine.mAction

Define an event

setAction(String) - Method in class MealyStateMachine.mAction

Define an event

setActions(LinkedList<mAction>) - Method in class MealyStateMachine.MealyLabel

setActions(LinkedList<mAction>) - Method in class MealyStateMachine.MealyLabel

setCondition(String) - Method in class MealyStateMachine.mCondition

Define a condition

setCondition(String) - Method in class MealyStateMachine.mCondition

Define a condition

setCurrentState(State) - Method in class MealyStateMachine.Automata

setCurrentState(State) - Method in class MealyStateMachine.Automata

setEvent(mEvent) - Method in class MealyStateMachine.MealyLabel

setEvent(mEvent) - Method in class MealyStateMachine.MealyLabel

setEvent(String) - Method in class MealyStateMachine.mEvent

Define an event

setEvent(String) - Method in class MealyStateMachine.mEvent

Define an event

setGuard(mCondition) - Method in class MealyStateMachine.MealyLabel

setGuard(mCondition) - Method in class MealyStateMachine.MealyLabel

setInitialState(State) - Method in class MealyStateMachine.Automata

setInitialState(State) - Method in class MealyStateMachine.Automata

setLHS(VarIdentifier) - Method in class MealyStateMachine.mCondition

setLHS(VarIdentifier) - Method in class MealyStateMachine.mCondition

setMealyLabel(MealyLabel) - Method in class MealyStateMachine.StateLabelledTransition

setMealyLabel(MealyLabel) - Method in class MealyStateMachine.StateLabelledTransition

setName(String) - Method in class MealyStateMachine.State

setName(String) - Method in class MealyStateMachine.State

setState(State) - Method in class MealyStateMachine.StateLabelledTransition

setState(State) - Method in class MealyStateMachine.StateLabelledTransition

State - Class in MealyStateMachine

State of a (Mealy) finite state machine: it has a name, and a list of outgoing transitions ; each transition is labelled by a label

State - Class in MealyStateMachine

State of a (Mealy) finite state machine: it has a name, and a list of outgoing transitions ; each transition is labelled by a label

State(String) - Constructor for class MealyStateMachine.State

Constructor

State(String) - Constructor for class MealyStateMachine.State

Constructor

StateLabelledTransition - Class in MealyStateMachine

A state labelled transition is: a MealyLabel+ReachedState :

StateLabelledTransition - Class in MealyStateMachine

A state labelled transition is: a MealyLabel+ReachedState :

StateLabelledTransition() - Constructor for class MealyStateMachine.StateLabelledTransition

Constructor

StateLabelledTransition() - Constructor for class MealyStateMachine.StateLabelledTransition

Constructor

StateSpaceContext - Class in MealyStateMachine

StateSpaceContext - Class in MealyStateMachine

StateSpaceContext() - Constructor for class MealyStateMachine.StateSpaceContext

Constructor of the context {< var = value>}

StateSpaceContext() - Constructor for class MealyStateMachine.StateSpaceContext

Constructor of the context {< var = value>}

T

toString() - Method in class MealyStateMachine.Automata

toString() - Method in class MealyStateMachine.Automata

toString() - Method in class MealyStateMachine.mAction

toString() - Method in class MealyStateMachine.mAction

toString() - Method in class MealyStateMachine.mCondition

toString() - Method in class MealyStateMachine.mCondition

toString() - Method in class MealyStateMachine.MealyLabel

toString() - Method in class MealyStateMachine.MealyLabel

toString() - Method in class MealyStateMachine.mEvent

toString() - Method in class MealyStateMachine.mEvent

toString() - Method in class MealyStateMachine.State

toString() - Method in class MealyStateMachine.State

toString() - Method in class MealyStateMachine.StateLabelledTransition

toString() - Method in class MealyStateMachine.StateLabelledTransition

toString() - Method in class MealyStateMachine.StateSpaceContext

toString() - Method in class MealyStateMachine.StateSpaceContext

toString() - Method in class MealyStateMachine.VarIdentifier

toString() - Method in class MealyStateMachine.VarIdentifier

V

VarIdentifier - Class in MealyStateMachine

VarIdentifier : a variable is currently a string.

VarIdentifier - Class in MealyStateMachine

VarIdentifier : a variable is currently a string.

VarIdentifier(String) - Constructor for class MealyStateMachine.VarIdentifier

VarIdentifier(String) - Constructor for class MealyStateMachine.VarIdentifier

A B C E F G H I M N P R S T V