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