CVC3
|
#include <Object.h>
Inherited by LFSCObj.
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 |
|
inlineprotected |
Definition at line 73 of file Object.h.
References std::endl().
Referenced by LFSCProof::print(), and LFSCProof::print_structure().
|
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().
|
inlinestatic |
Definition at line 104 of file Object.h.
References std::endl().
Referenced by LFSCProof::print(), and LFSCProof::print_structure().
|
inlinestatic |
Definition at line 111 of file Object.h.
Referenced by LFSCPrinter::LFSCPrinter().
|
staticprotected |
Definition at line 71 of file Object.h.
Referenced by LFSCPrinter::print_LFSC().