Coordinator(int _controlNumber, const char *_filename, bool _flushfile, double _paramMin, double _paramMax, bool _intervals, double _deltaMin, double _deltaMax, double _resolution, double _lambdaMin, double _lambdaMax, const char *_mapName, const char *_partName, int _partCountMin, int _partCountMax, int _startLevel, int _finalLevel, int _computeDelta, int _computeDelta0, int _computeLambda, int _computeC, int _computeLambda0, int _rigorous, int _sparseGraph) | unifexp::Coordinator | [inline] |