- 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
• 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