private bool IsFinal() { // First call simplify to get rid of tautologies and true, false // etc. and then collapse the OneOfs return(m_memberDomainMap != null && IsFinalVisitor.IsFinal(m_tree)); }
internal static bool IsFinal(DomainBoolExpr expression) { IsFinalVisitor visitor = new IsFinalVisitor(); return(expression.Accept <bool>(visitor)); }