mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-22 16:45:31 +00:00
Code Activity

fixed_slice display

Browse source
This commit is contained in:
Jakob Rath 2024-03-25 14:34:06 +01:00
parent 8a23523f20
commit e22c86acb6
1 changed files with 9 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

10
src/sat/smt/polysat/types.h
View file

@ -126,7 +126,15 @@ namespace polysat {
}
}
inline std::ostream& operator<<(std::ostream& out, fixed_slice const& f) {
out << "fixed_slice";
if (f.child != null_var)
out << " child v" << f.child;
out << " offset " << f.offset;
out << " length " << f.length;
out << " value " << f.value;
return out;
}
inline std::ostream& operator<<(std::ostream& out, offset_slice const& js) {
if (js.offset == 0)