C# (CSharp) Microsoft.AbstractInterpretationFramework MultiLattice Exemples

Exemple #1

Fichier : MultiLattice.cs Projet : luckysunda/hice-dt

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

Exemple #2

Fichier : MultiLattice.cs Projet : 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();
 }

Exemple #3

Fichier : MultiLattice.cs Projet : 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();
 }

Exemple #4

Fichier : MultiLattice.cs Projet : 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();
 }