#include <Val.H>
Inheritance diagram for BooleanVC:
Public Member Functions | |
BooleanVC (bool bb) | |
BooleanVC (const BooleanVC &val) | |
void | PrintD (std::ostream *os, bool verbose=false, int indent=0) |
FP::Tag | FingerPrint () |
Val | Copy (bool more) |
Public Attributes | |
bool | b |
|
|
|
|
|
Implements ValC. Definition at line 138 of file Val.H. References NEW_CONSTR. |
|
Implements ValC. Definition at line 315 of file Val.C. References b, booleanTag, FP::Tag::Extend(), sizeof_assert, ValC::tag, and ValC::tagged. |
|
Implements ValC. Definition at line 134 of file Val.H. References b. |
|
Definition at line 137 of file Val.H. Referenced by FingerPrint(), NotEq(), PrintD(), and RunTool(). |