This is the abstract class for a generic equation system.
- Type parameters:
- U
the type for the unknowns of this equation system.
- V
the type for the values assumed by the unknowns of this equation system.
- Companion:
- object
Value members
Abstract methods
Combine a base assignment with the equation system. The type V
should be endowed with a magma.
Combine a base assignment with the equation system. The type V
should be endowed with a magma.
- Value parameters:
- init
the assignment to add to the equation system
Add boxes to the equation system
Add boxes to the equation system
- Value parameters:
- boxes
a box assignment
Abstract fields
The body of the equation system, i.e., a map Assignment[U,V] => Assignment[U,V]
.
The body of the equation system, i.e., a map Assignment[U,V] => Assignment[U,V]
.
Given an assignment rho
and unknown u
, returns the pair (body(rho)(x), uks)
. uks
is a set of unknowns
with the property that if rho'
differs from rho
only for variables which are not in uks
, then
body(rho)(u)==body(rho')(u)
.
Given an assignment rho
and unknown u
, returns the pair (body(rho)(x), uks)
. uks
is a set of unknowns
with the property that if rho'
differs from rho
only for variables which are not in uks
, then
body(rho)(u)==body(rho')(u)
.