diff options
author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2011-09-15 06:53:33 +0000 |
---|---|---|
committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2011-09-15 06:53:33 +0000 |
commit | 72f552ead344b13d90832222157b970ae3dec8ff (patch) | |
tree | b02854356d5c5f98b3873f858f38b6762135bdc1 /src/theory/mktheorytraits | |
parent | 62a50760346e130345b24e8a14ad0dac0dca5d38 (diff) |
additional stuff for sharing,
Diffstat (limited to 'src/theory/mktheorytraits')
-rwxr-xr-x | src/theory/mktheorytraits | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/theory/mktheorytraits b/src/theory/mktheorytraits index 852b29711..8e503f53e 100755 --- a/src/theory/mktheorytraits +++ b/src/theory/mktheorytraits @@ -49,6 +49,7 @@ theory_has_presolve="false" theory_stable_infinite="false" theory_finite="false" theory_polite="false" +theory_parametric="false" rewriter_class= rewriter_header= @@ -125,6 +126,7 @@ struct TheoryTraits<${theory_id}> { static const bool isStableInfinite = ${theory_stable_infinite}; static const bool isFinite = ${theory_finite}; static const bool isPolite = ${theory_polite}; + static const bool isParametric = ${theory_parametric}; static const bool hasCheck = ${theory_has_check}; static const bool hasPropagate = ${theory_has_propagate}; @@ -159,6 +161,7 @@ struct TheoryTraits<${theory_id}> { theory_stable_infinite="false" theory_finite="false" theory_polite="false" + theory_parametric="false" rewriter_class= rewriter_header= @@ -191,6 +194,7 @@ function properties { case "$property" in finite) theory_finite="true";; stable-infinite) theory_stable_infinite="true";; + parametric) theory_parametric="true";; polite) theory_polite="true";; check) theory_has_check="true";; propagate) theory_has_propagate="true";; |