Lines Matching defs:PyIntegerSetConstraint

441 class PyIntegerSetConstraint {
443   PyIntegerSetConstraint(PyIntegerSet set, intptr_t pos)
454     nb::class_<PyIntegerSetConstraint>(m, "IntegerSetConstraint")
455         .def_prop_ro("expr", &PyIntegerSetConstraint::getExpr)
456         .def_prop_ro("is_eq", &PyIntegerSetConstraint::isEq);
465     : public Sliceable<PyIntegerSetConstraintList, PyIntegerSetConstraint> {
478   friend class Sliceable<PyIntegerSetConstraintList, PyIntegerSetConstraint>;
482   PyIntegerSetConstraint getRawElement(intptr_t pos) {
483     return PyIntegerSetConstraint(set, pos);
959   PyIntegerSetConstraint::bind(m);