diff options
Diffstat (limited to 'src/util/abstract_value.cpp')
-rw-r--r-- | src/util/abstract_value.cpp | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/util/abstract_value.cpp b/src/util/abstract_value.cpp index d99353b74..e401661eb 100644 --- a/src/util/abstract_value.cpp +++ b/src/util/abstract_value.cpp @@ -27,4 +27,9 @@ std::ostream& operator<<(std::ostream& out, const AbstractValue& val) { return out << "@" << val.getIndex(); } +AbstractValue::AbstractValue(Integer index) throw(IllegalArgumentException) : + d_index(index) { + CheckArgument(index >= 1, index, "index >= 1 required for abstract value, not `%s'", index.toString().c_str()); +} + }/* CVC4 namespace */ |