Esempio n. 1
0
 /// <summary>
 /// Returns true if the negated constant contains <paramref name="constant"/>.
 /// </summary>
 internal bool Contains(Constant constant)
 {
     return(m_negatedDomain.Contains(constant));
 }