search

kperun / SATPrakPDW

Interval Constraint Propagation strategy implementation for SMTRAT
MIT License
2 stars 0 forks source link

Improve Settings #24

Closed Verdict7 closed 7 years ago

Verdict7 commented 7 years ago

Rename thresholds (maybe other values too): TargetDiameter GainThreshold

Also use template for settings.

Verdict7 commented 7 years ago

Used Settings template for ICPState and ICPTree. @kperun and @DavidWz if you know any other places that use the settings please go ahead and change them accordingly. Otherwise I will close this issue.

DavidWz commented 7 years ago

I added a ICPUtil class which used the settings, so I templated it too. I think there's nothing else that uses the settings, so go ahead and close it.