diff options
| author | Haniel Barbosa <hanielbbarbosa@gmail.com> | 2018-10-01 16:37:31 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-10-01 16:37:31 -0500 |
| commit | 6b718154dfbf5e9f8506d6911201bb7398ba8b48 (patch) | |
| tree | 1da68d50dc767916ae3ba8fb924627e4afb56a73 /src/theory/quantifiers/sygus | |
| parent | d41c0aa8c7ec8d14ce07f5817da38895598e55da (diff) | |
init scalar class members (coverity issues 1473720 and 1473721) (#2554)
Diffstat (limited to 'src/theory/quantifiers/sygus')
| -rw-r--r-- | src/theory/quantifiers/sygus/enum_stream_substitution.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/theory/quantifiers/sygus/enum_stream_substitution.cpp b/src/theory/quantifiers/sygus/enum_stream_substitution.cpp index 3a879640f..b307876ed 100644 --- a/src/theory/quantifiers/sygus/enum_stream_substitution.cpp +++ b/src/theory/quantifiers/sygus/enum_stream_substitution.cpp @@ -29,7 +29,7 @@ namespace theory { namespace quantifiers { EnumStreamPermutation::EnumStreamPermutation(quantifiers::TermDbSygus* tds) - : d_tds(tds) + : d_tds(tds), d_first(true), d_curr_ind(0) { } @@ -323,7 +323,7 @@ bool EnumStreamPermutation::PermutationState::getNextPermutation() } EnumStreamSubstitution::EnumStreamSubstitution(quantifiers::TermDbSygus* tds) - : d_tds(tds), d_stream_permutations(tds) + : d_tds(tds), d_stream_permutations(tds), d_curr_ind(0) { } |