Home | History | Annotate | Download | only in src

Lines Matching refs:Relation

225 // Represents the relation of two sets.
229 // Relation is represented by a bit saying whether there are elements in
246 // Check the currently known relation of the sets (common functions only,
1018 enum Relation { LT, GEQ };
1019 Guard(int reg, Relation op, int value)
1024 Relation op() { return op_; }
1029 Relation op_;