search

kperun / SATPrakPDW

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

Implement ICPState::getBestSplitVariable() #21

Closed DavidWz closed 7 years ago

DavidWz commented 7 years ago

If all gains are too small, we need to manually split an interval in ICPTree::contract (if an empty optional was returned by getBestContractionCandidate).

To this end, we need to choose a variable we want to split on. Create a new method carl::Variable ICPState::getBestSplitVariable() which picks the best variable, i.e. the biggest interval.

kperun commented 7 years ago

@Verdict7 , @DavidWz : done. This method now returns the variable with the biggest interval. Please review the code and close the issue.