| 381 | } |
| 382 | |
| 383 | void SmtCore::resetSplitConditions() |
| 384 | { |
| 385 | _constraintToViolationCount.clear(); |
| 386 | _numRejectedPhasePatternProposal = 0; |
| 387 | _needToSplit = false; |
| 388 | } |
| 389 | |
| 390 | void SmtCore::recordImpliedValidSplit( PiecewiseLinearCaseSplit &validSplit ) |
| 391 | { |