spot  1.1.3
Modules | Classes | Functions
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...
 
struct  spot::bdd_hash
 Hash 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. More...
 
std::ostream & spot::escape_str (std::ostream &os, const std::string &str)
 Escape characters ", \, and \n in str. More...
 
std::string spot::escape_str (const std::string &str)
 Escape characters ", \, and \n in str. More...
 
void spot::trim (std::string &str)
 Remove spaces at the front and back of str. More...
 
void spot::int_array_array_compress2 (const int *array, size_t n, int *dest, size_t &dest_size)
 Compress an int array of size n into a int array. More...
 
void spot::int_array_array_decompress2 (const int *array, size_t array_size, int *res, size_t size)
 Uncompress an int array of size array_size into a int array of size size. More...
 
void spot::int_vector_vector_compress (const std::vector< int > &input, std::vector< unsigned int > &output)
 Compress an int vector into a vector of unsigned int. More...
 
void spot::int_vector_vector_decompress (const std::vector< unsigned int > &array, std::vector< int > &output, size_t size)
 Uncompress a vector of unsigned int into a vector of size size. More...
 
const std::vector< unsigned int > * spot::int_array_vector_compress (const int *array, size_t n)
 Compress an int array if size n into a vector of unsigned int. More...
 
void spot::int_vector_array_decompress (const std::vector< unsigned int > *array, int *res, size_t size)
 Uncompress a vector of unsigned int into an int array of size size. More...
 
void spot::int_array_array_compress (const int *array, size_t n, int *dest, size_t &dest_size)
 Compress an int array of size n into a int array. More...
 
void spot::int_array_array_decompress (const int *array, size_t array_size, int *res, size_t size)
 Uncompress an int array of size array_size into a int array of size size. More...
 
const char * spot::version ()
 Return Spot's version. More...
 

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 characters ", \, and \n in str.

std::string spot::escape_str ( const std::string &  str)

Escape characters ", \, and \n in str.

void spot::int_array_array_compress ( const int *  array,
size_t  n,
int *  dest,
size_t &  dest_size 
)

Compress an int array of size n into a int array.

The destination array should be at least dest_size large An assert will be triggered if dest_size is too small. On return, dest_size will be set to the actually number of int filled in dest

void spot::int_array_array_compress2 ( const int *  array,
size_t  n,
int *  dest,
size_t &  dest_size 
)

Compress an int array of size n into a int array.

The destination array should be at least dest_size large An assert will be triggered if dest_size is too small. On return, dest_size will be set to the actually number of int filled in dest

void spot::int_array_array_decompress ( const int *  array,
size_t  array_size,
int *  res,
size_t  size 
)

Uncompress an int array of size array_size into a int array of size size.

size must be the exact expected size of uncompressed array.

void spot::int_array_array_decompress2 ( const int *  array,
size_t  array_size,
int *  res,
size_t  size 
)

Uncompress an int array of size array_size into a int array of size size.

size must be the exact expected size of uncompressed array.

const std::vector<unsigned int>* spot::int_array_vector_compress ( const int *  array,
size_t  n 
)

Compress an int array if size n into a vector of unsigned int.

void spot::int_vector_array_decompress ( const std::vector< unsigned int > *  array,
int *  res,
size_t  size 
)

Uncompress a vector of unsigned int into an int array of size size.

size must be the exact expected size of uncompressed array.

void spot::int_vector_vector_compress ( const std::vector< int > &  input,
std::vector< unsigned int > &  output 
)

Compress an int vector into a vector of unsigned int.

void spot::int_vector_vector_decompress ( const std::vector< unsigned int > &  array,
std::vector< int > &  output,
size_t  size 
)

Uncompress a vector of unsigned int into a vector of size size.

size must be the exact expected size of uncompressed array.

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
void spot::trim ( std::string &  str)

Remove spaces at the front and back of str.

const char* spot::version ( )

Return Spot's version.


Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Tue Jul 9 2013 14:04:33 for spot by doxygen 1.8.4