- m -

• makeComplete() : Parity
• makeContiguous() : Stree
• makeInitial() : LTS< Tran > , Model
• mergeTransitions() : LTS< Tran >
• minimumIndex() : Parity
• Model() : Model