Searched refs:cisv (Results 1 – 6 of 6) sorted by relevance
79 IntSetVal* cisv; in create_explicit_domain_constraints() local81 cisv = eval_intset(envi, vd->ti()->domain()); in create_explicit_domain_constraints()83 cisv = IntSetVal::a(-IntVal::infinity(), IntVal::infinity()); in create_explicit_domain_constraints()85 if (cisv->min() < isv->min()) { in create_explicit_domain_constraints()89 if (cisv->max() > isv->max()) { in create_explicit_domain_constraints()
11251 cisv 辞岁 2
32507 http://www.cisv.ca/whatispeace.htm