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

#include <LFSCLraProof.h>

Inheritance diagram for LFSCLraMulC:
LFSCProof LFSCObj Obj

List of all members.

Public Member Functions

Static Public Member Functions

Private Member Functions

Private Attributes


Constructor & Destructor Documentation

LFSCLraMulC::LFSCLraMulC ( LFSCProof pf,
Rational  r,
int  op 
) [inline, private]

Definition at line 63 of file LFSCLraProof.h.

References d_op, and LFSCProof::checkOp().

Referenced by Make(), and clone().

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

Definition at line 69 of file LFSCLraProof.h.


Member Function Documentation

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

Reimplemented from LFSCProof.

Definition at line 70 of file LFSCLraProof.h.

References d_pf.

virtual LFSCLraMulC* LFSCLraMulC::AsLFSCLraMulC ( ) [inline, virtual]

Reimplemented from LFSCProof.

Definition at line 72 of file LFSCLraProof.h.

bool LFSCLraMulC::isLraMulC ( ) [inline, virtual]

Reimplemented from LFSCProof.

Definition at line 73 of file LFSCLraProof.h.

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

Implements LFSCProof.

Definition at line 56 of file LFSCLraProof.cpp.

References kind_to_str(), d_op, print_rational(), d_r, and d_pf.

LFSCProof * LFSCLraMulC::Make ( LFSCProof pf,
Rational  r,
int  op 
) [static]
LFSCProof* LFSCLraMulC::clone ( ) [inline, virtual]

Implements LFSCProof.

Definition at line 76 of file LFSCLraProof.h.

References LFSCLraMulC(), d_pf, RefPtr::get(), d_r, and d_op.

int LFSCLraMulC::getNumChildren ( ) [inline, virtual]

Reimplemented from LFSCProof.

Definition at line 77 of file LFSCLraProof.h.

LFSCProof* LFSCLraMulC::getChild ( int  n) [inline, virtual]

Reimplemented from LFSCProof.

Definition at line 78 of file LFSCLraProof.h.

References d_pf, and RefPtr::get().

int LFSCLraMulC::checkOp ( ) [inline, virtual]

Reimplemented from LFSCProof.

Definition at line 79 of file LFSCLraProof.h.

References d_op.


Member Data Documentation

Definition at line 60 of file LFSCLraProof.h.

Referenced by print_pf(), Make(), get_length(), clone(), and getChild().

Definition at line 61 of file LFSCLraProof.h.

Referenced by print_pf(), Make(), and clone().

int LFSCLraMulC::d_op [private]

Definition at line 62 of file LFSCLraProof.h.

Referenced by print_pf(), LFSCLraMulC(), clone(), and checkOp().


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