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

lhs

struct constraint_expr constraint::lhs

Referenced by build_pred_graph(), build_succ_graph(), 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().

rhs

struct constraint_expr constraint::rhs

Referenced by build_pred_graph(), build_succ_graph(), 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:

• tree-ssa-structalias.cc