CVC4::String Class Reference

`#include <regexp.h>`

## Public Member Functions

| String ()
| String (const std::string &s)
| String (const char *s)
| String (const char c)
| String (const std::vector< unsigned int > &s)
| ~String ()
String & | operator= (const String &y)
bool | operator== (const String &y) const
bool | operator!= (const String &y) const
String | concat (const String &other) const
bool | operator< (const String &y) const
bool | operator> (const String &y) const
bool | operator<= (const String &y) const
bool | operator>= (const String &y) const
bool | strncmp (const String &y, unsigned int n) const
bool | rstrncmp (const String &y, unsigned int n) const
bool | isEmptyString () const
unsigned int | operator[] (const unsigned int i) const
std::string | toString () const
unsigned | size () const
char | getFirstChar () const
bool | isRepeated () const
bool | tailcmp (const String &y, int &c) const
std::size_t | find (const String &y, const int start=0) const
String | replace (const String &s, const String &t) const
String | substr (unsigned i) const
String | substr (unsigned i, unsigned j) const
String | prefix (unsigned i) const
String | suffix (unsigned i) const
std::size_t | overlap (String &y) const
bool | isNumber () const
int | toNumber () const
void | getCharSet (std::set< unsigned int > &cset) const

## Static Public Member Functions

static unsigned int | convertCharToUnsignedInt (char c)
static char | convertUnsignedIntToChar (unsigned int i)
static bool | isPrintable (unsigned int i)

## Detailed Description

Definition at line 33 of file regexp.h.

## Constructor & Destructor Documentation

## String() [1/5]

CVC4::String::String | ( |  | ) |

inline

Definition at line 76 of file regexp.h.

## String() [2/5]

CVC4::String::String | ( | const std::string & | s | ) |

inline

Definition at line 78 of file regexp.h.

## String() [3/5]

CVC4::String::String | ( | const char * | s | ) |

inline

Definition at line 82 of file regexp.h.

## String() [4/5]

CVC4::String::String | ( | const char | c | ) |

inline

Definition at line 87 of file regexp.h.

## String() [5/5]

CVC4::String::String | ( | const std::vector< unsigned int > & | s | ) |

inline

Definition at line 91 of file regexp.h.

## ~String()

CVC4::String::~String | ( |  | ) |

inline

Definition at line 93 of file regexp.h.

## Member Function Documentation

## concat()

String CVC4::String::concat | ( | const String & | other | ) | const

inline

Definition at line 108 of file regexp.h.

## convertCharToUnsignedInt()

static unsigned int CVC4::String::convertCharToUnsignedInt | ( | char | c | ) |

inlinestatic

Definition at line 35 of file regexp.h.

## convertUnsignedIntToChar()

static char CVC4::String::convertUnsignedIntToChar | ( | unsigned int | i | ) |

inlinestatic

Definition at line 40 of file regexp.h.

## find()

std::size_t CVC4::String::find | ( | const String & | y,
|  | const int | start = 0 ) const

inline

Definition at line 211 of file regexp.h.

## getCharSet()

void CVC4::String::getCharSet | ( | std::set< unsigned int > & | cset | ) | const

## getFirstChar()

char CVC4::String::getFirstChar | ( |  | ) | const

inline

Definition at line 183 of file regexp.h.

## isEmptyString()

bool CVC4::String::isEmptyString | ( |  | ) | const

inline

Definition at line 166 of file regexp.h.

## isNumber()

bool CVC4::String::isNumber | ( |  | ) | const

inline

Definition at line 265 of file regexp.h.

## isPrintable()

static bool CVC4::String::isPrintable | ( | unsigned int | i | ) |

inlinestatic

Definition at line 44 of file regexp.h.

## isRepeated()

bool CVC4::String::isRepeated | ( |  | ) | const

inline

Definition at line 187 of file regexp.h.

## operator!=()

bool CVC4::String::operator!= | ( | const String & | y | ) | const

inline

Definition at line 104 of file regexp.h.

## operator<()

bool CVC4::String::operator< | ( | const String & | y | ) | const

inline

Definition at line 114 of file regexp.h.

## operator<=()

bool CVC4::String::operator<= | ( | const String & | y | ) | const

inline

Definition at line 134 of file regexp.h.

## operator=()

String & CVC4::String::operator= | ( | const String & | y | ) |

inline

Definition at line 95 of file regexp.h.

## operator==()

bool CVC4::String::operator== | ( | const String & | y | ) | const

inline

Definition at line 100 of file regexp.h.

## operator>()

bool CVC4::String::operator> | ( | const String & | y | ) | const

inline

Definition at line 124 of file regexp.h.

## operator>=()

bool CVC4::String::operator>= | ( | const String & | y | ) | const

inline

Definition at line 144 of file regexp.h.

## operator[]()

unsigned int CVC4::String::operator[] | ( | const unsigned int | i | ) | const

inline

Definition at line 170 of file regexp.h.

## overlap()

std::size_t CVC4::String::overlap | ( | String & | y | ) | const

## prefix()

String CVC4::String::prefix | ( | unsigned | i | ) | const

inline

Definition at line 257 of file regexp.h.

## replace()

String CVC4::String::replace | ( | const String & | s,
|  | const String & | t ) const

inline

Definition at line 231 of file regexp.h.

## rstrncmp()

bool CVC4::String::rstrncmp | ( | const String & | y,
|  | unsigned int | n ) const

inline

Definition at line 160 of file regexp.h.

## size()

unsigned CVC4::String::size | ( |  | ) | const

inline

Definition at line 179 of file regexp.h.

## strncmp()

bool CVC4::String::strncmp | ( | const String & | y,
|  | unsigned int | n ) const

inline

Definition at line 154 of file regexp.h.

## substr() [1/2]

String CVC4::String::substr | ( | unsigned | i | ) | const

inline

Definition at line 244 of file regexp.h.

## substr() [2/2]

String CVC4::String::substr | ( | unsigned | i,
|  | unsigned | j ) const

inline

Definition at line 250 of file regexp.h.

## suffix()

String CVC4::String::suffix | ( | unsigned | i | ) | const

inline

Definition at line 260 of file regexp.h.

## tailcmp()

bool CVC4::String::tailcmp | ( | const String & | y,
|  | int & | c ) const

inline

Definition at line 197 of file regexp.h.

## toNumber()

int CVC4::String::toNumber | ( |  | ) | const

inline

Definition at line 275 of file regexp.h.

## toString()

std::string CVC4::String::toString | ( |  | ) | const

The documentation for this class was generated from the following file:

- src/util/regexp.h