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.
Returns an IOAssignment with the same initial content as 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.
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 for unknowns
type for values