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'))