- m -

• main() : main.cpp
• max() : cvclutil.h
• merge() : theorem.h
• mf() : preprocess.cpp, expr_transform.cpp
• minusExpr() : theory_arith.h
• mod() : rational-gmp.cpp
• mult() : rational-native.cpp
• multExpr() : theory_arith.h

---