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) : ...