Class/Object

it.unich.scalafix.finite

FiniteEquationSystem

Related Docs: object FiniteEquationSystem | package finite

Permalink

abstract class FiniteEquationSystem[U, V] extends EquationSystem[U, V]

This is the abstract class for an equation system with a finite set of unknowns AND static dependencies between them. When computing apply(rho)(x), the result may only depend on values of rho(y) for an y such that y infl x.

Linear Supertypes
EquationSystem[U, V], AnyRef, Any
Known Subclasses
GraphEquationSystem, SimpleFiniteEquationSystem, SimpleGraphEquationSystem
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. FiniteEquationSystem
  2. EquationSystem
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new FiniteEquationSystem()

    Permalink

Abstract Value Members

  1. abstract val body: Body[U, V]

    Permalink

    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
    EquationSystem

  2. abstract val bodyWithDependencies: (Assignment[U, V]) ⇒ Assignment[U, (V, Iterable[U])]

    Permalink

    Given an assignment rho and unknown u, returns the pair (body(rho)(x), uks).

    Given an assignment rho and unknown u, returns the pair (body(rho)(x), uks). uks is a set of unknowns with the property that if rho' differs from rho only for variables which are not in uks, then body(rho)(u)==body(rho')(u).

    Definition Classes
    EquationSystem

  3. abstract val infl: Relation[U]

    Permalink

    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)].

  4. abstract val initial: Assignment[U, V]

    Permalink

    An initial value for starting the analyzer

    An initial value for starting the analyzer

    Definition Classes
    EquationSystem

  5. abstract val inputUnknowns: Set[U]

    Permalink

    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
    FiniteEquationSystem → EquationSystem

  6. abstract val unknowns: Iterable[U]

    Permalink

    The collection of all unknowns.

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

    Permalink

    Combine a base assignment with the equation system

    Combine a base assignment with the equation system

    init

    the assignment to add to the equation system

    Definition Classes
    FiniteEquationSystem → EquationSystem

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

    Permalink

    Add boxes to the equation system.

    Add boxes to the equation system.

    boxes

    a box assignment

    Definition Classes
    FiniteEquationSystem → EquationSystem

Concrete Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  4. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  5. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  6. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  7. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  8. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

  9. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any

  10. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  11. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  12. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  13. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  14. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

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

    Permalink
    Definition Classes
    AnyRef

  16. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any

  17. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  19. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from EquationSystem[U, V]

Inherited from AnyRef

Inherited from Any

Ungrouped