cprover
patternt Class Reference

Public Member Functions

 patternt (const char *_p)
 
bool operator== (const irep_idt &what) const
 

Protected Attributes

const char * p
 

Detailed Description

Definition at line 41 of file java_bytecode_convert_method.cpp.

Constructor & Destructor Documentation

§ patternt()

patternt::patternt ( const char *  _p)
inlineexplicit

Member Function Documentation

§ operator==()

bool patternt::operator== ( const irep_idt what) const
inline

Definition at line 49 of file java_bytecode_convert_method.cpp.

References p, and dstringt::size().

Member Data Documentation

§ p


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