CVC3
Public Member Functions | Static Public Member Functions | Protected Member Functions | Protected Attributes | Static Protected Attributes | List of all members
Obj Class Reference

#include <Object.h>

Inherited by LFSCObj.

Collaboration diagram for Obj:
Collaboration graph

Public Member Functions

 Obj ()
 
virtual ~Obj ()
 
int GetRefCount ()
 get ref count
 
void Ref ()
 reference
 
void Unref ()
 unreference
 

Static Public Member Functions

static void print_error (const char *c, std::ostream &s)
 
static void print_warning (const char *c)
 
static void initialize ()
 

Protected Member Functions

void indent (std::ostream &s, int ind=0)
 

Protected Attributes

ostringstream oignore
 
int refCount
 

Static Protected Attributes

static bool errsInit = false
 
static ofstream errs
 
static bool indentFlag = false
 

Detailed Description

Definition at line 63 of file Object.h.

Constructor & Destructor Documentation

Obj::Obj ( )
inline

Definition at line 82 of file Object.h.

virtual Obj::~Obj ( )
inlinevirtual

Definition at line 83 of file Object.h.

Member Function Documentation

void Obj::indent ( std::ostream &  s,
int  ind = 0 
)
inlineprotected

Definition at line 73 of file Object.h.

References std::endl().

Referenced by LFSCProof::print(), and LFSCProof::print_structure().

int Obj::GetRefCount ( )
inline

get ref count

Definition at line 85 of file Object.h.

void Obj::Ref ( )
inline

reference

Definition at line 87 of file Object.h.

void Obj::Unref ( )
inline

unreference

Definition at line 89 of file Object.h.

static void Obj::print_error ( const char *  c,
std::ostream &  s 
)
inlinestatic
static void Obj::print_warning ( const char *  c)
inlinestatic

Definition at line 104 of file Object.h.

References std::endl().

Referenced by LFSCProof::print(), and LFSCProof::print_structure().

static void Obj::initialize ( )
inlinestatic

Definition at line 111 of file Object.h.

Referenced by LFSCPrinter::LFSCPrinter().

Member Data Documentation

ostringstream Obj::oignore
protected

Definition at line 66 of file Object.h.

int Obj::refCount
protected

Definition at line 67 of file Object.h.

bool Obj::errsInit = false
staticprotected

Definition at line 69 of file Object.h.

ofstream Obj::errs
staticprotected

Definition at line 70 of file Object.h.

bool Obj::indentFlag = false
staticprotected

Definition at line 71 of file Object.h.

Referenced by LFSCPrinter::print_LFSC().


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