Ejemplos de Microsoft.AbstractInterpretationFramework Lattice.IsBottom en C# (CSharp)

Ejemplo n.º 1

Archivo: Lattice.cs Proyecto: luckysunda/hice-dt

 public override bool IsBottom(Element /*!*/ e)
 {
     //Contract.Requires(e != null);
     isBottomCount++;
     return(lattice.IsBottom(e));
 }