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]
.
An initial value for starting the analyzer
An initial value for starting the analyzer
The unknowns which may be considered the input to this equation system.
The unknowns which may be considered the input to this equation system.
This is a simple implementation of an equation systems, obtained by a body.