def init_help (self) :
help = BaseSimulator.init_help(self)
help.update({
"#model .abcd" : {
"title" : "Source",
"content" : "ABCD source code"
},
"#model .tree" : {
"title" : "State",
"content" : "hierarchy of ABCD objects",
},
"#model .petrinet" : {
"title" : "Net",
"content" : "Petri nets semantics"
}})
return help
def init_help(self):
help = BaseSimulator.init_help(self)
help.update({
"#model .abcd": {
"title": "Source",
"content": "ABCD source code"
},
"#model .tree": {
"title": "State",
"content": "hierarchy of ABCD objects",
},
"#model .petrinet": {
"title": "Net",
"content": "Petri nets semantics"
}
})
return help
