Class StateSpace
>>>class StateSpace (dict) :
Method StateSpace.__init__
>>>def __init__ (self, net) :
Method StateSpace.get
>>>def get (self) :
Method StateSpace.add
>>>def add (self, marking) :
Method StateSpace.setmodes
>>>def setmodes (self, state) :
Method StateSpace.succ
>>>def succ (self, state, mode) :
Method StateSpace.modes
>>>def modes (self, state) :
Class Server
>>>class Server (multiprocessing.Process) :
Method Server.__init__
>>>def __init__ (self, httpd) :
Method Server.run
>>>def run (self) :
Class WatchDog
>>>class WatchDog (multiprocessing.Process) :
Method WatchDog.__init__
>>>def __init__ (self, timeout=30) :
Method WatchDog.run
>>>def run (self) :
Class BaseSimulator
>>>class BaseSimulator (object) :
Method BaseSimulator.__init__
>>>def __init__ (self, net) :
Method BaseSimulator.getstate
>>>def getstate (self, state) :
Method BaseSimulator.init
>>>def init (self, state=-1) :
Method BaseSimulator.succ
>>>def succ (self, state, mode) :
Method BaseSimulator.init_help
>>>def init_help (self) :
Class BaseHTTPSimulator
>>>class BaseHTTPSimulator (Node) :
Method BaseHTTPSimulator.__init__
>>>def __init__ (self, net=None, port=8000, respatt=[], simulator=None) :
Method BaseHTTPSimulator.start
>>>def start (self) :
Method BaseHTTPSimulator.wait
>>>def wait (self) :
Method BaseHTTPSimulator.init_index
>>>def init_index (self) :
Method BaseHTTPSimulator.init_model
>>>def init_model (self) :
Method BaseHTTPSimulator.init_about
>>>def init_about (self) :
Method BaseHTTPSimulator.__call__
>>>@http("text/html")
def __call__ (self) : ...
Method BaseHTTPSimulator.init_ui
>>>def init_ui (self) :
Method BaseHTTPSimulator.init
>>>@http("application/json", state=int)
def init (self, state=-1) : ...
Method BaseHTTPSimulator.succ
>>>@http("application/json", state=int, mode=int)
def succ (self, state, mode) : ...
Method BaseHTTPSimulator.ping
>>>@http("text/plain")
def ping (self) : ...
Method BaseHTTPSimulator.quit
>>>@http("text/plain")
def quit (self) : ...