Here is a list of all functions, variables, defines, enums, and typedefs with links to the files they belong to:

- c -

• caar : node.h
• CACHE_GET : bddInt.h
• CACHE_GET_BDD : bddInt.h
• CACHE_IS_EQUAL : bddInt.h
• CACHE_SET : bddInt.h
• CACHE_SET_BDD : bddInt.h
• CACHE_SLOTS : dd.h
• cadr : node.h
• car() : node.h
• CASE : symbols.h
• CAST_BOOL : symbols.h
• CAST_SIGNED : symbols.h
• CAST_TO_UNSIGNED_WORD : symbols.h
• CAST_TOINT : symbols.h
• CAST_UNSIGNED : symbols.h
• CAST_WORD1 : symbols.h
• CATCH : ErrorMgr.h
• cdar : node.h
• cddr : node.h
• cdr() : node.h
• CHECK : Trace_private.h
• CHECK_INVAR_BDDBMC_HEURISTIC : opt.h
• CHECK_INVAR_BDDBMC_HEURISTIC_THRESHOLD : opt.h
• CHECK_INVAR_FB_HEURISTIC : opt.h
• Check_Strategy : opt.h
• CHECKER_BASE : CheckerBase.h
• CHECKER_BASE_CHECK_INSTANCE : CheckerBase.h
• CHECKER_CORE : CheckerCore.h
• CHECKER_CORE_CHECK_INSTANCE : CheckerCore.h
• CHECKER_PSL : CheckerPsl.h
• CHECKER_PSL_CHECK_INSTANCE : CheckerPsl.h
• CHECKER_STATEMENT : CheckerStatement.h
• CHECKER_STATEMENT_CHECK_INSTANCE : CheckerStatement.h
• CheckerBase_ptr : CheckerBase.h
• CheckerCore_ptr : CheckerCore.h
• CheckerPsl_ptr : CheckerPsl.h
• CheckerStatement_ptr : CheckerStatement.h
• CHOICE_LENGTH : simulateInt.h
• cinit_AddCmd() : cinitCmd.c , cinitCmd.h
• CInit_BannerPrint() : cinit.h
• CInit_BannerPrint_cudd() : cinit.h
• CInit_BannerPrint_minisat() : cinit.h
• CInit_BannerPrint_nusmv_library() : cinit.h
• CInit_BannerPrint_zchaff() : cinit.h
• CInit_BannerPrintLibrary() : cinit.h
• CInit_batch_main() : cinitInt.h
• CInit_end() : cinitInt.h
• CInit_init() : cinitInt.h
• CInit_init_cmd() : cinit.h
• CINIT_IS_DEPRECATED : cinit.h
• CINIT_IS_PUBLIC : cinit.h
• CINIT_NO_CONFLICT : cinit.h
• CINIT_NO_DEPENDENCY : cinit.h
• CINIT_NO_PARAMETER : cinit.h
• CInit_NuSMVObtainLibrary() : cinit.h
• CInit_NuSMVReadVersion() : cinit.h
• CInit_quit_cmd() : cinit.h
• CInit_reset_first() : cinitInt.h
• CInit_reset_last() : cinitInt.h
• clean_mpz_pool() : numbersInt.h
• clear_assoc() : assoc.h
• clear_assoc_and_free_entries() : assoc.h
• clear_assoc_and_free_entries_arg() : assoc.h
• Clg_Commit : clg.h
• CLG_CONJ : clgInt.h
• Clg_Conj() : clg.h
• CLG_DIMACS : clg.h
• CLG_DISJ : clgInt.h
• Clg_Disj() : clg.h
• Clg_Extract() : clg.h
• Clg_Lit() : clg.h
• CLG_NUSMV : clg.h
• Clg_Size() : clg.h
• CLG_ZCHAFF : clg.h
• ClgManager_destroy() : clg.h
• ClgManager_ptr : clg.h
• CLOSED_NODE : NodeMgr.h
• CLUSTER : Cluster.h
• CLUSTER_CHECK_INSTANCE : Cluster.h
• CLUSTER_IWLS95 : Cluster.h
• CLUSTER_IWLS95_CHECK_INSTANCE : Cluster.h
• CLUSTER_LIST : ClusterList.h
• CLUSTER_LIST_CHECK_INSTANCE : ClusterList.h
• CLUSTER_LIST_ITERATOR : ClusterList.h
• CLUSTER_OPTIONS : ClusterOptions.h
• CLUSTER_OPTIONS_CHECK_INSTANCE : ClusterOptions.h
• Cluster_ptr : Cluster.h
• ClusterIwls95_ptr : Cluster.h
• ClusterList_ptr : ClusterList.h
• ClusterListIterator_ptr : ClusterList.h
• ClusterOptions_ptr : ClusterOptions.h
• Cmd_command_not_available() : cmdCmd.c , cmdCmd.h
• Cmd_CommandAdd() : cmd.h
• Cmd_CommandDefined() : cmdInt.h
• Cmd_CommandExecute() : cmd.h
• Cmd_CommandGet() : cmdInt.h
• Cmd_CommandRemove() : cmd.h
• Cmd_End() : cmd.h
• Cmd_FileOpen() : cmd.h
• cmd_help_add() : cmdCmd.h
• cmd_help_get() : cmdCmd.h
• cmd_help_init() : cmdCmdInt.h
• cmd_help_quit() : cmdCmdInt.h
• cmd_help_remove() : cmdCmd.h
• Cmd_Init() : cmd.h
• Cmd_init_cmd() : cmdCmd.c , cmdCmd.h
• Cmd_Misc_NusmvrcSource() : cmd.h
• Cmd_Misc_open_pipe_or_file() : cmd.h
• Cmd_Misc_restore_global_out_stream() : cmd.h
• Cmd_Misc_set_global_out_stream() : cmd.h
• Cmd_quit_cmd() : cmdCmd.c , cmdCmd.h
• Cmd_SecureCommandExecute() : cmd.h
• CmdAliasFree() : cmdInt.h
• CmdCloseFile() : cmd.h
• CmdClosePipe() : cmd.h
• CmdCommandCopy() : cmdInt.h
• CmdCommandFree() : cmdInt.h
• CmdFgetsFilec() : cmdInt.h
• CmdFreeArgv() : cmdInt.h
• CmdHistorySubstitution() : cmdInt.h
• CmdOpenFile() : cmd.h
• CmdOpenPipe() : cmd.h
• cmp_struct_get_bmc_init() : compile.h
• cmp_struct_get_bmc_setup() : compile.h
• cmp_struct_get_build_bool_model() : compile.h
• cmp_struct_get_build_flat_model() : compile.h
• cmp_struct_get_build_frames() : compile.h
• cmp_struct_get_build_model() : compile.h
• cmp_struct_get_coi() : compile.h
• cmp_struct_get_encode_variables() : compile.h
• cmp_struct_get_fairness() : compile.h
• cmp_struct_get_flatten_hrc() : compile.h
• cmp_struct_get_hrc_built() : compile.h
• cmp_struct_get_process_selector() : compile.h
• cmp_struct_get_read_model() : compile.h
• cmp_struct_init() : compileInt.h
• cmp_struct_quit() : compileInt.h
• cmp_struct_set_bmc_init() : compile.h
• cmp_struct_set_bmc_setup() : compile.h
• cmp_struct_set_build_bool_model() : compile.h
• cmp_struct_set_build_flat_model() : compile.h
• cmp_struct_set_build_frames() : compile.h
• cmp_struct_set_build_model() : compile.h
• cmp_struct_set_coi() : compile.h
• cmp_struct_set_encode_variables() : compile.h
• cmp_struct_set_fairness() : compile.h
• cmp_struct_set_flatten_hrc() : compile.h
• cmp_struct_set_hrc_built() : compile.h
• cmp_struct_set_process_selector() : compile.h
• cmp_struct_set_read_model() : compile.h
• cmp_struct_unset_bmc_init() : compile.h
• cmp_struct_unset_bmc_setup() : compile.h
• cmp_struct_unset_read_model() : compile.h
• cmps : compassInt.h , bmcInt.h , cinitInt.h , compileInt.h , ltlInt.h , mcInt.h , optInt.h , parserInt.h , propInt.h , simulateInt.h , pkg_traceInt.h , compileCmd.c , bddCmd.c , hrcCmd.c , ltlCmd.c , optCmd.c , parserCmd.c , propCmd.c
• cnt : lsort.h
• COLON : symbols.h
• COMMA : symbols.h
• COMMA_OPERATOR : defs.h
• COMMAND_CONVERT_PROPERTY_TO_INVAR_NAME : propCmd.c
• command_help : cmdCmd.h
• command_number : cmdCmd.h
• CommandAddProperty() : propCmd.c
• CommandBuildBooleanModel() : compileCmd.c
• CommandBuildFlatModel() : compileCmd.c
• CommandBuildModel() : compileCmd.c
• CommandCheckCompute() : mcCmd.c
• CommandCheckCtlSpec() : mcCmd.c
• CommandCheckFsm() : bddCmd.c
• CommandCheckInvar() : mcCmd.c
• CommandCheckLtlSpec() : ltlCmd.c
• CommandCheckProperty() : propCmd.c
• CommandCheckPslSpec() : mcCmd.c
• CommandCmdReset() : cinitCmd.c
• CommandCompute() : mcCmd.c
• CommandComputeReachable() : bddCmd.c
• CommandConvertPropertyToInvar() : propCmd.c
• CommandCPPrintClusterInfo() : compileCmd.c , compileInt.h
• CommandDumpFsm() : bddCmd.c
• CommandDynamicVarOrdering() : ddCmd.c
• CommandEncodeVariables() : compileCmd.c
• CommandExecutePartialTraces() : traceCmd.c , traceCmd.h
• CommandExecuteTraces() : traceCmd.c , traceCmd.h
• CommandFlattenHierarchy() : compileCmd.c
• CommandGetInternalStatus() : compileCmd.c
• CommandGo() : compileCmd.c
• CommandGoBmc() : compileCmd.c
• CommandGotoState() : simulateCmd.c
• CommandHrcDumpModel() : hrcCmd.c , hrcCmd.h
• CommandHrcWriteModel() : hrcCmd.h , hrcCmd.c
• CommandIwls95PrintOption() : compileInt.h , compileCmd.c
• CommandLanguageEmptiness() : mcCmd.c
• CommandPickState() : simulateCmd.c
• CommandPrintBddStats() : ddCmd.c
• CommandPrintCurrentState() : simulateCmd.c
• CommandPrintFairStateInputPairs() : bddCmd.c
• CommandPrintFairStates() : bddCmd.c
• CommandPrintFairTransitions() : bddCmd.c
• CommandPrintFsmStats() : compileCmd.c
• CommandPrintReachableStates() : bddCmd.c
• CommandPrintUsage() : cinitCmd.c
• CommandProcessModel() : compileCmd.c
• CommandReadTrace() : traceCmd.c , traceCmd.h
• CommandSetBddParameters() : ddCmd.c
• CommandShowDependencies() : compileCmd.c
• CommandShowPlugins() : traceCmd.c , traceCmd.h
• CommandShowProperty() : propCmd.c
• CommandShowTraces() : traceCmd.c , traceCmd.h
• CommandShowVars() : compileCmd.c
• CommandSimulate() : simulateCmd.c
• CommandUtilsTestSset() : utilsCmd.c , utilsCmd.h
• CommandWriteCoiModel() : compileCmd.c
• CommandWriteModelFlat() : compileCmd.c
• CommandWriteModelFlatBool() : compileCmd.c
• CommandWriteModelFlatUdg() : compileCmd.c
• CommandWriteOrder() : compileCmd.c
• compare : lsort.h
• Compass_check_ap_list() : compassInt.h
• Compass_check_prob_list() : compassInt.h
• Compass_Cmd_quit() : compassCmd.h , compassCmd.c
• Compass_init() : compass.h
• Compass_init_cmd() : compassCmd.c , compassCmd.h
• Compass_print_add_sigref_format() : compass.h
• Compass_process_prob_list() : compassInt.h
• Compass_quit() : compass.h
• Compass_reset() : compass.h
• Compass_write_language_sigref() : compass.h
• Compass_write_sigref() : compass.h
• COMPASSION : symbols.h
• COMPASSION_LIST : FairnessList.h
• COMPASSION_LIST_CHECK_INSTANCE : FairnessList.h
• CompassionList_ptr : FairnessList.h
• COMPID : symbols.h
• compile_add_assign_hrc() : compileInt.h
• Compile_build_model() : compile.h
• Compile_check_case() : compile.h
• Compile_check_if_bool_model_was_built() : compile.h
• Compile_check_if_encoding_was_built() : compile.h
• Compile_check_if_flat_model_was_built() : compile.h
• Compile_check_if_flattening_was_built() : compile.h
• Compile_check_if_model_layer_is_in_bddenc() : compile.h
• Compile_check_if_model_was_built() : compile.h
• Compile_check_input_next() : compile.h
• Compile_check_next() : compile.h
• Compile_CheckAssigns() : compile.h
• Compile_compile_nextwff_from_string() : compile.h
• Compile_compile_simpwff_from_string() : compile.h
• Compile_compile_spec_from_string() : compile.h
• Compile_ConstructHierarchy() : compileInt.h
• Compile_convert_to_dag() : compile.h
• Compile_convert_to_dag_udg() : compile.h
• Compile_create_boolean_model() : compile.h
• Compile_create_flat_model() : compile.h
• Compile_declare_dag_defines_in_layer() : compile.h
• Compile_DeclareFunction() : compile.h
• Compile_DeclareVariable() : compile.h
• Compile_destroy_dag_info() : compile.h
• Compile_detexpr2bexpr() : compile.h
• Compile_detexpr2bexpr_list() : compile.h
• Compile_encode_variables() : compile.h
• Compile_expr2bexpr() : compile.h
• Compile_fill_hrc_from_mod_body() : compile.h
• compile_flatten_rewrite_word_toint_cast() : compileInt.h
• Compile_FlattenHierarchy() : compile.h
• Compile_FlattenSexp() : compile.h
• Compile_FlattenSexpExpandDefine() : compile.h
• Compile_get_bits() : compile.h
• Compile_get_var_type() : compile.h
• Compile_hrc_from_parse_tree() : compile.h
• Compile_init() : compile.h
• Compile_init_cmd() : compileCmd.h , compileCmd.c
• Compile_InstantiateType() : compile.h
• Compile_is_expr_booleanizable() : compile.h
• Compile_make_dag_info() : compile.h
• Compile_make_dag_info_udg() : compile.h
• compile_make_params_hrc() : compileInt.h
• Compile_make_sorted_vars_list_from_order() : compileUtil.h
• Compile_pop_distrib_ops() : compileUtil.h
• Compile_print_array_define() : compile.h
• Compile_print_array_define_udg() : compile.h
• Compile_print_fsm_stats() : compile.h
• Compile_print_predicates() : compile.h
• Compile_print_summary() : compile.h
• Compile_print_type() : compile.h
• Compile_print_usage() : compile.h
• Compile_ProcessHierarchy() : compile.h
• Compile_quit() : compile.h
• Compile_remove_assignments() : compile.h
• Compile_remove_ltl_bop() : compileUtil.h
• Compile_show_vars() : compile.h
• Compile_Util_symbol_from_expr() : compileUtil.h
• Compile_write_coi_prop() : compile.h
• Compile_write_coi_prop_fsm() : compile.h
• Compile_write_dag_defines() : compile.h
• Compile_write_global_coi_fsm() : compile.h
• Compile_write_model_flat_bool() : compile.h
• Compile_write_properties_coi() : compile.h
• Compile_WriteBoolFsm() : compile.h
• Compile_WriteBoolFsm_udg() : compile.h
• Compile_WriteBoolModel() : compile.h
• Compile_WriteBoolModel_udg() : compile.h
• Compile_WriteBoolSpecs() : compile.h
• Compile_WriteBoolSpecs_udg() : compile.h
• Compile_WriteFlattenFsm() : compile.h
• Compile_WriteFlattenFsm_udg() : compile.h
• Compile_WriteFlattenModel() : compile.h
• Compile_WriteFlattenModel_udg() : compile.h
• Compile_WriteFlattenSpecs() : compile.h
• Compile_WriteFlattenSpecs_udg() : compile.h
• Compile_WriteObfuscatedFlattenModel() : compile.h
• Compile_WriteRestrictedFlattenModel() : compile.h
• compileCheckForInputVars() : compile.h
• CompileFlatten_concat_contexts() : compile.h
• CompileFlatten_expand_range() : compile.h
• CompileFlatten_flatten_smv() : compile.h
• CompileFlatten_hash_module() : compile.h
• CompileFlatten_init_flattener() : compile.h
• CompileFlatten_normalise_value_list() : compile.h
• CompileFlatten_quit_flattener() : compile.h
• CompileFlatten_resolve_define_chains() : compile.h
• CompileFlatten_resolve_number() : compile.h
• COMPLETE_TRACE_EXECUTOR : CompleteTraceExecutor.h
• COMPLETE_TRACE_EXECUTOR_CHECK_INSTANCE : CompleteTraceExecutor.h
• CompleteTraceExecutor_ptr : CompleteTraceExecutor.h
• COMPUTE : symbols.h
• ComputeCOI() : compile.h
• ComputeCOIFixpoint() : compile.h
• COMPWFF : symbols.h
• CONCATENATION : symbols.h
• CONE_OF_INFLUENCE : opt.h
• CONJ_PART_THRESHOLD : opt.h
• CONJ_SET : ConjSet.h
• CONJ_SET_CHECK_INSTANCE : ConjSet.h
• ConjSet_ptr : ConjSet.h
• CONS : symbols.h
• cons : NodeMgr.h
• CONST_ARRAY : symbols.h
• CONSTANT_EXPR : bmcUtils.h
• CONSTANTS : symbols.h
• CONSTRAINT : symbols.h
• CONTEXT : symbols.h
• CONTINUOUS : symbols.h
• copy_assoc() : assoc.h
• copy_list() : node.h
• COUNT : symbols.h
• COUNTER_EXAMPLES : opt.h
• CTLWFF : symbols.h
• custom_print_node_t : NodeMgr.h
• custom_print_sexp_t : NodeMgr.h