mirror of
https://github.com/Z3Prover/z3
synced 2025-05-09 00:35:47 +00:00
local updates to opt_solver
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
637b63cbe1
commit
6baa469073
1 changed files with 3 additions and 0 deletions
|
@ -77,6 +77,9 @@ namespace opt {
|
|||
else if (typeid(smt::theory_i_arith) == typeid(*arith_theory)) {
|
||||
return dynamic_cast<smt::theory_i_arith&>(*arith_theory);
|
||||
}
|
||||
else if (typeid(smt::theory_inf_arith) == typeid(*arith_theory)) {
|
||||
return dynamic_cast<smt::theory_inf_arith&>(*arith_theory);
|
||||
}
|
||||
else if (typeid(smt::theory_rdl&) == typeid(*arith_theory)) {
|
||||
return dynamic_cast<smt::theory_rdl&>(*arith_theory);
|
||||
}
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue