cvc4-1.3
CVC4::RegExp Class Reference

#include <regexp.h>

Public Member Functions

 RegExp ()
 
 RegExp (const std::string s)
 
 ~RegExp ()
 
RegExpoperator= (const RegExp &y)
 
bool operator== (const RegExp &y) const
 
bool operator!= (const RegExp &y) const
 
String concat (const RegExp &other) const
 
bool operator< (const RegExp &y) const
 
bool operator> (const RegExp &y) const
 
bool operator<= (const RegExp &y) const
 
bool operator>= (const RegExp &y) const
 
size_t hash () const
 
std::string toString () const
 

Detailed Description

Definition at line 235 of file regexp.h.

Constructor & Destructor Documentation

CVC4::RegExp::RegExp ( )
inline

Definition at line 241 of file regexp.h.

CVC4::RegExp::RegExp ( const std::string  s)
inline

Definition at line 243 of file regexp.h.

CVC4::RegExp::~RegExp ( )
inline

Definition at line 246 of file regexp.h.

Member Function Documentation

String CVC4::RegExp::concat ( const RegExp other) const
inline

Definition at line 261 of file regexp.h.

size_t CVC4::RegExp::hash ( ) const
inline

Definition at line 285 of file regexp.h.

Referenced by CVC4::RegExpHashFunction::operator()().

bool CVC4::RegExp::operator!= ( const RegExp y) const
inline

Definition at line 257 of file regexp.h.

bool CVC4::RegExp::operator< ( const RegExp y) const
inline

Definition at line 265 of file regexp.h.

bool CVC4::RegExp::operator<= ( const RegExp y) const
inline

Definition at line 273 of file regexp.h.

RegExp& CVC4::RegExp::operator= ( const RegExp y)
inline

Definition at line 248 of file regexp.h.

bool CVC4::RegExp::operator== ( const RegExp y) const
inline

Definition at line 253 of file regexp.h.

bool CVC4::RegExp::operator> ( const RegExp y) const
inline

Definition at line 269 of file regexp.h.

bool CVC4::RegExp::operator>= ( const RegExp y) const
inline

Definition at line 277 of file regexp.h.

std::string CVC4::RegExp::toString ( ) const
inline

Definition at line 295 of file regexp.h.

Referenced by CVC4::operator<<().


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