diff options
| author | Tianyi Liang <tianyi-liang@uiowa.edu> | 2014-02-05 09:19:23 -0600 |
|---|---|---|
| committer | Tianyi Liang <tianyi-liang@uiowa.edu> | 2014-02-11 16:41:33 -0600 |
| commit | 8accf31d91312a35eae5b4b84dc9d1f1853b7d87 (patch) | |
| tree | d87581707e5268aeeb864df599a0ea08c6f64090 /src | |
| parent | cc727113d07f0dc373c086ccaaa12f798ffab45d (diff) | |
minor fix for merge
Diffstat (limited to 'src')
| -rw-r--r-- | src/theory/strings/theory_strings.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/strings/theory_strings.cpp b/src/theory/strings/theory_strings.cpp index 00688a95d..43132b324 100644 --- a/src/theory/strings/theory_strings.cpp +++ b/src/theory/strings/theory_strings.cpp @@ -2051,7 +2051,7 @@ bool TheoryStrings::checkCardinality() { Node lr = lts[i]; Trace("strings-card") << "Number of strings with length equal to " << lr << " is " << cols[i].size() << std::endl; // size > c^k - double k = std::log( cols[i].size() ) / log((double) cardinality); + double k = cols[i].size() < cardinality? 0.0 : ( std::log( cols[i].size() ) / log((double) cardinality) ); unsigned int int_k = (unsigned int) k; //double c_k = pow ( (double)cardinality, (double)lr ); if( cols[i].size() > 1 ) { |