- m -

• mark() : _GDDD , _GHom , _GSDD , _GShom , _MLHom , _MLShom , Add , And , Apply2k , Compose , Constant , DataSet , DDD , Fixpoint , GDDD , GHom , GSDD , GShom , IntDataSet , Inter , LeftConcat , MemoryManager , Minus , MLHomAdapter , Monotonic , Mult , NotCond , RightConcat , sns::Add , sns::And , sns::Compose , sns::Constant , sns::Fixpoint , sns::HomMinus , sns::Inter , sns::LeftConcat , sns::LocalApply , sns::Minus , sns::MLShomAdapter , sns::Mult , sns::RecFireSat , sns::RightConcat , sns::SApply2k , sns::SLocalApply , sns::SNotCond , UniqueTableId< T, ID >
• mark_if_refd() : _GSDD , _GShom
• Minus() : Minus , sns::Minus
• MLCache() : MLCache< MLHomType, NodeType, HomNodeMapType >
• MLHom() : MLHom
• MLHomAdapter() : MLHomAdapter
• MLShom() : MLShom
• MLShomAdapter() : sns::MLShomAdapter
• Monotonic() : Monotonic
• Mult() : Mult , sns::Mult
• MyNbStates() : MyNbStates
• MySDDNbStates() : MySDDNbStates
• mysize() : MySize