cprover
|
#include <solver_factory.h>
Classes | |
class | solvert |
Public Member Functions | |
solver_factoryt (const optionst &_options, const symbol_tablet &_symbol_table, message_handlert &_message_handler, bool _output_xml_in_refinement) | |
virtual std::unique_ptr< solvert > | get_solver () |
virtual | ~solver_factoryt () |
Protected Member Functions | |
std::unique_ptr< solvert > | get_default () |
std::unique_ptr< solvert > | get_dimacs () |
std::unique_ptr< solvert > | get_bv_refinement () |
std::unique_ptr< solvert > | get_string_refinement () |
the string refinement adds to the bit vector refinement specifications for functions from the Java string library More... | |
std::unique_ptr< solvert > | get_smt2 (smt2_dect::solvert solver) |
smt2_dect::solvert | get_smt2_solver_type () const |
Uses the options to pick an SMT 2.0 solver. More... | |
void | no_beautification () |
void | no_incremental_check () |
Protected Attributes | |
const optionst & | options |
const symbol_tablet & | symbol_table |
namespacet | ns |
message_handlert & | message_handler |
const bool | output_xml_in_refinement |
Definition at line 28 of file solver_factory.h.
|
inline |
Definition at line 31 of file solver_factory.h.
|
inlinevirtual |
Definition at line 115 of file solver_factory.h.
|
protected |
Definition at line 104 of file solver_factory.cpp.
|
protected |
Definition at line 60 of file solver_factory.cpp.
|
protected |
Definition at line 90 of file solver_factory.cpp.
|
protected |
Definition at line 159 of file solver_factory.cpp.
|
protected |
Uses the options to pick an SMT 2.0 solver.
Definition at line 33 of file solver_factory.cpp.
|
inlinevirtual |
Definition at line 102 of file solver_factory.h.
|
protected |
the string refinement adds to the bit vector refinement specifications for functions from the Java string library
Definition at line 139 of file solver_factory.cpp.
|
protected |
Definition at line 235 of file solver_factory.cpp.
|
protected |
Definition at line 244 of file solver_factory.cpp.
|
protected |
Definition at line 123 of file solver_factory.h.
|
protected |
Definition at line 122 of file solver_factory.h.
|
protected |
Definition at line 120 of file solver_factory.h.
|
protected |
Definition at line 124 of file solver_factory.h.
|
protected |
Definition at line 121 of file solver_factory.h.