#include <z3++.h>
Definition at line 2849 of file z3++.h.
◆ cube_generator() [1/2]
Definition at line 2855 of file z3++.h.
2855 :
2856 m_solver(s),
2857 m_cutoff(0xFFFFFFFF),
2858 m_default_vars(s.ctx()),
2859 m_vars(m_default_vars)
2860 {}
◆ cube_generator() [2/2]
Definition at line 2862 of file z3++.h.
2862 :
2863 m_solver(s),
2864 m_cutoff(0xFFFFFFFF),
2865 m_default_vars(s.ctx()),
2866 m_vars(vars)
2867 {}
◆ begin()
Definition at line 2869 of file z3++.h.
2869{ return cube_iterator(m_solver, m_vars, m_cutoff, false); }
◆ end()
Definition at line 2870 of file z3++.h.
2870{ return cube_iterator(m_solver, m_vars, m_cutoff, true); }
◆ set_cutoff()
void set_cutoff |
( |
unsigned |
c | ) |
|
|
inlinenoexcept |