ScalaFix/it.unich.scalafix/EquationSystem

EquationSystem

trait EquationSystem[U, V, EQS <: EquationSystem[U, V, EQS]]

An equation system.

Type parameters:
EQS

the type of the equation system. Operations returning a new equation system generally return EQS.

U

the type for the unknowns

V

the type for the values assumed by the unknowns.

Companion:
object
Source:
EquationSystem.scala
class Object
trait Matchable
class Any
class BaseEquationSystem[U, V, EQS]
class BaseFiniteEquationSystem[U, V, EQS]
class BaseGraphEquationSystem[U, V, E, EQS]
trait FiniteEquationSystem[U, V, EQS]
trait GraphEquationSystem[U, V, E, EQS]

Value members

Abstract methods

def body: U => V

Returns the body of this equation system.

Returns the body of this equation system.

Source:
EquationSystem.scala
def bodyWithDependencies: U => V

Returns the body with dependencies of the equations system. Although this might be implemented by scalafix#withDependencies, it is possible to provide an alternative implementation.

Returns the body with dependencies of the equations system. Although this might be implemented by scalafix#withDependencies, it is possible to provide an alternative implementation.

Source:
EquationSystem.scala
def getMutableAssignment(rho: U => V): MutableAssignment[U, V]

Returns a mutable assignment based on the provided initial assignment. Although hash maps are the most obvious implementation of mutable assignment, it is possible to provide an alternative implementation.

Returns a mutable assignment based on the provided initial assignment. Although hash maps are the most obvious implementation of mutable assignment, it is possible to provide an alternative implementation.

Value parameters:
rho

the initial assignment.

Source:
EquationSystem.scala
def withBaseAssignment(baseAssignment: PartialFunction[U, V], op: (V, V) => V): EQS

Returns the equation system modified with the specified base assignment.

Returns the equation system modified with the specified base assignment.

Value parameters:
baseAssignment

a partial assignment of values to unknowns.

op

the operation used to combine the base assignment with the rhs of the body.

See also:

scalafix#addBaseAssignment

Source:
EquationSystem.scala
def withCombos(combos: ComboAssignment[U, V]): EQS

Returns the equation system modified with the specified combo assignment.

Returns the equation system modified with the specified combo assignment.

Value parameters:
combos

the combo assignment for the equation system.

See also:

scalafix#addCombos

Source:
EquationSystem.scala
def withTracer(tracer: EquationSystemTracer[U, V]): EQS

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.

Value parameters:
tracer

the tracer.

Source:
EquationSystem.scala