A ComboAssignment
maps a subset of unknowns to a Combo
. When
isDefinedAt(u)
is false for a given unknown u
, the corresponding
apply(u)
should be a right combo.
As it was the case for Combo
, a ComboAssignent
is also a blueprint for
buildind equivalent ComboAssignments
. Each ComboAssignmant
has a copy
method which should produce a functionally equivalent copy of this
. The
copy
method should try to minimize object duplication.
- Companion:
- object
- Source:
- ComboAssignment.scala
Value members
Abstract methods
Returns true if all returned combos are idempotent.
Returns true if all returned combos are idempotent.
- Source:
- ComboAssignment.scala
Returns true if all combos are immutable
Returns true if all combos are immutable
- Source:
- ComboAssignment.scala
Returns true if all combos are right combos.
Returns true if all combos are right combos.
- Source:
- ComboAssignment.scala
Returns a copy of this combo assignment. An immutable combo assignment may just returns itself, but a mutable one should produce a copy of itself.
Returns a copy of this combo assignment. An immutable combo assignment may just returns itself, but a mutable one should produce a copy of itself.
- Source:
- ComboAssignment.scala
Returns true if the assignment is empty, i.e., it is undefined for all program points.
Returns true if the assignment is empty, i.e., it is undefined for all program points.
- Source:
- ComboAssignment.scala
Concrete methods
Restricts the domain of this combo assignment. The new domain is the
intersection of the old domain and the set whose characteristic function is
domain
.
Restricts the domain of this combo assignment. The new domain is the
intersection of the old domain and the set whose characteristic function is
domain
.
- Source:
- ComboAssignment.scala
Restricts the domain of this combo assignment. The new domain is the intersection of the old domain and the set of head nodes according to the provided graph ordering.
Restricts the domain of this combo assignment. The new domain is the intersection of the old domain and the set of head nodes according to the provided graph ordering.
- Source:
- ComboAssignment.scala