InputAssignment

trait InputAssignment[U, V] extends U => V

An input assignment is an assignment used as the initial assignment for fixpoint solvers. It has a method which converts the assignment into a mutable assignment. Actual implementations of InputAssignment should provide a toString method which gives detailed information, to be used for tracing and debugging purposes.

Type parameters:
U

type for unknowns

V

type for values

Companion:
object
trait U => V
class Object
trait Matchable
class Any
trait IOAssignment[U, V]
class Conditional[U, V]
class Default[U, V]
class FromAssignment[U, V]
class FromMap[U, V]

Value members

Abstract methods

Returns an IOAssignment with the same initial content as the current assignment. Changes to the IOAssignment are not reflected to the current assignment.

Returns an IOAssignment with the same initial content as the current assignment. Changes to the IOAssignment are not reflected to the current assignment.

Inherited methods

@unspecialized
def andThen[A](g: V => A): U => A
Inherited from:
Function1
def apply(v1: U): V
Inherited from:
Function1
@unspecialized
def compose[A](g: A => U): A => V
Inherited from:
Function1
override def toString(): String
Definition Classes
Function1 -> Any
Inherited from:
Function1