Searched defs:disjunct (Results 1 – 2 of 2) sorted by relevance
29 PresburgerRelation::PresburgerRelation(const IntegerRelation &disjunct) in PresburgerRelation() argument 80 void PresburgerRelation::unionInPlace(const IntegerRelation &disjunct) { in unionInPlace() argument 109 for (const IntegerRelation &disjunct : set.disjuncts) unionInPlace() local 124 __anona400353e0102(const IntegerRelation &disjunct) containsPoint() argument 308 for (const IntegerRelation &disjunct : disjuncts) computeReprWithOnlyDivLocals() local 609 for (const IntegerRelation &disjunct : disjuncts) subtract() local 648 for (const IntegerRelation &disjunct : getAllDisjuncts()) { isObviouslyUniverse() local 674 for (const IntegerRelation &disjunct : disjuncts) { findIntegerSample() local 689 for (const IntegerRelation &disjunct : disjuncts) { computeVolume() local 836 for (const IntegerRelation &disjunct : disjuncts) coalesce() local 855 addCoalescedDisjunct(unsigned i,unsigned j,const IntegerRelation & disjunct) addCoalescedDisjunct() argument 910 IntegerRelation &disjunct = disjuncts[i]; coalescePairCutCase() local 1041 __anona400353e0502(IntegerRelation disjunct) isFullDim() argument 1048 for (const IntegerRelation &disjunct : disjuncts) { print() local 1066 PresburgerSet(const IntegerPolyhedron & disjunct) PresburgerSet() argument [all...]
118 __anonf08d377a0102(const IntegerRelation &disjunct) isEqual() argument