Searched defs:m_substitution (Results 1 – 4 of 4) sorted by relevance
40 obj_map<expr, expr*>& m_substitution; member
48 expr_substitution m_substitution; variable
48 :formula (forall (x Int) (t Int) 49 (or (not (= (?is x t) 1))