CVC3  2.4.1
Public Member Functions | Static Public Member Functions | Protected Member Functions | Protected Attributes | Static Protected Attributes
Obj Class Reference

#include <Object.h>

Inheritance diagram for Obj:
LFSCObj LFSCConvert LFSCPrinter LFSCProof TReturn LFSCAssume LFSCBoolRes LFSCClausify LFSCLem LFSCLraAdd LFSCLraAxiom LFSCLraContra LFSCLraMulC LFSCLraPoly LFSCLraSub LFSCPfLambda LFSCPfLet LFSCPfVar LFSCProofExpr LFSCProofGeneric

List of all members.

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

Reimplemented in LFSCProofExpr.

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: