Here is a list of all variables with links to the classes they belong to:

- m -

• magic : MMappedUUIDHashTable::table_t, MMappedVector< T >::data_t, NewTableHdr, NewVecHdr
• MAGIC_EXTRA : MMappedCircuit
• MAGIC_GATES : MMappedCircuit
• MAGIC_MAPPING : MMappedCircuit
• MAGIC_TABLE_INFO : MMappedCircuit
• MAGIC_WIRES : MMappedCircuit
• mapping : MMappedCircuit, OldCircuit
• MAPPING_FILENAME : MMappedCircuit
• markers : InvFreeMarkerCtx
• MAX_HOP_BOUND : ReachabilityCompiler
• max_nodes_ : StructuredDNNFBuilder
• max_states : ReachabilityCompiler::Stats, UCQJointCompiler::AnswerCircuit, UCQJointCompiler::Stats
• MAX_TREEWIDTH : TreeDecomposition
• maxarity : SafeCert
• MAXIMUM_LOAD_FACTOR : MMappedUUIDHashTable
• member_atoms : safe_inner_group
• merged_quals : safe_flatten_join_ctx
• message : CircuitException, semiring::SemiringException
• methods_ : provsql::MethodCatalog
• ms : provsql::AggCmpMatch
• mulinputs : BooleanCircuit
• multivalued_rewritten : provsql::EvalContext