Modules | |
| Hashing functions | |
| Random functions | |
Classes | |
| class | spot::bdd_allocator |
| Manage ranges of variables. More... | |
| struct | spot::bdd_less_than |
| Comparison functor for BDDs. More... | |
| class | spot::free_list |
| Manage list of free integers. More... | |
| struct | spot::char_ptr_less_than |
Strict Weak Ordering for char*. More... | |
| class | spot::minato_isop |
| Generate an irredundant sum-of-products (ISOP) form of a BDD function. More... | |
| class | spot::loopless_modular_mixed_radix_gray_code |
| Loopless modular mixed radix Gray code iteration. More... | |
| class | spot::option_map |
| Manage a map of options. More... | |
| struct | spot::time_info |
| A structure to record elapsed time in clock ticks. More... | |
| class | spot::timer |
| A timekeeper that accumulate interval of time. More... | |
| class | spot::timer_map |
| A map of timer, where each timer has a name. More... | |
Functions | |
| bool | spot::is_bare_word (const char *str) |
| std::string | spot::quote_unless_bare_word (const std::string &str) |
| Double-quote words that are not bare. | |
| std::ostream & | spot::escape_str (std::ostream &os, const std::string &str) |
| Escape " and \ characters in str. | |
| std::string | spot::escape_str (const std::string &str) |
| Escape " and \ characters in str. | |
| const char * | spot::version () |
| Return Spot's version. | |
Bare words should start with a letter or an underscore, and consist solely of alphanumeric characters and underscores.
| std::string spot::escape_str | ( | const std::string & | str | ) |
Escape " and \ characters in str.
| std::ostream& spot::escape_str | ( | std::ostream & | os, | |
| const std::string & | str | |||
| ) |
Escape " and \ characters in str.
| bool spot::is_bare_word | ( | const char * | str | ) |
| std::string spot::quote_unless_bare_word | ( | const std::string & | str | ) |
| const char* spot::version | ( | ) |
Return Spot's version.
1.5.2