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));
}
