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

Static Public Member Functions

Protected Member Functions

Protected Attributes

Static Protected Attributes


Constructor & Destructor Documentation

Obj::Obj ( ) [inline]

Definition at line 82 of file Object.h.

virtual Obj::~Obj ( ) [inline, virtual]

Definition at line 83 of file Object.h.


Member Function Documentation

void Obj::indent ( std::ostream s,
int  ind = 0 
) [inline, protected]

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 
) [inline, static]
static void Obj::print_warning ( const char *  c) [inline, static]

Definition at line 104 of file Object.h.

References std::endl().

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

static void Obj::initialize ( ) [inline, static]

Reimplemented in LFSCProofExpr.

Definition at line 111 of file Object.h.

Referenced by LFSCPrinter::LFSCPrinter().


Member Data Documentation

Definition at line 66 of file Object.h.

int Obj::refCount [protected]

Definition at line 67 of file Object.h.

bool Obj::errsInit = false [static, protected]

Definition at line 69 of file Object.h.

ofstream Obj::errs [static, protected]

Definition at line 70 of file Object.h.

bool Obj::indentFlag = false [static, protected]

Definition at line 71 of file Object.h.

Referenced by LFSCPrinter::print_LFSC().


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