Class/Object

it.unich.scalafix

EquationSystem

Related Docs: object EquationSystem | package scalafix

Permalink

abstract class EquationSystem[U, V] extends AnyRef

This is the abstract class for a generic equation system.

U

the type for the unknowns of this equation system.

V

the type for the values assumed by the unknowns of this equation system.

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

Instance Constructors

  1. new EquationSystem()

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

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

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

    Permalink

    An initial value for starting the analyzer

  4. abstract val inputUnknowns: (U) ⇒ Boolean

    Permalink

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

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

    Permalink

    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

  6. abstract def withBoxes(boxes: BoxAssignment[U, V]): EquationSystem[U, V]

    Permalink

    Add boxes to the equation system

    Add boxes to the equation system

    boxes

    a box assignment

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 AnyRef

Inherited from Any

Ungrouped