Method profiler_info

gecode/flatzinc.hh:380–380

    int profiler_id(void) const { return _profiler.execution_id(); }
    unsigned int profiler_port(void) const { return _profiler.port(); }
    bool profiler_info(void) const { return true; }

#endif