C# (CSharp) Microsoft.AbstractInterpretationFramework MultiLattice示例

示例#1

文件： MultiLattice.cs 项目： luckysunda/hice-dt

 public SubelementsEnumerable(MultiLattice /*!*/ multiLattice, Elt /*!*/ multiElement)
 {
     Contract.Requires(multiElement != null);
     Contract.Requires(multiLattice != null);
     this.multiLattice = multiLattice;
     this.multiElement = multiElement;
     // base();
 }

示例#2

文件： MultiLattice.cs 项目： luckysunda/hice-dt

 public SubelementsEnumerator(MultiLattice /*!*/ multiLattice, Elt /*!*/ multiElement)
 {
     Contract.Requires(multiElement != null);
     Contract.Requires(multiLattice != null);
     Contract.Requires(multiElement.elementPerLattice != null);
     this.multiLatticeIter = multiLattice.lattices.GetEnumerator();
     this.multiElementIter = multiElement.elementPerLattice.GetEnumerator();
     // base();
 }

示例#3

文件： MultiLattice.cs 项目： Chenguang-Zhu/ICE-C5

 public SubelementsEnumerable(MultiLattice/*!*/ multiLattice, Elt/*!*/ multiElement) {
   Contract.Requires(multiElement != null);
   Contract.Requires(multiLattice != null);
   this.multiLattice = multiLattice;
   this.multiElement = multiElement;
   // base();
 }

示例#4

文件： MultiLattice.cs 项目： Chenguang-Zhu/ICE-C5

 public SubelementsEnumerator(MultiLattice/*!*/ multiLattice, Elt/*!*/ multiElement) {
   Contract.Requires(multiElement != null);
   Contract.Requires(multiLattice != null);
   Contract.Requires(multiElement.elementPerLattice != null);
   this.multiLatticeIter = multiLattice.lattices.GetEnumerator();
   this.multiElementIter = multiElement.elementPerLattice.GetEnumerator();
   // base();
 }