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