Function p_table_bool_reif

gecode/flatzinc/registry.cpp:1303–1310

    }

    void
    p_table_bool_reif(FlatZincSpace& s, const ConExpr& ce, AST::Node* ann) {
      BoolVarArgs x = s.arg2boolvarargs(ce[0]);
      IntArgs tuples = s.arg2boolargs(ce[1]);
      TupleSet ts = s.arg2tupleset(tuples,x.size());
      unshare(s,x);
      extensional(s,x,ts,Reify(s.arg2BoolVar(ce[2]),RM_EQV),s.ann2ipl(ann));
    }

    void
    p_table_bool_imp(FlatZincSpace& s, const ConExpr& ce, AST::Node* ann) {