#include <regexp.h>
Definition at line 302 of file regexp.h.
◆ RegExp() [1/2]
◆ RegExp() [2/2]
CVC4::RegExp::RegExp |
( |
const int |
t | ) |
|
|
inline |
◆ ~RegExp()
CVC4::RegExp::~RegExp |
( |
| ) |
|
|
inline |
◆ getType()
int CVC4::RegExp::getType |
( |
| ) |
const |
|
inline |
◆ operator!=()
bool CVC4::RegExp::operator!= |
( |
const RegExp & |
y | ) |
const |
|
inline |
◆ operator<()
bool CVC4::RegExp::operator< |
( |
const RegExp & |
y | ) |
const |
|
inline |
◆ operator<=()
bool CVC4::RegExp::operator<= |
( |
const RegExp & |
y | ) |
const |
|
inline |
◆ operator==()
bool CVC4::RegExp::operator== |
( |
const RegExp & |
y | ) |
const |
|
inline |
◆ operator>()
bool CVC4::RegExp::operator> |
( |
const RegExp & |
y | ) |
const |
|
inline |
◆ operator>=()
bool CVC4::RegExp::operator>= |
( |
const RegExp & |
y | ) |
const |
|
inline |
◆ d_type
The documentation for this class was generated from the following file: