def add_options(self):
self.add_parm(frontend.CmdParm('comp_names', frontend.AUTLIST, 'p+',
'list of components (weighted automata)'))
self.add_parm(frontend.CmdParm('req_names', frontend.AUTLIST, 'r+',
'list of requirements (unweighted automata)'))
self.add_parm(frontend.CmdParm('steps', frontend.AUT,
's>', 'step file'))
def add_options(self):
self.add_parm(
frontend.CmdParm('small', frontend.EXIST_AUT, 'i+s',
'first (smallest) model'))
self.add_parm(
frontend.CmdParm('big', frontend.EXIST_AUT, 'i+b',
'second (biggest) model'))
def add_options(self):
self.add_parm(
frontend.CmdParm('aut_name', frontend.EXIST_AUT, 'i<',
'weighted model'))
self.add_parm(
frontend.CmdParm('dot_name', frontend.DOT, 'o>',
'target Graphviz name'))
def add_options(self):
self.add_parm(frontend.CmdParm('comp_names', frontend.AUTLIST, 'p+',
'list of components (weighted automata)'))
self.add_parm(frontend.CmdParm('req_names', frontend.AUTLIST, 'r+',
'list of requirements (unweighted automata)'))
self.add_parm(frontend.CmdParm('evt_pairs', frontend.EVTPAIRS,
'e', 'set of event pairs'))
def add_options(self):
self.add_parm(
frontend.CmdParm('aut1_name', frontend.EXIST_AUT, 'i+',
'first model'))
self.add_parm(
frontend.CmdParm('aut2_name', frontend.EXIST_AUT, 'i+',
'second model'))
def add_options(self):
self.add_parm(
frontend.CmdParm('aut_name', frontend.EXIST_AUT, 'i<',
'weighted automaton'))
self.add_parm(
frontend.CmdParm('result_name', frontend.AUT, 'o>',
'unweighted automaton'))
def add_options(self):
self.add_parm(frontend.CmdParm('input', frontend.EXIST_AUT,
'i<', 'source automaton'))
self.add_parm(frontend.CmdParm('psvevt_names', frontend.EVTLIST,
'e+', 'list of preserved events'))
self.add_parm(frontend.CmdParm('output', frontend.AUT,
'o>', 'name of the abstraction'))
def add_options(self):
self.add_parm(frontend.CmdParm('comp_name', frontend.AUT, 'p',
'Plant (weighted automaton)'))
self.add_parm(frontend.CmdParm('req_name', frontend.AUT, 'r',
'Requirement (unweighted automaton)'))
self.add_parm(frontend.CmdParm('sup_name', frontend.AUT,
's>', 'supervisor name'))
def add_options(self):
self.add_parm(
frontend.CmdParm('comp_names', frontend.AUTLIST, 'p+',
'list of components (weighted automata)'))
self.add_parm(
frontend.CmdParm('spec_names', frontend.AUTLIST, 'p+',
'list of components (unweighted automata)'))
def add_options(self):
self.add_parm(
frontend.CmdParm('aut_name', frontend.EXIST_AUT, 'i<',
'automaton'))
self.add_parm(
frontend.CmdParm('result_name', frontend.AUT, 'o>',
'minimized result'))
def add_options(self):
self.add_parm(frontend.CmdParm('aut_names', frontend.AUTLIST,
'i+', 'list of your input automata'))
self.add_parm(frontend.CmdParm('psvevt_names', frontend.EVTLIST,
'e+', 'list of preserved events'))
self.add_parm(frontend.CmdParm('output', frontend.AUT,
'o>', 'abstraction'))
def add_options(self):
self.add_parm(
frontend.CmdParm('aut_names', frontend.AUTLIST, '+i',
'list of your input automata'))
self.add_parm(
frontend.CmdParm('product_name', frontend.AUT, '-o>',
'product automaton'))
def add_options(self):
self.add_parm(
frontend.CmdParm('plants', frontend.AUTLIST, '+p', 'plant models'))
self.add_parm(
frontend.CmdParm('specs', frontend.AUTLIST, '+r',
'requirement models'))
self.add_parm(
frontend.CmdParm('supervisor', frontend.AUT, 'so>', 'supervisor'))
def add_options(self):
self.add_parm(
frontend.CmdParm('aut_names', frontend.AUTLIST, 'i+<',
'list of your input automata'))
self.add_parm(
frontend.CmdParm('use_heuristic', frontend.BOOL, 'r',
'use hueristic order'))
def add_options(self):
self.add_parm(
frontend.CmdParm('input_name', frontend.EXIST_AUT, '<',
'source automaton'))
self.add_parm(
frontend.CmdParm('obs_names', frontend.EVTLIST, 'e+',
'list of observable events'))
def add_options(self):
self.add_parm(
frontend.CmdParm('input_name', frontend.EXIST_AUT, '<',
'source automaton'))
self.add_parm(
frontend.CmdParm('output_name', frontend.AUT, 'o>',
'name of the result'))
def add_options(self):
self.add_parm(
frontend.CmdParm('plant_name', frontend.EXIST_AUT, 'p',
'plant model'))
self.add_parm(
frontend.CmdParm('sup_name', frontend.EXIST_AUT, 's',
'supervisor model'))
def add_options(self):
self.add_parm(frontend.CmdParm('plant', frontend.EXIST_AUT,
'p', 'plant model'))
self.add_parm(frontend.CmdParm('supervisor', frontend.EXIST_AUT,
's', 'supervisor model'))
self.add_parm(frontend.CmdParm('feas_sup', frontend.AUT,
'o>', 'feasible supervisor filename'))
def add_options(self):
self.add_parm(
frontend.CmdParm('comp_names', frontend.AUTLIST, 'p+',
'list of components (weighted automata)'))
self.add_parm(
frontend.CmdParm('req_names', frontend.AUTLIST, 'r+',
'list of requirements (unweighted automata)'))
self.add_parm(
frontend.CmdParm('evt_pairs', frontend.EVTPAIRS, 'e',
'set of event pairs'))
self.add_parm(
frontend.CmdParm('sup_name', frontend.AUT, 's>',
'supervisor name'))
self.add_parm(
frontend.CmdParm('L', frontend.VALUE, 's>', 'L value (L >= 2)'))
def add_options(self):
self.add_parm(
frontend.CmdParm('comp_names', frontend.AUTLIST, 'p+',
'list of components (weighted automata)'))
self.add_parm(
frontend.CmdParm('req_names', frontend.AUTLIST, 'r+',
'list of requirements (unweighted automata)'))
self.add_parm(
frontend.CmdParm('path', frontend.AUT, '', 'sequence of events'))
self.add_parm(
frontend.CmdParm('plot_names', frontend.AUTLIST, '',
'Automata to plot (leave empty for all)'))
self.add_parm(
frontend.CmdParm('use_name', frontend.AUT, 's>',
'filename with use of resources'))
def add_options(self):
self.add_parm(
frontend.CmdParm('aut_name', frontend.EXIST_AUT, 'i<', 'model'))
def add_options(self):
self.add_parm(
frontend.CmdParm('ads_name', frontend.EXIST_ADS, 'i<', 'ads-file'))
self.add_parm(
frontend.CmdParm('aut_name', frontend.AUT, 'o>',
'destination automaton filename'))
def add_options(self):
self.add_parm(frontend.CmdParm('aut_names', frontend.AUTLIST,
'i+<', 'input weighted automata'))
self.add_parm(frontend.CmdParm('product_name', frontend.AUT,
'o>', 'product automaton'))
