Function p_table_bool

gecode/flatzinc/registry.cpp:1294–1301

    }

    void
    p_table_bool(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,s.ann2ipl(ann));
    }

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