!_TAG_FILE_FORMAT 2 /extended format; --format=1 will not append ;" to lines/ !_TAG_FILE_SORTED 1 /0=unsorted, 1=sorted, 2=foldcase/ !_TAG_PROGRAM_AUTHOR Darren Hiebert /dhiebert@users.sourceforge.net/ !_TAG_PROGRAM_NAME Exuberant Ctags // !_TAG_PROGRAM_URL http://ctags.sourceforge.net /official site/ !_TAG_PROGRAM_VERSION 5.6 // CommandBmcRob robCmd.c /^CommandBmcRob( Hrc_Manager_t ** hmgr,$/;" f file: CommandComposeGolden robCmd.c /^CommandComposeGolden(Hrc_Manager_t ** hmgr,$/;" f file: CommandConvForbToProp robCmd.c /^CommandConvForbToProp (Hrc_Manager_t ** hmgr,$/;" f file: CommandConvInitToProp robCmd.c /^CommandConvInitToProp (Hrc_Manager_t ** hmgr,$/;" f file: CommandConvReachToProp robCmd.c /^CommandConvReachToProp (Hrc_Manager_t ** hmgr,$/;" f file: CommandConvReqToProp robCmd.c /^CommandConvReqToProp (Hrc_Manager_t ** hmgr,$/;" f file: CommandConvSafeToProp robCmd.c /^CommandConvSafeToProp (Hrc_Manager_t ** hmgr,$/;" f file: CommandPrintForbidden robCmd.c /^CommandPrintForbidden( Hrc_Manager_t ** hmgr,$/;" f file: CommandPrintRequired robCmd.c /^CommandPrintRequired( Hrc_Manager_t ** hmgr,$/;" f file: CommandPrintSafe robCmd.c /^CommandPrintSafe( Hrc_Manager_t ** hmgr,$/;" f file: CommandProtectGolden robCmd.c /^CommandProtectGolden(Hrc_Manager_t ** hmgr,$/;" f file: CommandProtectOutput robCmd.c /^CommandProtectOutput(Hrc_Manager_t ** hmgr,$/;" f file: CommandProtectRegister robCmd.c /^CommandProtectRegister(Hrc_Manager_t ** hmgr,$/;" f file: CommandResLtlFile robCmd.c /^CommandResLtlFile (Hrc_Manager_t ** hmgr,$/;" f file: CommandResetForbidden robCmd.c /^CommandResetForbidden( Hrc_Manager_t ** hmgr,$/;" f file: CommandResetInitial robCmd.c /^CommandResetInitial( Hrc_Manager_t ** hmgr,$/;" f file: CommandResetRequired robCmd.c /^CommandResetRequired( Hrc_Manager_t ** hmgr,$/;" f file: CommandResetSafe robCmd.c /^CommandResetSafe( Hrc_Manager_t ** hmgr,$/;" f file: CommandRobustness robCmd.c /^CommandRobustness( Hrc_Manager_t ** hmgr,$/;" f file: CommandSetForbidden robCmd.c /^CommandSetForbidden( Hrc_Manager_t ** hmgr,$/;" f file: CommandSetInitial robCmd.c /^CommandSetInitial(Hrc_Manager_t ** hmgr,$/;" f file: CommandSetLtlFormula robCmd.c /^CommandSetLtlFormula (Hrc_Manager_t ** hmgr,$/;" f file: CommandSetRequired robCmd.c /^CommandSetRequired( Hrc_Manager_t ** hmgr,$/;" f file: CommandSetSafe robCmd.c /^CommandSetSafe( Hrc_Manager_t ** hmgr,$/;" f file: CommandTestCount robCmd.c /^CommandTestCount (Hrc_Manager_t ** hmgr,$/;" f file: CommandprintmddID robCmd.c /^CommandprintmddID (Hrc_Manager_t ** hmgr,$/;" f file: Common_support SatCountAlgo.c /^Common_support(mdd_manager* mgr,$/;" f ComposeCubes SatCountAlgo.c /^ComposeCubes(mdd_manager* mgr,$/;" f D SatCountAlgo.c /^D(Formula_t Form){$/;" f F SatCountAlgo.h /^ lsList F; $/;" m struct:form Formula SatCountAlgo.h /^} Formula;$/;" t typeref:struct:form Formula_t SatCountAlgo.h /^typedef Formula* Formula_t;$/;" t Get_support SatCountAlgo.c /^Get_support(mdd_manager* mgr,mdd_t* l){$/;" f K SatCountAlgo.c /^const int K=5;$/;" v R SatCountAlgo.h /^ mdd_t* R;$/;" m struct:form ReadCNF_For_Count SatCountAlgo.c /^ReadCNF_For_Count(Ntk_Network_t *network,$/;" f ReadCNF_For_Count_ SatCountAlgo.c /^ReadCNF_For_Count_( char *filename) {$/;" f Rob_End robCmd.c /^Rob_End(void)$/;" f Rob_Init robCmd.c /^Rob_Init(void)$/;" f V SatCountAlgo.h /^ mdd_t* V;$/;" m struct:form WriteCNF__rel_sat SatCountAlgo.c /^WriteCNF__rel_sat(char *filename) {$/;" f WriteIDL__rel_sat SatCountAlgo.c /^WriteIDL__rel_sat(char *filename) {$/;" f _ROB_H Robust.h 35;" d _SATCOUNT_H SatCountAlgo.h 35;" d _d SatCountAlgo.c /^_d(Formula_t Form, mdd_t* x){$/;" f _k_clause SatCountAlgo.c /^_k_clause(Formula_t Form, int k){$/;" f _psi SatCountAlgo.c /^_psi(Formula_t For,mdd_t* d){$/;" f build_golden_faulty_compo Robust.c /^Hrc_Node_t * build_golden_faulty_compo($/;" f callBmcRob Robust.c /^callBmcRob( Ntk_Network_t *network,$/;" f clone_formula SatCountAlgo.c /^clone_formula(Formula_t form){$/;" f compute_error_states Robust.c /^mdd_t* compute_error_states(Fsm_Fsm_t *fsm, mdd_t* reachable, $/;" f compute_fair Robust.c /^compute_fair(Fsm_Fsm_t *fsm,int verbosityLevel){$/;" f conv_error_msg Robust.c /^conv_error_msg(FILE* f, char* cmd, type_err e){$/;" f convert_dnf_cnf SatCountAlgo.c /^mdd_t* convert_dnf_cnf(Formula_t Form,$/;" f couvert_dnf_to_cnf3 SatCountAlgo.c /^couvert_dnf_to_cnf3(Formula_t Form,$/;" f createFormula SatCountAlgo.c /^createFormula(mdd_manager * mgr){$/;" f determine_non_protected_registers Robust.c /^determine_non_protected_registers(Fsm_Fsm_t *fsm, FILE *f) {$/;" f disjoint_formula SatCountAlgo.c /^disjoint_formula(Formula_t Form,$/;" f earg Robust.h /^ earg,$/;" e enum:__anon1 ecmd Robust.h /^ ecmd,$/;" e enum:__anon1 eicmd Robust.h /^ eicmd,$/;" e enum:__anon1 eiofile Robust.h /^ eiofile,$/;" e enum:__anon1 enfile Robust.h /^ enfile,$/;" e enum:__anon1 eofile Robust.h /^ eofile,$/;" e enum:__anon1 ercmd Robust.h /^ ercmd$/;" e enum:__anon1 error_msg Robust.c /^error_msg(FILE* f, char* cmd, type_err e){$/;" f error_states Robust.c /^mdd_t* error_states(Fsm_Fsm_t *fsm, $/;" f error_states_ms_mt Robust.c /^mdd_t* error_states_ms_mt(Fsm_Fsm_t *fsm, $/;" f error_states_ms_ut Robust.c /^mdd_t* error_states_ms_ut(Fsm_Fsm_t *fsm, $/;" f error_states_us_mt Robust.c /^mdd_t* error_states_us_mt(Fsm_Fsm_t *fsm, $/;" f error_states_us_ut Robust.c /^mdd_t* error_states_us_ut(Fsm_Fsm_t *fsm, $/;" f evaluate Robust.c /^mdd_t* evaluate(Fsm_Fsm_t *fsm,FILE* ctlfile,mdd_t* fairS,$/;" f evaluate_AU Robust.c /^mdd_t* evaluate_AU(Fsm_Fsm_t *fsm, mdd_t* inv, $/;" f evaluate_EF Robust.c /^mdd_t* evaluate_EF(Fsm_Fsm_t *fsm, mdd_t *target,$/;" f evaluate_EG Robust.c /^mdd_t* evaluate_EG(Fsm_Fsm_t *fsm, mdd_t *invariant,$/;" f evaluate_EU Robust.c /^mdd_t* evaluate_EU(Fsm_Fsm_t *fsm, mdd_t* inv, $/;" f evaluate_Formula_AF_AF Robust.c /^evaluate_Formula_AF_AF (Fsm_Fsm_t *fsm,$/;" f evaluate_Formula_AF_EF Robust.c /^evaluate_Formula_AF_EF (Fsm_Fsm_t *fsm,$/;" f evaluate_Formula_EF_AF Robust.c /^evaluate_Formula_EF_AF (Fsm_Fsm_t *fsm,$/;" f evaluate_Formula_EF_EF Robust.c /^evaluate_Formula_EF_EF (Fsm_Fsm_t *fsm,$/;" f exit_ SatCountAlgo.c /^int exit_(Formula_t Form, mdd_t* n){$/;" f form SatCountAlgo.h /^typedef struct form{ $/;" s free_formula SatCountAlgo.c /^void free_formula(Formula_t F){$/;" f generateProtectFile Robust.c /^int generateProtectFile($/;" f getForbidden Robust.c /^getForbidden(Fsm_Fsm_t *fsm){$/;" f getInitial Robust.c /^getInitial(Fsm_Fsm_t *fsm) {$/;" f getReach Robust.c /^getReach(Fsm_Fsm_t *fsm) {$/;" f getReachOrg Robust.c /^getReachOrg( Fsm_Fsm_t *fsm ){$/;" f getRequired Robust.c /^getRequired(Fsm_Fsm_t *fsm){$/;" f getSafe Robust.c /^getSafe( Fsm_Fsm_t *fsm ){$/;" f get_max_degree_ SatCountAlgo.c /^get_max_degree_(Formula_t Form, mdd_t* clause){$/;" f get_max_nhb_degre SatCountAlgo.c /^get_max_nhb_degre(Formula_t Form, $/;" f get_neighbour SatCountAlgo.c /^get_neighbour(Formula_t Form, mdd_t* x,int * deg){$/;" f get_number_of_states Robust.c /^void get_number_of_states(Fsm_Fsm_t *fsm, mdd_t* b, EpDouble* ep) {$/;" f get_var_sup SatCountAlgo.c /^get_var_sup (Formula_t Form){$/;" f get_w SatCountAlgo.c /^get_w(Formula_t Form,$/;" f getbddvars Robust.c /^getbddvars( mdd_manager *mgr,$/;" f file: greater_d SatCountAlgo.c /^greater_d(Formula_t Form,int k){$/;" f inj_ms Robust.c /^mdd_t* inj_ms(mdd_manager *mddManager, $/;" f inj_register Robust.c /^static mdd_t* inj_register(mdd_manager *mddManager, mdd_t* S, mdd_t* r) {$/;" f file: inj_us Robust.c /^mdd_t* inj_us(mdd_manager *mddManager, array_t* bdd_not_protected, mdd_t* S) {$/;" f is_empty_formula SatCountAlgo.c /^is_empty_formula(Formula_t Form){$/;" f main_Count_test SatCountAlgo.c /^main_Count_test(Ntk_Network_t *network,$/;" f main_Count_test_ SatCountAlgo.c /^main_Count_test_(Ntk_Network_t *network,$/;" f main_Count_test_sharp SatCountAlgo.c /^main_Count_test_sharp(char *filename, int cnt){$/;" f main_SatCount SatCountAlgo.c /^main_SatCount(char *filename){$/;" f mdd_FunctionPrint Robust.c /^mdd_FunctionPrint(mdd_manager *mgr ,$/;" f mdd_FunctionPrintMain Robust.c /^mdd_FunctionPrintMain(mdd_manager *mgr ,$/;" f mdd_restrict Robust.c /^mdd_restrict(mdd_manager* mgr,$/;" f file: mdd_restrict SatCountAlgo.c /^mdd_restrict(mdd_manager* mgr,$/;" f file: mgr SatCountAlgo.h /^ mdd_manager * mgr;$/;" m struct:form mymddGetVarById Robust.c 34;" d file: nCl SatCountAlgo.c /^int nVar=0, nCl=0;$/;" v nVar SatCountAlgo.c /^int nVar=0, nCl=0;$/;" v pick_2_clause_w SatCountAlgo.c /^pick_2_clause_w(Formula_t Form, mdd_t* clause){$/;" f pick_clause_w SatCountAlgo.c /^pick_clause_w(Formula_t Form){$/;" f print_formula SatCountAlgo.c /^void print_formula(Formula_t F){$/;" f print_number_of_states Robust.c /^void print_number_of_states(char* msg, Fsm_Fsm_t *fsm, mdd_t* b) {$/;" f print_variables_info Robust.c /^void print_variables_info(Fsm_Fsm_t *fsm) {$/;" f sat_Add_Blocking_Clauses Robust.c /^sat_Add_Blocking_Clauses( Ntk_Network_t *network,$/;" f sat_Add_Blocking_Clauses_2 Robust.c /^sat_Add_Blocking_Clauses_2(Ntk_Network_t *network,$/;" f timeOutEnv robCmd.c /^static jmp_buf timeOutEnv;$/;" v file: type_err Robust.h /^} type_err;$/;" t typeref:enum:__anon1