iv_ca_delta Struct Reference
Collaboration diagram for iv_ca_delta:
Data Fields | |
| struct iv_use * | use |
| struct cost_pair * | old_cp |
| struct cost_pair * | new_cp |
| struct iv_ca_delta * | next_change |
Detailed Description
Difference of two iv candidate assignments.
Field Documentation
| struct cost_pair* iv_ca_delta::new_cp |
A new assignment.
| struct iv_ca_delta* iv_ca_delta::next_change |
Next change in the list.
Referenced by iv_ca_set_remove_invariants().
| struct cost_pair* iv_ca_delta::old_cp |
An old assignment (for rollback purposes).
| struct iv_use* iv_ca_delta::use |
Changed use.
The documentation for this struct was generated from the following file:
