spot
0.9.1
|
#include <tgba/tgbaexplicit.hh>
Public Member Functions | |
explicit_conf (bdd_dict *d) | |
void | enable_utf8 () |
Static Public Member Functions | |
static std::string | to_string (const ltl::formula *const &l) |
static std::string | to_utf8_string (const ltl::formula *const &l) |
spot::explicit_conf< graph, state_explicit_formula >::explicit_conf | ( | bdd_dict * | d | ) | [inline] |
References spot::explicit_conf< graph, Type >::to_string().
void spot::explicit_conf< graph, state_explicit_formula >::enable_utf8 | ( | ) | [inline] |
References spot::ltl::to_utf8_string().
static std::string spot::explicit_conf< graph, state_explicit_formula >::to_string | ( | const ltl::formula *const & | l | ) | [inline, static] |
References spot::explicit_conf< graph, Type >::to_string().
static std::string spot::explicit_conf< graph, state_explicit_formula >::to_utf8_string | ( | const ltl::formula *const & | l | ) | [inline, static] |
References spot::ltl::to_utf8_string().