Here is a list of all struct and union fields with links to the structures/unions they belong to:

- m -

• make_and : TermFactoryCallbacks
• make_false : TermFactoryCallbacks
• make_model : SatSolver
• make_not : TermFactoryCallbacks
• make_or : TermFactoryCallbacks
• make_true : TermFactoryCallbacks
• make_var : TermFactoryCallbacks
• map : NodeAnonymizerBase
• mark : Dag_Vertex_t
• mask : SymbLayerIter , SymbTableIter , OAHash
• master : NodeWalker
• master_compile_flattener_deinit() : MasterCompileFlattener
• master_compile_flattener_flatten() : MasterCompileFlattener
• master_compile_flattener_get_def_hash() : MasterCompileFlattener
• master_compile_flattener_get_definition() : MasterCompileFlattener
• master_compile_flattener_init() : MasterCompileFlattener
• master_logic_recognizer_deinit() : MasterLogicRecognizer
• master_logic_recognizer_init() : MasterLogicRecognizer
• master_logic_recognizer_insert() : MasterLogicRecognizer
• master_logic_recognizer_lookup() : MasterLogicRecognizer
• master_logic_recognizer_recognize() : MasterLogicRecognizer
• master_node_walker_deinit() : MasterNodeWalker
• master_node_walker_init() : MasterNodeWalker
• master_normalizer_normalize_node() : MasterNormalizer
• master_printer_deindent() : MasterPrinter
• master_printer_indent() : MasterPrinter
• master_printer_print_node() : MasterPrinter
• MasterCompileFlattener_create() : MasterCompileFlattener
• MasterCompileFlattener_destroy() : MasterCompileFlattener
• MasterCompileFlattener_flatten() : MasterCompileFlattener
• MasterCompileFlattener_flatten_expand_define() : MasterCompileFlattener
• MasterCompileFlattener_get_definition() : MasterCompileFlattener
• MasterCompileFlattener_remove_define_info() : MasterCompileFlattener
• MasterLogicRecognizer_create() : MasterLogicRecognizer
• MasterLogicRecognizer_create_with_default_recognizers() : MasterLogicRecognizer
• MasterLogicRecognizer_destroy() : MasterLogicRecognizer
• MasterLogicRecognizer_recognize() : MasterLogicRecognizer
• MasterNodeWalker_create() : MasterNodeWalker
• MasterNodeWalker_destroy() : MasterNodeWalker
• MasterNodeWalker_get_walker() : MasterNodeWalker
• MasterNodeWalker_register_walker() : MasterNodeWalker
• MasterNodeWalker_unregister_walker() : MasterNodeWalker
• MasterNormalizer_create() : MasterNormalizer
• MasterNormalizer_insert_cache() : MasterNormalizer
• MasterNormalizer_lookup_cache() : MasterNormalizer
• MasterNormalizer_normalize_node() : MasterNormalizer
• MasterPrinter_close_stream() : MasterPrinter
• MasterPrinter_create() : MasterPrinter
• MasterPrinter_flush_stream() : MasterPrinter
• MasterPrinter_get_stream_type() : MasterPrinter
• MasterPrinter_get_streamed_string() : MasterPrinter
• MasterPrinter_print_node() : MasterPrinter
• MasterPrinter_print_string() : MasterPrinter
• MasterPrinter_reset_stream() : MasterPrinter
• MasterPrinter_set_stream_type() : MasterPrinter
• max_allocated_time : BeEnc
• max_used_phy_idx : BeEnc
• maxCnfVariable : Rbc_Manager_t
• maxUnchangedRbcVariable : Rbc_Manager_t
• memoization_threshold : NodeAnonymizerBase
• message : HrcDumperInfo
• method : Prop_Rewriter
• minisat_itp_groups : SatMinisat
• minisatClause : SatMinisat
• minisatClauseSize : SatMinisat
• minisatSolver : SatMinisat
• minisatVar2cnfVar : SatMinisat
• minterm_frozen_vars : BddEnc
• minterm_frozen_vars_dim : BddEnc
• minterm_input_vars : BddEnc
• minterm_input_vars_dim : BddEnc
• minterm_next_state_vars : BddEnc
• minterm_next_state_vars_dim : BddEnc
• minterm_state_frozen_input_vars : BddEnc
• minterm_state_frozen_input_vars_dim : BddEnc
• minterm_state_frozen_vars : BddEnc
• minterm_state_frozen_vars_dim : BddEnc
• minterm_state_vars : BddEnc
• minterm_state_vars_dim : BddEnc
• model : SatSolver
• modified : avl_tree
• monitor_variable_initialized_to_true : Prop_Rewriter
• monitor_visible_in_traces : Prop_Rewriter
• monolithic_trans : BddFsmCache
• move_to_permanent_and_destroy_group : SatIncSolver