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); }
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); }
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); }
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); }
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; }
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; }
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; }
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; }
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; }