Obj Class Reference

#include <Object.h>

Inherited by LFSCObj.

Collaboration diagram for Obj:

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

(

)

[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]

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(), LFSCLraPoly::Make(), LFSCBoolRes::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

)

[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

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 [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:

• Object.h
• Util.cpp