#include <LFSCUtilProof.h>
Inherits LFSCProof.
Public Member Functions
- virtual LFSCPfLambda * AsLFSCPfLambda ()
- void print_pf (std::ostream &s, int ind=0)
- LFSCProof * clone ()
- int getNumChildren ()
- LFSCProof * getChild (int n)
Static Public Member Functions
Private Member Functions
- LFSCPfLambda (LFSCPfVar *v, LFSCProof *bd, LFSCProof *aVal=NULL)
- virtual ~LFSCPfLambda ()
- long int get_length ()
Private Attributes
Detailed Description
Definition at line 39 of file LFSCUtilProof.h.
Constructor & Destructor Documentation
| LFSCPfLambda::LFSCPfLambda | ( | LFSCPfVar * | v, |
| LFSCProof * | bd, | ||
| LFSCProof * | aVal = NULL |
||
| ) | [inline, private] |
Definition at line 46 of file LFSCUtilProof.h.
| virtual LFSCPfLambda::~LFSCPfLambda | ( | ) | [inline, private, virtual] |
Definition at line 48 of file LFSCUtilProof.h.
Member Function Documentation
| long int LFSCPfLambda::get_length | ( | ) | [inline, private, virtual] |
Reimplemented from LFSCProof.
Definition at line 49 of file LFSCUtilProof.h.
| virtual LFSCPfLambda* LFSCPfLambda::AsLFSCPfLambda | ( | ) | [inline, virtual] |
Reimplemented from LFSCProof.
Definition at line 51 of file LFSCUtilProof.h.
| void LFSCPfLambda::print_pf | ( | std::ostream & | s, |
| int | ind = 0 |
||
| ) | [virtual] |
Implements LFSCProof.
Definition at line 52 of file LFSCUtilProof.cpp.
References abstVal, body, RefPtr< T >::get(), LFSCProof::lambdaPrintMap, and pfV.
| static LFSCProof* LFSCPfLambda::Make | ( | LFSCPfVar * | v, |
| LFSCProof * | bd, | ||
| LFSCProof * | aVal = NULL |
||
| ) | [inline, static] |
Definition at line 53 of file LFSCUtilProof.h.
References LFSCPfLambda().
| LFSCProof* LFSCPfLambda::clone | ( | ) | [inline, virtual] |
Implements LFSCProof.
Definition at line 56 of file LFSCUtilProof.h.
References abstVal, body, RefPtr< T >::get(), LFSCPfLambda(), and pfV.
| int LFSCPfLambda::getNumChildren | ( | ) | [inline, virtual] |
Reimplemented from LFSCProof.
Definition at line 57 of file LFSCUtilProof.h.
| LFSCProof* LFSCPfLambda::getChild | ( | int | n | ) | [inline, virtual] |
Reimplemented from LFSCProof.
Definition at line 58 of file LFSCUtilProof.h.
References body, RefPtr< T >::get(), and pfV.
Member Data Documentation
RefPtr< LFSCPfVar > LFSCPfLambda::pfV [private] |
Definition at line 41 of file LFSCUtilProof.h.
Referenced by clone(), get_length(), getChild(), and print_pf().
RefPtr< LFSCProof > LFSCPfLambda::body [private] |
Definition at line 42 of file LFSCUtilProof.h.
Referenced by clone(), get_length(), getChild(), and print_pf().
RefPtr< LFSCProof > LFSCPfLambda::abstVal [private] |
Definition at line 44 of file LFSCUtilProof.h.
Referenced by clone(), and print_pf().
The documentation for this class was generated from the following files:
