source: vis_dev/vis-2.3/src/rob/tags @ 19

Last change on this file since 19 was 19, checked in by cecile, 13 years ago

add rob
File size: 9.0 KB
Line 
1!_TAG_FILE_FORMAT       2       /extended format; --format=1 will not append ;" to lines/
2!_TAG_FILE_SORTED       1       /0=unsorted, 1=sorted, 2=foldcase/
3!_TAG_PROGRAM_AUTHOR    Darren Hiebert  /dhiebert@users.sourceforge.net/
4!_TAG_PROGRAM_NAME      Exuberant Ctags //
5!_TAG_PROGRAM_URL       http://ctags.sourceforge.net    /official site/
6!_TAG_PROGRAM_VERSION   5.6     //
7CommandBmcRob   robCmd.c        /^CommandBmcRob( Hrc_Manager_t ** hmgr,$/;"     f       file:
8CommandComposeGolden    robCmd.c        /^CommandComposeGolden(Hrc_Manager_t ** hmgr,$/;"       f       file:
9CommandConvForbToProp   robCmd.c        /^CommandConvForbToProp (Hrc_Manager_t ** hmgr,$/;"     f       file:
10CommandConvInitToProp   robCmd.c        /^CommandConvInitToProp (Hrc_Manager_t ** hmgr,$/;"     f       file:
11CommandConvReachToProp  robCmd.c        /^CommandConvReachToProp (Hrc_Manager_t ** hmgr,$/;"    f       file:
12CommandConvReqToProp    robCmd.c        /^CommandConvReqToProp (Hrc_Manager_t ** hmgr,$/;"      f       file:
13CommandConvSafeToProp   robCmd.c        /^CommandConvSafeToProp (Hrc_Manager_t ** hmgr,$/;"     f       file:
14CommandPrintForbidden   robCmd.c        /^CommandPrintForbidden( Hrc_Manager_t ** hmgr,$/;"     f       file:
15CommandPrintRequired    robCmd.c        /^CommandPrintRequired( Hrc_Manager_t ** hmgr,$/;"      f       file:
16CommandPrintSafe        robCmd.c        /^CommandPrintSafe( Hrc_Manager_t ** hmgr,$/;"  f       file:
17CommandProtectGolden    robCmd.c        /^CommandProtectGolden(Hrc_Manager_t ** hmgr,$/;"       f       file:
18CommandProtectOutput    robCmd.c        /^CommandProtectOutput(Hrc_Manager_t ** hmgr,$/;"       f       file:
19CommandProtectRegister  robCmd.c        /^CommandProtectRegister(Hrc_Manager_t ** hmgr,$/;"     f       file:
20CommandResLtlFile       robCmd.c        /^CommandResLtlFile (Hrc_Manager_t ** hmgr,$/;" f       file:
21CommandResetForbidden   robCmd.c        /^CommandResetForbidden( Hrc_Manager_t ** hmgr,$/;"     f       file:
22CommandResetInitial     robCmd.c        /^CommandResetInitial( Hrc_Manager_t ** hmgr,$/;"       f       file:
23CommandResetRequired    robCmd.c        /^CommandResetRequired( Hrc_Manager_t ** hmgr,$/;"      f       file:
24CommandResetSafe        robCmd.c        /^CommandResetSafe( Hrc_Manager_t ** hmgr,$/;"  f       file:
25CommandRobustness       robCmd.c        /^CommandRobustness( Hrc_Manager_t ** hmgr,$/;" f       file:
26CommandSetForbidden     robCmd.c        /^CommandSetForbidden( Hrc_Manager_t ** hmgr,$/;"       f       file:
27CommandSetInitial       robCmd.c        /^CommandSetInitial(Hrc_Manager_t ** hmgr,$/;"  f       file:
28CommandSetLtlFormula    robCmd.c        /^CommandSetLtlFormula (Hrc_Manager_t ** hmgr,$/;"      f       file:
29CommandSetRequired      robCmd.c        /^CommandSetRequired( Hrc_Manager_t ** hmgr,$/;"        f       file:
30CommandSetSafe  robCmd.c        /^CommandSetSafe( Hrc_Manager_t ** hmgr,$/;"    f       file:
31CommandTestCount        robCmd.c        /^CommandTestCount (Hrc_Manager_t ** hmgr,$/;"  f       file:
32CommandprintmddID       robCmd.c        /^CommandprintmddID (Hrc_Manager_t ** hmgr,$/;" f       file:
33Common_support  SatCountAlgo.c  /^Common_support(mdd_manager* mgr,$/;"  f
34ComposeCubes    SatCountAlgo.c  /^ComposeCubes(mdd_manager* mgr,$/;"    f
35D       SatCountAlgo.c  /^D(Formula_t Form){$/;"        f
36F       SatCountAlgo.h  /^  lsList F; $/;"      m       struct:form
37Formula SatCountAlgo.h  /^} Formula;$/;"        t       typeref:struct:form
38Formula_t       SatCountAlgo.h  /^typedef Formula* Formula_t;$/;"       t
39Get_support     SatCountAlgo.c  /^Get_support(mdd_manager* mgr,mdd_t* l){$/;"   f
40K       SatCountAlgo.c  /^const int K=5;$/;"    v
41R       SatCountAlgo.h  /^  mdd_t* R;$/;"       m       struct:form
42ReadCNF_For_Count       SatCountAlgo.c  /^ReadCNF_For_Count(Ntk_Network_t   *network,$/;"       f
43ReadCNF_For_Count_      SatCountAlgo.c  /^ReadCNF_For_Count_( char *filename) {$/;"     f
44Rob_End robCmd.c        /^Rob_End(void)$/;"     f
45Rob_Init        robCmd.c        /^Rob_Init(void)$/;"    f
46V       SatCountAlgo.h  /^  mdd_t* V;$/;"       m       struct:form
47WriteCNF__rel_sat       SatCountAlgo.c  /^WriteCNF__rel_sat(char *filename) {$/;"       f
48WriteIDL__rel_sat       SatCountAlgo.c  /^WriteIDL__rel_sat(char *filename) {$/;"       f
49_ROB_H  Robust.h        35;"    d
50_SATCOUNT_H     SatCountAlgo.h  35;"    d
51_d      SatCountAlgo.c  /^_d(Formula_t Form, mdd_t* x){$/;"     f
52_k_clause       SatCountAlgo.c  /^_k_clause(Formula_t Form, int k){$/;" f
53_psi    SatCountAlgo.c  /^_psi(Formula_t For,mdd_t* d){$/;"     f
54build_golden_faulty_compo       Robust.c        /^Hrc_Node_t  * build_golden_faulty_compo($/;"  f
55callBmcRob      Robust.c        /^callBmcRob( Ntk_Network_t   *network,$/;"     f
56clone_formula   SatCountAlgo.c  /^clone_formula(Formula_t form){$/;"    f
57compute_error_states    Robust.c        /^mdd_t* compute_error_states(Fsm_Fsm_t  *fsm, mdd_t* reachable, $/;"   f
58compute_fair    Robust.c        /^compute_fair(Fsm_Fsm_t  *fsm,int  verbosityLevel){$/;"        f
59conv_error_msg  Robust.c        /^conv_error_msg(FILE* f, char* cmd, type_err e){$/;"   f
60convert_dnf_cnf SatCountAlgo.c  /^mdd_t* convert_dnf_cnf(Formula_t Form,$/;"    f
61couvert_dnf_to_cnf3     SatCountAlgo.c  /^couvert_dnf_to_cnf3(Formula_t Form,$/;"       f
62createFormula   SatCountAlgo.c  /^createFormula(mdd_manager * mgr){$/;" f
63determine_non_protected_registers       Robust.c        /^determine_non_protected_registers(Fsm_Fsm_t  *fsm, FILE *f) {$/;"     f
64disjoint_formula        SatCountAlgo.c  /^disjoint_formula(Formula_t Form,$/;"  f
65earg    Robust.h        /^  earg,$/;"   e       enum:__anon1
66ecmd    Robust.h        /^  ecmd,$/;"   e       enum:__anon1
67eicmd   Robust.h        /^  eicmd,$/;"  e       enum:__anon1
68eiofile Robust.h        /^  eiofile,$/;"        e       enum:__anon1
69enfile  Robust.h        /^  enfile,$/;" e       enum:__anon1
70eofile  Robust.h        /^  eofile,$/;" e       enum:__anon1
71ercmd   Robust.h        /^  ercmd$/;"   e       enum:__anon1
72error_msg       Robust.c        /^error_msg(FILE* f, char* cmd, type_err e){$/;"        f
73error_states    Robust.c        /^mdd_t* error_states(Fsm_Fsm_t  *fsm, $/;"     f
74error_states_ms_mt      Robust.c        /^mdd_t* error_states_ms_mt(Fsm_Fsm_t  *fsm, $/;"       f
75error_states_ms_ut      Robust.c        /^mdd_t* error_states_ms_ut(Fsm_Fsm_t  *fsm, $/;"       f
76error_states_us_mt      Robust.c        /^mdd_t* error_states_us_mt(Fsm_Fsm_t  *fsm, $/;"       f
77error_states_us_ut      Robust.c        /^mdd_t* error_states_us_ut(Fsm_Fsm_t  *fsm, $/;"       f
78evaluate        Robust.c        /^mdd_t* evaluate(Fsm_Fsm_t  *fsm,FILE* ctlfile,mdd_t* fairS,$/;"       f
79evaluate_AU     Robust.c        /^mdd_t* evaluate_AU(Fsm_Fsm_t  *fsm, mdd_t* inv, $/;"  f
80evaluate_EF     Robust.c        /^mdd_t* evaluate_EF(Fsm_Fsm_t  *fsm, mdd_t *target,$/;"        f
81evaluate_EG     Robust.c        /^mdd_t* evaluate_EG(Fsm_Fsm_t  *fsm, mdd_t *invariant,$/;"     f
82evaluate_EU     Robust.c        /^mdd_t* evaluate_EU(Fsm_Fsm_t  *fsm, mdd_t* inv, $/;"  f
83evaluate_Formula_AF_AF  Robust.c        /^evaluate_Formula_AF_AF (Fsm_Fsm_t  *fsm,$/;"  f
84evaluate_Formula_AF_EF  Robust.c        /^evaluate_Formula_AF_EF (Fsm_Fsm_t  *fsm,$/;"  f
85evaluate_Formula_EF_AF  Robust.c        /^evaluate_Formula_EF_AF (Fsm_Fsm_t  *fsm,$/;"  f
86evaluate_Formula_EF_EF  Robust.c        /^evaluate_Formula_EF_EF (Fsm_Fsm_t  *fsm,$/;"  f
87exit_   SatCountAlgo.c  /^int exit_(Formula_t Form, mdd_t* n){$/;"      f
88form    SatCountAlgo.h  /^typedef struct form{ $/;"     s
89free_formula    SatCountAlgo.c  /^void free_formula(Formula_t F){$/;"   f
90generateProtectFile     Robust.c        /^int generateProtectFile($/;"  f
91getForbidden    Robust.c        /^getForbidden(Fsm_Fsm_t  *fsm){$/;"    f
92getInitial      Robust.c        /^getInitial(Fsm_Fsm_t  *fsm) {$/;"     f
93getReach        Robust.c        /^getReach(Fsm_Fsm_t  *fsm) {$/;"       f
94getReachOrg     Robust.c        /^getReachOrg( Fsm_Fsm_t  *fsm ){$/;"   f
95getRequired     Robust.c        /^getRequired(Fsm_Fsm_t  *fsm){$/;"     f
96getSafe Robust.c        /^getSafe( Fsm_Fsm_t  *fsm ){$/;"       f
97get_max_degree_ SatCountAlgo.c  /^get_max_degree_(Formula_t Form, mdd_t* clause){$/;"   f
98get_max_nhb_degre       SatCountAlgo.c  /^get_max_nhb_degre(Formula_t Form, $/;"        f
99get_neighbour   SatCountAlgo.c  /^get_neighbour(Formula_t Form, mdd_t* x,int * deg){$/;"        f
100get_number_of_states    Robust.c        /^void get_number_of_states(Fsm_Fsm_t  *fsm, mdd_t* b, EpDouble* ep) {$/;"      f
101get_var_sup     SatCountAlgo.c  /^get_var_sup (Formula_t Form){$/;"     f
102get_w   SatCountAlgo.c  /^get_w(Formula_t Form,$/;"     f
103getbddvars      Robust.c        /^getbddvars(  mdd_manager *mgr,$/;"    f       file:
104greater_d       SatCountAlgo.c  /^greater_d(Formula_t Form,int k){$/;"  f
105inj_ms  Robust.c        /^mdd_t* inj_ms(mdd_manager *mddManager, $/;"   f
106inj_register    Robust.c        /^static mdd_t* inj_register(mdd_manager *mddManager, mdd_t* S, mdd_t* r) {$/;" f       file:
107inj_us  Robust.c        /^mdd_t* inj_us(mdd_manager *mddManager, array_t* bdd_not_protected, mdd_t* S) {$/;"    f
108is_empty_formula        SatCountAlgo.c  /^is_empty_formula(Formula_t Form){$/;" f
109main_Count_test SatCountAlgo.c  /^main_Count_test(Ntk_Network_t   *network,$/;" f
110main_Count_test_        SatCountAlgo.c  /^main_Count_test_(Ntk_Network_t   *network,$/;"        f
111main_Count_test_sharp   SatCountAlgo.c  /^main_Count_test_sharp(char *filename, int cnt){$/;"   f
112main_SatCount   SatCountAlgo.c  /^main_SatCount(char *filename){$/;"    f
113mdd_FunctionPrint       Robust.c        /^mdd_FunctionPrint(mdd_manager *mgr ,$/;"      f
114mdd_FunctionPrintMain   Robust.c        /^mdd_FunctionPrintMain(mdd_manager *mgr ,$/;"  f
115mdd_restrict    Robust.c        /^mdd_restrict(mdd_manager* mgr,$/;"    f       file:
116mdd_restrict    SatCountAlgo.c  /^mdd_restrict(mdd_manager* mgr,$/;"    f       file:
117mgr     SatCountAlgo.h  /^  mdd_manager * mgr;$/;"      m       struct:form
118mymddGetVarById Robust.c        34;"    d       file:
119nCl     SatCountAlgo.c  /^int nVar=0, nCl=0;$/;"        v
120nVar    SatCountAlgo.c  /^int nVar=0, nCl=0;$/;"        v
121pick_2_clause_w SatCountAlgo.c  /^pick_2_clause_w(Formula_t Form, mdd_t* clause){$/;"   f
122pick_clause_w   SatCountAlgo.c  /^pick_clause_w(Formula_t Form){$/;"    f
123print_formula   SatCountAlgo.c  /^void print_formula(Formula_t F){$/;"  f
124print_number_of_states  Robust.c        /^void print_number_of_states(char* msg, Fsm_Fsm_t  *fsm, mdd_t* b) {$/;"       f
125print_variables_info    Robust.c        /^void print_variables_info(Fsm_Fsm_t  *fsm) {$/;"      f
126sat_Add_Blocking_Clauses        Robust.c        /^sat_Add_Blocking_Clauses( Ntk_Network_t   *network,$/;"       f
127sat_Add_Blocking_Clauses_2      Robust.c        /^sat_Add_Blocking_Clauses_2(Ntk_Network_t   *network,$/;"      f
128timeOutEnv      robCmd.c        /^static jmp_buf timeOutEnv;$/;"        v       file:
129type_err        Robust.h        /^} type_err;$/;"       t       typeref:enum:__anon1
Note: See TracBrowser for help on using the repository browser.