SimpleGraphEquationSystem
Default implementation of a graph-based equation system.
- Value parameters:
- initialGraph
the initial graph of the equation system. Depending on the presence of localized combos, the initial graph is manipulated in order to obtain the real graph.
- inputUnknowns
the unknowns which may be considered the input to this equation system.
- unknowns
collection of all unknowns.
- Source:
- GraphEquationSystem.scala
Value members
Inherited methods
Returns the body of this equation system.
Returns the body of this equation system.
- Note:
The body is generated starting from the initial body of the equation system, adding combos, base assignment and tracer according to the requests of the user.
- Definition Classes
- Inherited from:
- BaseEquationSystem
- Source:
- EquationSystem.scala
Returns the body with dependencies of the equations system.
Returns the body with dependencies of the equations system.
- Definition Classes
- Inherited from:
- BaseGraphEquationSystem
- Source:
- GraphEquationSystem.scala
Returns a mutable assignment based on the provided initial assignment.
Returns a mutable assignment based on the provided initial assignment.
- Note:
Returns the default mutable assignment assignments.MapBasedMutableAssignment
- Definition Classes
- Inherited from:
- BaseEquationSystem
- Source:
- EquationSystem.scala
Returns the graph of this equation system.
Returns the graph of this equation system.
- Note:
The graph is generated starting from the initial graph of the equation system, eventually adding localized combos as requested by the user.
- Definition Classes
- Inherited from:
- BaseGraphEquationSystem
- Source:
- GraphEquationSystem.scala
The static relation between an unknown x
and the unknowns y
it
influences. If infl(x)
does not contain y
, it means that apply(rho)(y) \== apply(rho')(y)
, when rho' = rho[x / eqs(rho)(x)]
.
The static relation between an unknown x
and the unknowns y
it
influences. If infl(x)
does not contain y
, it means that apply(rho)(y) \== apply(rho')(y)
, when rho' = rho[x / eqs(rho)(x)]
.
- Definition Classes
- Inherited from:
- BaseFiniteEquationSystem
- Source:
- FiniteEquationSystem.scala
The initial body of the equation system. Depending of the presence of combos, base assignments or tracers, the initial body is manipulated in order to obtain the real body of the equation system.
The initial body of the equation system. Depending of the presence of combos, base assignments or tracers, the initial body is manipulated in order to obtain the real body of the equation system.
For graph-based equation system, the initial body is computed by the graph.
- Definition Classes
- Inherited from:
- BaseGraphEquationSystem
- Source:
- GraphEquationSystem.scala
The initial influence relation of the equation system. Depending of the presence of combos, the initial relaton is manipulated in order to obtain the real influence relation of the equation system.
The initial influence relation of the equation system. Depending of the presence of combos, the initial relaton is manipulated in order to obtain the real influence relation of the equation system.
For graph-based equation system, the initial influence relation is computed by the graph.
- Definition Classes
- Inherited from:
- BaseGraphEquationSystem
- Source:
- GraphEquationSystem.scala
Returns the equation system modified with the specified base assignment.
Returns the equation system modified with the specified base assignment.
- Definition Classes
- Inherited from:
- BaseEquationSystem
- Source:
- EquationSystem.scala
Returns the equation system modified with the specified combo assignment.
Returns the equation system modified with the specified combo assignment.
- Definition Classes
- Inherited from:
- BaseEquationSystem
- Source:
- EquationSystem.scala
Returns the equation system modified with the specified localized combo assignment.
Returns the equation system modified with the specified localized combo assignment.
- Definition Classes
- Inherited from:
- BaseGraphEquationSystem
- Source:
- GraphEquationSystem.scala
Returns the equation system modified with the specified combination of localized widening and narrowing (aka localized warrowing).
Returns the equation system modified with the specified combination of localized widening and narrowing (aka localized warrowing).
- Definition Classes
- Inherited from:
- BaseGraphEquationSystem
- Source:
- GraphEquationSystem.scala
Returns the equation system with an additional tracer. The tracer contains callbacks which are invoked during body evaluation.
Returns the equation system with an additional tracer. The tracer contains callbacks which are invoked during body evaluation.
- Definition Classes
- Inherited from:
- BaseEquationSystem
- Source:
- EquationSystem.scala
Concrete fields
Inherited fields
An optional specification for a base assignment we want to add to the equation system.
An optional specification for a base assignment we want to add to the equation system.
- Inherited from:
- BaseEquationSystem
- Source:
- EquationSystem.scala
An optional assignment of combos to the unknowns.
An optional assignment of combos to the unknowns.
- Inherited from:
- BaseEquationSystem
- Source:
- EquationSystem.scala
An optional specification of the localized combos we want to apply to the equation system.
An optional specification of the localized combos we want to apply to the equation system.
- Inherited from:
- BaseGraphEquationSystem
- Source:
- GraphEquationSystem.scala
An optional specification of localized warrowing we want to apply to the equation system.
An optional specification of localized warrowing we want to apply to the equation system.
- Inherited from:
- BaseGraphEquationSystem
- Source:
- GraphEquationSystem.scala
An optional tracer for monitoring the execution of the body.
An optional tracer for monitoring the execution of the body.
- Inherited from:
- BaseEquationSystem
- Source:
- EquationSystem.scala