EquationSystem

trait EquationSystem[U, V]

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

class Object

trait Matchable

class Any

class EquationSystemBase[U, V]

class SimpleEquationSystem[U, V]

class SimpleFiniteEquationSystem[U, V]

class SimpleGraphEquationSystem[U, V, E]

trait FiniteEquationSystem[U, V]

trait GraphEquationSystem[U, V, E]

Value members

Abstract methods

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

Value parameters:

boxes: a box assignment

Add a tracer to the equation system. The tracer contains call-backs to be invoked during body evaluation.

Value parameters:

t: the tracer

Abstract fields

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).

An initial value for starting the analyzer

The unknowns which may be considered the input to this equation system.