assignments

Type Members

1. trait IOAssignment[U, V] extends InputAssignment[U, V]

   

   An IOAssignment is an assignment used for input, output and internal working of fixpoint solvers.

   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.

   U

   type for unknowns

   V

   type for values

2. trait InputAssignment[U, V] extends Assignment[U, V]

   

   An input assignment is an assignment used as the initial assignment for fixpoint solvers.

   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.

   U

   type for unknowns

   V

   type for values