it.unich.scalafix.assignments
Type members
Classlikes
An IOAssignment is an assignment used for input, output and internal working of fixpoint solvers. It also explicitly keeps track of unknowns which are modified after creation time.
An IOAssignment is an assignment used for input, output and internal working of fixpoint solvers. It also explicitly keeps track of unknowns which are modified after creation time.
- Type parameters:
- U
type for unknowns
- V
type for values
- Companion:
- object
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.
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
The companion object for the class it.unich.scalafix.assignments.InputAssignment
.
The companion object for the class it.unich.scalafix.assignments.InputAssignment
.
- Companion:
- class