Main Page | Modules | Namespace List | Class Hierarchy | Class List | Directories | File List | Namespace Members | Class Members | File Members

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...
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...
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 escape_str const std::string &  str  ) 
 

Escape " and \ characters in str.

std::ostream& escape_str std::ostream &  os,
const std::string &  str
 

Escape " and \ characters in str.

bool is_bare_word const char *  str  ) 
 

std::string quote_unless_bare_word const std::string &  str  ) 
 

Double-quote words that are not bare.

See also:
is_bare_word

const char* version  ) 
 

Return Spot's version.


Please comment this page and report errors about it on the RefDocComments page.
Generated on Mon Jan 31 12:55:19 2005 for spot by doxygen 1.4.0