CVC3  2.4.1
Public Member Functions | Static Public Member Functions | Private Member Functions | Private Attributes | Static Private Attributes
LFSCPfVar Class Reference

#include <LFSCUtilProof.h>

Inheritance diagram for LFSCPfVar:
LFSCProof LFSCObj Obj

List of all members.

Public Member Functions

Static Public Member Functions

Private Member Functions

Private Attributes

Static Private Attributes


Constructor & Destructor Documentation

LFSCPfVar::LFSCPfVar ( string  nm) [inline, private]

Definition at line 27 of file LFSCUtilProof.h.

Referenced by Make(), and clone().

virtual LFSCPfVar::~LFSCPfVar ( ) [inline, private, virtual]

Definition at line 28 of file LFSCUtilProof.h.


Member Function Documentation

long int LFSCPfVar::get_length ( ) [inline, private, virtual]

Reimplemented from LFSCProof.

Definition at line 29 of file LFSCUtilProof.h.

References name.

virtual LFSCPfVar* LFSCPfVar::AsLFSCPfVar ( ) [inline, virtual]

Reimplemented from LFSCProof.

Definition at line 31 of file LFSCUtilProof.h.

void LFSCPfVar::print_pf ( std::ostream s,
int  ind = 0 
) [inline, virtual]

Implements LFSCProof.

Definition at line 32 of file LFSCUtilProof.h.

References name.

void LFSCPfVar::print_struct ( std::ostream s,
int  ind = 0 
) [inline, virtual]

Reimplemented from LFSCProof.

Definition at line 33 of file LFSCUtilProof.h.

References name.

LFSCProof * LFSCPfVar::Make ( const char *  c,
int  v 
) [static]
LFSCProof * LFSCPfVar::MakeV ( int  v) [static]

Definition at line 40 of file LFSCUtilProof.cpp.

References vMap, RefPtr::get(), and Make().

Referenced by LFSCConvert::cvc3_to_lfsc(), and LFSCPfLet::LFSCPfLet().

LFSCProof* LFSCPfVar::clone ( ) [inline, virtual]

Implements LFSCProof.

Definition at line 36 of file LFSCUtilProof.h.

References LFSCPfVar(), and name.


Member Data Documentation

std::map< int, RefPtr< LFSCProof > > LFSCPfVar::vMap [static, private]

Definition at line 25 of file LFSCUtilProof.h.

Referenced by MakeV().

Definition at line 26 of file LFSCUtilProof.h.

Referenced by get_length(), print_pf(), print_struct(), and clone().


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