#include <regexp.h>
Definition at line 33 of file regexp.h.
◆ String() [1/5]
◆ String() [2/5]
CVC4::String::String |
( |
const std::string & |
s | ) |
|
|
inline |
◆ String() [3/5]
CVC4::String::String |
( |
const char * |
s | ) |
|
|
inline |
◆ String() [4/5]
CVC4::String::String |
( |
const char |
c | ) |
|
|
inline |
◆ String() [5/5]
CVC4::String::String |
( |
const std::vector< unsigned int > & |
s | ) |
|
|
inline |
◆ ~String()
CVC4::String::~String |
( |
| ) |
|
|
inline |
◆ concat()
◆ convertCharToUnsignedInt()
static unsigned int CVC4::String::convertCharToUnsignedInt |
( |
char |
c | ) |
|
|
inlinestatic |
◆ convertUnsignedIntToChar()
static char CVC4::String::convertUnsignedIntToChar |
( |
unsigned int |
i | ) |
|
|
inlinestatic |
◆ find()
std::size_t CVC4::String::find |
( |
const String & |
y, |
|
|
const int |
start = 0 |
|
) |
| const |
|
inline |
◆ getCharSet()
void CVC4::String::getCharSet |
( |
std::set< unsigned int > & |
cset | ) |
const |
◆ getFirstChar()
char CVC4::String::getFirstChar |
( |
| ) |
const |
|
inline |
◆ isEmptyString()
bool CVC4::String::isEmptyString |
( |
| ) |
const |
|
inline |
◆ isNumber()
bool CVC4::String::isNumber |
( |
| ) |
const |
|
inline |
◆ isPrintable()
static bool CVC4::String::isPrintable |
( |
unsigned int |
i | ) |
|
|
inlinestatic |
◆ isRepeated()
bool CVC4::String::isRepeated |
( |
| ) |
const |
|
inline |
◆ operator!=()
bool CVC4::String::operator!= |
( |
const String & |
y | ) |
const |
|
inline |
◆ operator<()
bool CVC4::String::operator< |
( |
const String & |
y | ) |
const |
|
inline |
◆ operator<=()
bool CVC4::String::operator<= |
( |
const String & |
y | ) |
const |
|
inline |
◆ operator=()
◆ operator==()
bool CVC4::String::operator== |
( |
const String & |
y | ) |
const |
|
inline |
◆ operator>()
bool CVC4::String::operator> |
( |
const String & |
y | ) |
const |
|
inline |
◆ operator>=()
bool CVC4::String::operator>= |
( |
const String & |
y | ) |
const |
|
inline |
◆ operator[]()
unsigned int CVC4::String::operator[] |
( |
const unsigned int |
i | ) |
const |
|
inline |
◆ overlap()
std::size_t CVC4::String::overlap |
( |
String & |
y | ) |
const |
◆ prefix()
String CVC4::String::prefix |
( |
unsigned |
i | ) |
const |
|
inline |
◆ replace()
◆ rstrncmp()
bool CVC4::String::rstrncmp |
( |
const String & |
y, |
|
|
unsigned int |
n |
|
) |
| const |
|
inline |
◆ size()
unsigned CVC4::String::size |
( |
| ) |
const |
|
inline |
◆ strncmp()
bool CVC4::String::strncmp |
( |
const String & |
y, |
|
|
unsigned int |
n |
|
) |
| const |
|
inline |
◆ substr() [1/2]
String CVC4::String::substr |
( |
unsigned |
i | ) |
const |
|
inline |
◆ substr() [2/2]
String CVC4::String::substr |
( |
unsigned |
i, |
|
|
unsigned |
j |
|
) |
| const |
|
inline |
◆ suffix()
String CVC4::String::suffix |
( |
unsigned |
i | ) |
const |
|
inline |
◆ tailcmp()
bool CVC4::String::tailcmp |
( |
const String & |
y, |
|
|
int & |
c |
|
) |
| const |
|
inline |
◆ toNumber()
int CVC4::String::toNumber |
( |
| ) |
const |
|
inline |
◆ toString()
std::string CVC4::String::toString |
( |
| ) |
const |
The documentation for this class was generated from the following file: