solver_type.h File Reference

Enumeration for the types of solvers. More...

Go to the source code of this file.

Namespaces
namespace	mcrl2
	A class that takes a linear process specification and checks all tau-summands of that LPS for confluence.
namespace	mcrl2::data
	Namespace for all data library functionality.
namespace	mcrl2::data::detail

Enumerations
enum	mcrl2::data::detail::smt_solver_type { mcrl2::data::detail::solver_type_cvc , mcrl2::data::detail::solver_type_z3 }
	The enumeration type smt_solver_type enumerates all available SMT solvers. More...

Functions
smt_solver_type	mcrl2::data::detail::parse_solver_type (const std::string &s)
	standard conversion from string to solver type
std::istream &	mcrl2::data::detail::operator>> (std::istream &is, smt_solver_type &s)
	standard conversion from stream to solver type
std::string	mcrl2::data::detail::print_solver_type (const smt_solver_type s)
	standard conversion from solver type to string
std::ostream &	mcrl2::data::detail::operator<< (std::ostream &os, smt_solver_type s)
	standard conversion from solvert type to stream
std::string	mcrl2::data::detail::description (const smt_solver_type s)
	description of solver type

Detailed Description

Enumeration for the types of solvers.

Definition in file solver_type.h.