statenum(name)

returns the number of DES states

Parameters

Name	Type	Description	Default
name	string	name of DES	required

Example

sample 1

delta = [
    (0, 11, 1),
    (1, 12, 2),
    (2, 11, 0),
    (2, 14, 3)
]
Qm = [3]
pytct.create("model", 4, delta, Qm)

pytct.statenum("model")