ArrayBasedMutableAssignment
A mutable assignment backed by an array.
- Value parameters:
- rho
the initial value of this assignment.
- size
the size of the array. This assignment may only be used for unknowns in the range from
0
tosize-1
.
- Source:
- ArrayBasedMutableAssignment.scala
Value members
Concrete methods
Returns the value assigned to the unknown i
.
Returns the value assigned to the unknown i
.
- Definition Classes
- Source:
- ArrayBasedMutableAssignment.scala
Determines whether the unknown u
has been explicitly modified after
creation.
Determines whether the unknown u
has been explicitly modified after
creation.
- Definition Classes
- Source:
- ArrayBasedMutableAssignment.scala
An iterator over pairs (unknown, value)
An iterator over pairs (unknown, value)
- Definition Classes
- Source:
- ArrayBasedMutableAssignment.scala
Returns a string representation of the object.
Returns a string representation of the object.
The default representation is platform dependent.
The string representation is human-readable, and shows both the updated bindings of the assignment and the initial assignment.
- Definition Classes
- Source:
- ArrayBasedMutableAssignment.scala
An iterable of the unknowns which have been explicitly modified after creation.
An iterable of the unknowns which have been explicitly modified after creation.
- Definition Classes
- Source:
- ArrayBasedMutableAssignment.scala
Update this assignment.
Update this assignment.
- Definition Classes
- Source:
- ArrayBasedMutableAssignment.scala
Inherited methods
- Inherited from:
- IterableOnceOps
- Inherited from:
- IterableOnceOps
- Inherited from:
- IterableOnceOps
Deprecated and Inherited methods
- Deprecated
[Since version 2.13.0]
Use ++ instead of ++: for collections of type Iterable- Inherited from:
- IterableOps
- Deprecated
[Since version 2.13.0]
Use foldLeft instead of /:- Inherited from:
- IterableOnceOps
- Deprecated
[Since version 2.13.0]
Use foldRight instead of :\\- Inherited from:
- IterableOnceOps
- Deprecated
[Since version 2.13.0]
`aggregate` is not relevant for sequential collections. Use `foldLeft(z)(seqop)` instead.- Inherited from:
- IterableOnceOps
- Deprecated
[Since version 2.13.0]
Use iterableFactory instead- Inherited from:
- IterableOps
- Deprecated
[Since version 2.13.0]
Use `dest ++= coll` instead- Inherited from:
- IterableOnceOps
- Deprecated
[Since version 2.13.0]
Check .knownSize instead of .hasDefiniteSize for more actionable information (see scaladoc for details)- Inherited from:
- IterableOnceOps
- Deprecated
[Since version 2.13.0]
Use coll instead of repr in a collection implementation, use the collection value itself from the outside- Inherited from:
- IterableOps
- Deprecated
[Since version 2.13.0]
Iterable.seq always returns the iterable itself- Inherited from:
- Iterable
- Deprecated
[Since version 2.13.7]
toIterable is internal and will be made protected; its name is similar to `toList` or `toSeq`, but it doesn\'t copy non-immutable collections- Inherited from:
- Iterable
- Deprecated
[Since version 2.13.0]
Use .iterator instead of .toIterator- Inherited from:
- IterableOnceOps
- Deprecated
[Since version 2.13.0]
Use .to(LazyList) instead of .toStream- Inherited from:
- IterableOnceOps
- Deprecated
[Since version 2.13.0]
toTraversable is internal and will be made protected; its name is similar to `toList` or `toSeq`, but it doesn\'t copy non-immutable collections- Inherited from:
- IterableOps
- Deprecated
[Since version 2.13.0]
Use .view.slice(from, until) instead of .view(from, until)- Inherited from:
- IterableOps