A BoxAssignment maps a subset of unknowns to a Box. When isDefinedAt(u)
is false for a given unknown u
, the corresponding apply(u)
should be a right box.
Like it was the case for Box, a BoxAssignent is also a blueprint for buildind equivalent
BoxAssignments. Each BoxAssignmant has a copy method which should produce a functionally
equivalent copy of this
. The copy method should try to minimize object duplication.
- Companion:
- object
Value members
Abstract methods
Returns true if all returned boxes are idempotent.
Returns true if all returned boxes are idempotent.
Returns a copy of this box assignment. An immutable box assignment may just returns itself, but a mutable one should produce a copy of itself.
Returns a copy of this box assignment. An immutable box assignment may just returns itself, but a mutable one should produce a copy of itself.