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