Miscellaneous helper algorithms

Whether a word is bare. More...

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.

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::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  ) 

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 Jul 17 15:14:07 2007 for spot by doxygen 1.5.2