~tapaal-contributor/tapaal/autodetect-lens-check2

merged in lp:~tapaal-contributor/tapaal/remove-nongame-queries removing nonvalid queries for the game feature

added added

removed removed

218

public void setUseOverApproximation(boolean useOverApproximation){

219

overApproximation = useOverApproximation;

220

}

221

222

public void setUseOverApproximationEnabled(boolean useOverApproximationEnabled){

223

this.enableOverApproximation = useOverApproximationEnabled;

224

}

225

226

public void setUseUnderApproximationEnabled(boolean useUnderApproximationEnabled){

227

this.enableUnderApproximation = useUnderApproximationEnabled;

228

}

229

222

230

public void setUseReduction(boolean useReduction){

223

231

this.useReduction = useReduction;

224

232

}