mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 18:31:49 +00:00
frame, again
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
5f9891c235
commit
019edcb822
|
@ -225,6 +225,16 @@ struct nnf::imp {
|
|||
m_cache_result(other.m_cache_result),
|
||||
m_spos(other.m_spos) {
|
||||
}
|
||||
frame(frame && other):
|
||||
m_curr(other.m_curr),
|
||||
m_i(other.m_i),
|
||||
m_pol(other.m_pol),
|
||||
m_in_q(other.m_in_q),
|
||||
m_new_child(other.m_new_child),
|
||||
m_cache_result(other.m_cache_result),
|
||||
m_spos(other.m_spos) {
|
||||
}
|
||||
|
||||
};
|
||||
|
||||
// There are four caches:
|
||||
|
|
Loading…
Reference in a new issue