Module sm :: Class Until

Class Until

SM --+
     |
    Until

Execute SM until it terminates or the condition becomes true. Condition is evaluated on the inp

Instance Methods

__init__(self, condition, sm, name=None)

startState(self)
By default, startState is none

getNextValues(self, state, inp)
Default version of this method.

done(self, state)
By default, machines don't terminate

printDebugInfo(self, depth, state, nextState, inp, out, debugParams)
Default method for printing out all of the debugging information for a primitive machine.

Inherited from SM: check, doTraceTasks, getStartState, guaranteeName, isDone, run, start, step, transduce, transduceF

Class Variables
Inherited from `SM`: `legalInputs`, `name`

Instance Variables
Inherited from `SM`: `state`

Method Details

init(self, condition, sm, name=None)
(Constructor)

Parameters:

condition - Procedure mappin input to Boolean
sm - terminating SM

startState(self)

By default, startState is none

Overrides: startState

getNextValues(self, state, inp)

Default version of this method. If a subclass only defines getNextState, then we assume that the output of the machine is the same as its next state.

Overrides: SM.getNextValues: (inherited documentation)

done(self, state)

By default, machines don't terminate

Overrides: SM.done: (inherited documentation)

printDebugInfo(self, depth, state, nextState, inp, out, debugParams)

Default method for printing out all of the debugging information for a primitive machine.