SimpleFiniteEquationSystem

Instance Constructors

new SimpleFiniteEquationSystem(body: Body[U, V], initial: Assignment[U, V], inputUnknowns: Set[U], unknowns: Iterable[U], infl: Relation[U])

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
val bodyWithDependencies: (Assignment[U, V]) ⇒ (U) ⇒ (V, Seq[U])

Definition Classes
BodyWithDependenciesFromBody
def clone(): AnyRef

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

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def finalize(): Unit

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

Definition Classes
AnyRef → Any
def hashCode(): Int

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: Assignment[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
def toString(): String

Definition Classes
AnyRef → Any
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]

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

Definition Classes
WithBoxes

Related Doc: package FiniteEquationSystem

class SimpleFiniteEquationSystem[U, V] extends FiniteEquationSystem[U, V] with BodyWithDependenciesFromBody[U, V] with WithBaseAssignment[U, V] with WithBoxes[U, V]

Instance Constructors

new SimpleFiniteEquationSystem(body: Body[U, V], initial: Assignment[U, V], inputUnknowns: Set[U], unknowns: Iterable[U], infl: Relation[U])

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]

val bodyWithDependencies: (Assignment[U, V]) ⇒ (U) ⇒ (V, Seq[U])

def clone(): AnyRef

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

final def getClass(): Class[_]

def hashCode(): Int

val infl: Relation[U]

val initial: Assignment[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

def toString(): String

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]

Inherited from WithBoxes[U, V]

Inherited from WithBaseAssignment[U, V]

Inherited from BodyWithDependenciesFromBody[U, V]

Inherited from FiniteEquationSystem[U, V]

Inherited from EquationSystem[U, V]

Inherited from AnyRef

Inherited from Any

Ungrouped