SimpleFiniteEquationSystem

Instance Constructors

new SimpleFiniteEquationSystem(body: Body[U, V], initial: InputAssignment[U, V], inputUnknowns: Set[U], unknowns: Iterable[U], infl: Relation[U], tracer: Option[EquationSystemTracer[U, V]] = None)

Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def asInstanceOf[T0]: T0

Definition Classes
Any
val body: Body[U, V]

The body of the equation system, i.e., a map Assignment[U,V] => Assignment[U,V].
The body of the equation system, i.e., a map Assignment[U,V] => Assignment[U,V].

Definition Classes
SimpleFiniteEquationSystem → EquationSystem
def bodyWithBaseAssignment(init: PartialFunction[U, V], comb: (V, V) ⇒ V): Body[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.

Attributes
protected
Definition Classes
EquationSystemBase
def bodyWithBoxAssignment(boxes: BoxAssignment[U, V]): Body[U, V]

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

Attributes
protected
Definition Classes
EquationSystemBase
val bodyWithDependencies: 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.

Definition Classes
EquationSystemBase → EquationSystem
def bodyWithTracer(t: EquationSystemTracer[U, V]): Body[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.
t
the tracer to be called by the new body

Attributes
protected
Definition Classes
EquationSystemBase
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
val infl: Relation[U]

The static relation between an unknown x and the unknowns y it influences.
The static relation between an unknown x and the unknowns y it influences. If infl(x) does not contain y, it means that eqs(rho)(y) == eqs(rho')(y), when rho' = rho[x / eqs(rho)(x)].

Definition Classes
SimpleFiniteEquationSystem → FiniteEquationSystem
val initial: InputAssignment[U, V]

An initial value for starting the analyzer
An initial value for starting the analyzer

Definition Classes
SimpleFiniteEquationSystem → EquationSystem
val inputUnknowns: Set[U]

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

Definition Classes
SimpleFiniteEquationSystem → FiniteEquationSystem → EquationSystem
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
val tracer: Option[EquationSystemTracer[U, V]]

An optional tracer which should be called during body evaluation.
An optional tracer which should be called during body evaluation.

Definition Classes
SimpleFiniteEquationSystem → EquationSystemBase
val unknowns: Iterable[U]

The collection of all unknowns.
The collection of all unknowns.

Definition Classes
SimpleFiniteEquationSystem → FiniteEquationSystem
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
def withBaseAssignment(init: PartialFunction[U, V])(implicit magma: Magma[V]): FiniteEquationSystem[U, V]

Combine a base assignment with the equation system.
Combine a base assignment with the equation system. The type V should be endowed with a magma.
init
the assignment to add to the equation system

Definition Classes
SimpleFiniteEquationSystem → FiniteEquationSystem → EquationSystem
def withBoxes(boxes: BoxAssignment[U, V]): FiniteEquationSystem[U, V]

Add boxes to the equation system
Add boxes to the equation system
boxes
a box assignment

Definition Classes
SimpleFiniteEquationSystem → FiniteEquationSystem → EquationSystem
def withTracer(t: EquationSystemTracer[U, V]): FiniteEquationSystem[U, V]

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

Definition Classes
SimpleFiniteEquationSystem → FiniteEquationSystem → EquationSystem

Related Doc: package finite

Instance Constructors

new SimpleFiniteEquationSystem(body: Body[U, V], initial: InputAssignment[U, V], inputUnknowns: Set[U], unknowns: Iterable[U], infl: Relation[U], tracer: Option[EquationSystemTracer[U, V]] = None)

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

val body: Body[U, V]

def bodyWithBaseAssignment(init: PartialFunction[U, V], comb: (V, V) ⇒ V): Body[U, V]

def bodyWithBoxAssignment(boxes: BoxAssignment[U, V]): Body[U, V]

val bodyWithDependencies: BodyWithDependencies[U, V]

def bodyWithTracer(t: EquationSystemTracer[U, V]): Body[U, V]

def clone(): AnyRef

final def eq(arg0: AnyRef): Boolean

def finalize(): Unit

final def getClass(): Class[_]

val infl: Relation[U]

val initial: InputAssignment[U, V]

val inputUnknowns: Set[U]

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

final def synchronized[T0](arg0: ⇒ T0): T0

val tracer: Option[EquationSystemTracer[U, V]]

val unknowns: Iterable[U]

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

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

def withBoxes(boxes: BoxAssignment[U, V]): FiniteEquationSystem[U, V]

def withTracer(t: EquationSystemTracer[U, V]): FiniteEquationSystem[U, V]

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from FiniteEquationSystem[U, V]

Inherited from EquationSystemBase[U, V]

Inherited from EquationSystem[U, V]

Inherited from AnyRef

Inherited from Any

Ungrouped