constraint Struct Reference
Collaboration diagram for constraint:
Data Fields | |
| struct constraint_expr | lhs |
| struct constraint_expr | rhs |
Detailed Description
@verbatim
Our set constraints are made up of two constraint expressions, one LHS, and one RHS.
As described in the introduction, our set constraints each represent an operation between set valued variables.
Field Documentation
| struct constraint_expr constraint::lhs |
Referenced by add_implicit_graph_edge(), and set_union_with_increment().
| struct constraint_expr constraint::rhs |
Referenced by add_implicit_graph_edge(), and set_union_with_increment().
The documentation for this struct was generated from the following file:
