#include <instance_types.h>
Collaboration diagram for BooleanInstance:
Data Fields | |
| enum inst_t | t |
| unsigned | assigned |
| Instance * | parent_offset |
| unsigned | value |
| unsigned | depth |
| int | padding |
| unsigned BooleanInstance::assigned |
the number of times it has been assigned
| unsigned BooleanInstance::value |
0 false, 1 true
| unsigned BooleanInstance::depth |
the depth of the last assignment
1.5.1