Classes | Modules | Functions

Miscellaneous helper algorithms

Whether a word is bare. More...

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*.This is meant to be used as a comparison functor for STL map whose key are of type const char*. More...
class  spot::minato_isop
 Generate an irredundant sum-of-products (ISOP) form of a BDD function.This algorithm implements a derecursived version the Minato-Morreale algorithm presented in the following paper. More...
class  spot::loopless_modular_mixed_radix_gray_code
 Loopless modular mixed radix Gray code iteration.This class is based on the loopless modular mixed radix gray code algorithm described in exercise 77 of "The Art of Computer Programming", Pre-Fascicle 2A (Draft of section 7.2.1.1: generating all n-tuples) by Donald E. Knuth. More...
class  spot::option_map
 Manage a map of options.Each option is defined by a string and is associated to an integer value. 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...

Modules

 Hashing functions
 Random functions

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.

Detailed Description

Whether a word is bare.

Bare words should start with a letter or an underscore, and consist solely of alphanumeric characters and underscores.


Function Documentation

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.

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.

See also:
is_bare_word
const char* spot::version (  ) 

Return Spot's version.


Please comment this page and report errors about it on the RefDocComments page.
Generated on Tue Feb 1 2011 12:00:53 for spot by doxygen 1.7.1