RetroSearch Browse

Showing content from https://z3prover.github.io/api/html/classz3_1_1solver_1_1cube__generator.html below:

Definition at line 2969 of file z3++.h.

◆ cube_generator() [1/2]

Definition at line 2975 of file z3++.h.

2977

m_cutoff(0xFFFFFFFF),

2978

m_default_vars(s.ctx()),

2979

m_vars(m_default_vars)

◆ cube_generator() [2/2]

Definition at line 2982 of file z3++.h.

2984

m_cutoff(0xFFFFFFFF),

2985

m_default_vars(s.ctx()),

◆ begin()

Definition at line 2989 of file z3++.h.

2989

{

return

cube_iterator(m_solver, m_vars, m_cutoff,

false

); }

◆ end()

Definition at line 2990 of file z3++.h.

2990

{

return

cube_iterator(m_solver, m_vars, m_cutoff,

true

); }

◆ set_cutoff() void set_cutoff ( unsigned c ) inlinenoexcept

RetroSearch is an open source project built by @garambo | Open a GitHub Issue

Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo

HTML: 3.2 | Encoding: UTF-8 | Version: 0.7.4