Obj Class Reference

#include <Object.h>

Inherited by LFSCObj.

Collaboration diagram for Obj:

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

Definition at line 95 of file Object.h.

References std::endl().

Referenced by LFSCBoolRes::checkBoolRes(), LFSCConvert::cvc3_to_lfsc(), LFSCObj::define_skolem_vars(), LFSCConvert::do_bso(), get_knd_result(), LFSCObj::getY(), kind_to_str(), LFSCBoolRes::Make(), LFSCLraPoly::Make(), LFSCProof::Make_and_elim(), LFSCProof::Make_CNF(), TReturn::normalize_to_tf(), TReturn::normalize_tr(), TReturn::normalize_tret(), LFSCPrinter::print_poly_norm(), LFSCPrinter::print_terms_h(), LFSCObj::queryM(), LFSCObj::queryMt(), and LFSCObj::what_is_proven().

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:

• Object.h
• Util.cpp