This trait is a mixin for an EquationSystem and implements the method bodyWithDependecies
by instrumenting
the assignment rho during evaluation of body(rho)(x) and keeping track of all the evaluated unknowns.
This is a simple implementation of an equation systems, obtained by a body.
A trait which provides the withBaseAssignment method to equation systems.
A trait which provides the withBoxes method to equation systems.
An equation system determined by a given body and set of input unknowns.
An equation system determined by a given body.