constraint Struct Reference
Collaboration diagram for constraint:
Data Fields | |
| struct constraint_expr | lhs |
| struct constraint_expr | rhs |
Detailed Description
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 build_pred_graph(), build_succ_graph(), constraint_equal(), constraint_less(), do_complex_constraint(), do_ds_constraint(), do_sd_constraint(), dump_constraint(), merge_node_constraints(), move_complex_constraints(), new_constraint(), process_constraint(), rewrite_constraints(), and solve_graph().
| struct constraint_expr constraint::rhs |
Referenced by build_pred_graph(), build_succ_graph(), constraint_equal(), constraint_less(), do_complex_constraint(), do_ds_constraint(), do_sd_constraint(), dump_constraint(), merge_node_constraints(), move_complex_constraints(), new_constraint(), process_constraint(), rewrite_constraints(), and solve_graph().
The documentation for this struct was generated from the following file:
