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


Detailed Description

Definition at line 23 of file LFSCUtilProof.h.


Constructor & Destructor Documentation

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

Definition at line 27 of file LFSCUtilProof.h.

Referenced by clone(), and Make().

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 RefPtr< T >::get(), Make(), and vMap.

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().

string LFSCPfVar::name [private]

Definition at line 26 of file LFSCUtilProof.h.

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


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