core/it.unich.scalafix.finite/SimpleFiniteEquationSystem

SimpleFiniteEquationSystem

case class SimpleFiniteEquationSystem[U, V](body: U => V, initial: InputAssignment[U, V], inputUnknowns: Set[U], unknowns: Iterable[U], infl: Relation[U], tracer: Option[EquationSystemTracer[U, V]]) extends EquationSystemBase[U, V] with FiniteEquationSystem[U, V]

A simple standard implementation of FiniteEquationSystem. All fields must be provided explicitly by the user with the exception of bodyWithDependencies which is computed by body.

trait Serializable
trait Product
trait Equals
class EquationSystemBase[U, V]
trait EquationSystem[U, V]
class Object
trait Matchable
class Any

Value members

Concrete methods

def withBaseAssignment(init: PartialFunction[U, V])(implicit magma: Magma[V]): FiniteEquationSystem[U, V]

Inherited methods

protected def bodyWithBaseAssignment(init: PartialFunction[U, V], comb: (V, V) => V): U => V

Returns a new body, in which the init assignment is combined with the result of body evaluation trough the use of the comb combiner.

Returns a new body, in which the init assignment is combined with the result of body evaluation trough the use of the comb combiner.

Inherited from:
EquationSystemBase
protected def bodyWithBoxAssignment(boxes: BoxAssignment[U, V]): U => V

Returns a new body with boxes added to the evaluation. If tracer is defined, the boxEvaluation callback is invoked during evaluation.

Returns a new body with boxes added to the evaluation. If tracer is defined, the boxEvaluation callback is invoked during evaluation.

Inherited from:
EquationSystemBase
protected def bodyWithTracer(t: EquationSystemTracer[U, V]): U => V

Returns a new body which calls the current tracer before and after evaluation.

Returns a new body which calls the current tracer before and after evaluation.

Value parameters:
t

the tracer to be called by the new body

Inherited from:
EquationSystemBase
def productElementNames: Iterator[String]
Inherited from:
Product
def productIterator: Iterator[Any]
Inherited from:
Product

Inherited fields

val bodyWithDependencies: U => V

Implement the bodyWithDependencies method by instrumenting the source assignment in order to record access to unknowns.

Implement the bodyWithDependencies method by instrumenting the source assignment in order to record access to unknowns.

Inherited from:
EquationSystemBase