void Project::setModified(bool flag, bool files)
{
if (!projectRoot.isEmpty()) {
if (_isModified != flag) {
emit modificationChanged(flag);
_isModified = flag;
if (files) {
_filesModified = _isModified;
}
if (!_isModified) {
currentDataFileIndex(currentDataFileIndex(),true);
haveExtraArgs(haveExtraArgs(),true);
extraArgs(extraArgs(),true);
mzn2fznVerbose(mzn2fznVerbose(),true);
mzn2fznOptimize(mzn2fznOptimize(),true);
currentSolver(currentSolver(),true);
n_solutions(n_solutions(),true);
printAll(printAll(),true);
defaultBehaviour(defaultBehaviour(),true);
printStats(printStats(),true);
haveSolverFlags(haveSolverFlags(),true);
solverFlags(solverFlags(),true);
n_threads(n_threads(),true);
haveSeed(haveSeed(),true);
seed(seed(),true);
timeLimit(timeLimit(),true);
solverVerbose(solverVerbose(),true);
}
}
}
}
void Project::setModified(bool flag, bool files)
{
if (!projectRoot.isEmpty()) {
if (_isModified != flag) {
emit modificationChanged(flag);
_isModified = flag;
if (files) {
_filesModified = _isModified;
}
if (!_isModified) {
currentDataFileIndex(currentDataFileIndex(),true);
currentDataFile2Index(currentDataFile2Index(),true);
haveZincArgs(haveZincArgs(),true);
zincArgs(zincArgs(),true);
n_solutions(n_solutions(),true);
printAll(printAll(),true);
printStats(printStats(),true);
haveSolverFlags(haveSolverFlags(),true);
solverFlags(solverFlags(),true);
solverVerbose(solverVerbose(),true);
}
}
}
}
void Project::checkModified()
{
if (projectRoot.isEmpty() || _filesModified)
return;
if (currentDataFileIndex() != _currentDatafileIndex) {
setModified(true);
return;
}
if (currentDataFile2Index() != _currentDatafile2Index) {
setModified(true);
return;
}
if (haveZincArgs() != _haveZincArgs) {
setModified(true);
return;
}
if (zincArgs() != _zincArgs) {
setModified(true);
return;
}
if (n_solutions() != _n_solutions) {
setModified(true);
return;
}
if (printAll() != _printAll) {
setModified(true);
return;
}
if (printStats() != _printStats) {
setModified(true);
return;
}
if (haveSolverFlags() != _haveSolverFlags) {
setModified(true);
return;
}
if (solverFlags() != _solverFlags) {
setModified(true);
return;
}
if (solverVerbose() != _solverVerbose) {
setModified(true);
return;
}
setModified(false);
}
void Project::checkModified()
{
if (projectRoot.isEmpty() || _filesModified)
return;
if (currentDataFileIndex() != _currentDatafileIndex) {
setModified(true);
return;
}
if (haveExtraArgs() != _haveExtraArgs) {
setModified(true);
return;
}
if (extraArgs() != _extraArgs) {
setModified(true);
return;
}
if (mzn2fznVerbose() != _mzn2fzn_verbose) {
setModified(true);
return;
}
if (mzn2fznOptimize() != _mzn2fzn_optimize) {
setModified(true);
return;
}
if (currentSolver() != _currentSolver) {
setModified(true);
return;
}
if (n_solutions() != _n_solutions) {
setModified(true);
return;
}
if (printAll() != _printAll) {
setModified(true);
return;
}
if (defaultBehaviour() != _defaultBehaviour) {
setModified(true);
return;
}
if (printStats() != _printStats) {
setModified(true);
return;
}
if (haveSolverFlags() != _haveSolverFlags) {
setModified(true);
return;
}
if (solverFlags() != _solverFlags) {
setModified(true);
return;
}
if (n_threads() != _n_threads) {
setModified(true);
return;
}
if (haveSeed() != _haveSeed) {
setModified(true);
return;
}
if (seed() != _seed) {
setModified(true);
return;
}
if (timeLimit() != _timeLimit) {
setModified(true);
return;
}
if (solverVerbose() != _solverVerbose) {
setModified(true);
return;
}
setModified(false);
}
