Ejemplos de HashSet/*IVariable!*/ en C# (CSharp)

Ejemplo n.º 1

Archivo: PolyhedraAbstraction.cs Proyecto: omaragb/tlp182

        public ISet /*IVariable!*/ GetDefinedDimensions()
        {
            HashSet /*IVariable!*//*!*/ dims = new HashSet/*IVariable!*/ ();

            for (Term current = terms; current != null; current = current.next)
            {
                dims.Add(current.var);
            }
            return(dims);
        }

Ejemplo n.º 2

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

        public IMutableSet /*!*/ /*IVariable!*/ GetDimensions()
        {
            Contract.Ensures(Contract.Result <IMutableSet>() != null);
            HashSet /*IVariable!*/ z = new HashSet/*IVariable!*/ ();

            foreach (IVariable /*!*/ dim in dims)
            {
                Contract.Assert(dim != null);
                z.Add(dim);
            }
            return(z);
        }

Ejemplo n.º 3

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

        public IMutableSet /*IVariable!*//*!*/ GetDefinedDimensions()
        {
            Contract.Ensures(Contract.Result <IMutableSet>() != null);
            HashSet /*IVariable!*//*!*/ dims = new HashSet/*IVariable!*/ (terms.Count);

            foreach (IVariable /*!*/ dim in terms.Keys)
            {
                Contract.Assert(dim != null);
                dims.Add(dim);
            }
            System.Diagnostics.Debug.Assert(dims.Count == terms.Count);
            return(dims);
        }

Ejemplo n.º 4

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

        public ISet /*IVariable!*//*!*/ GetDefinedDimensions()
        {
            Contract.Ensures(Contract.Result <ISet>() != null);
            HashSet /*IVariable!*/ dims = new HashSet/*IVariable!*/ (coefficients.Count);
            int j = 0;

            foreach (IVariable /*!*/ dim in coefficients.Keys)
            {
                Contract.Assert(dim != null);
                dims.Add(dim);
                j++;
            }
            System.Diagnostics.Debug.Assert(j == coefficients.Count);
            return(dims);
        }

Ejemplo n.º 5

Archivo: SimplexTableau.cs Proyecto: Chenguang-Zhu/ICE-C5

 public IMutableSet/*!*/ /*IVariable!*/ GetDimensions() {
   Contract.Ensures(Contract.Result<IMutableSet>() != null);
   HashSet /*IVariable!*/ z = new HashSet /*IVariable!*/ ();
   foreach (IVariable/*!*/ dim in dims) {
     Contract.Assert(dim != null);
     z.Add(dim);
   }
   return z;
 }

Ejemplo n.º 6

Archivo: LinearConstraint.cs Proyecto: qunyanm/boogie

 public IMutableSet /*IVariable!*//*!*/ GetDefinedDimensions() {
   Contract.Ensures(Contract.Result<IMutableSet>() != null);
   HashSet /*IVariable!*//*!*/ dims = new HashSet /*IVariable!*/ (terms.Count);
   foreach (IVariable/*!*/ dim in terms.Keys) {
     Contract.Assert(dim != null);
     dims.Add(dim);
   }
   System.Diagnostics.Debug.Assert(dims.Count == terms.Count);
   return dims;
 }

Ejemplo n.º 7

Archivo: LinearConstraint.cs Proyecto: qunyanm/boogie

 public ISet /*IVariable!*//*!*/ GetDefinedDimensions() {
   Contract.Ensures(Contract.Result<ISet>() != null);
   HashSet /*IVariable!*/ dims = new HashSet /*IVariable!*/ (coefficients.Count);
   int j = 0;
   foreach (IVariable/*!*/ dim in coefficients.Keys) {
     Contract.Assert(dim != null);
     dims.Add(dim);
     j++;
   }
   System.Diagnostics.Debug.Assert(j == coefficients.Count);
   return dims;
 }

Ejemplo n.º 8

Archivo: LinearConstraintSystem.cs Proyecto: Chenguang-Zhu/ICE-C5

 ISet /*IVariable!*//*!*/ GetDefinedDimensions() {
   Contract.Ensures(Contract.Result<ISet>() != null);
   HashSet /*IVariable!*//*!*/ dims = new HashSet /*IVariable!*/ ();
   foreach (ArrayList p in new ArrayList[] { FrameVertices, FrameRays, FrameLines }) {
     if (p != null) {
       foreach (FrameElement/*!*/ element in p) {
         Contract.Assert(element != null);
         foreach (IVariable/*!*/ dim in element.GetDefinedDimensions()) {
           Contract.Assert(dim != null);
           dims.Add(dim);
         }
       }
     }
   }
   return dims;
 }

Ejemplo n.º 9

Archivo: PolyhedraAbstraction.cs Proyecto: Chenguang-Zhu/ICE-C5

 public ISet /*IVariable!*/ GetDefinedDimensions() {
   HashSet /*IVariable!*//*!*/ dims = new HashSet /*IVariable!*/ ();
   for (Term current = terms; current != null; current = current.next) {
     dims.Add(current.var);
   }
   return dims;
 }