Data structure for partitioned transition relation. More...
#include <ntr.h>
Collaboration diagram for NtrPartTR:
Data Fields | |
| int | nparts |
| DdNode ** | part |
| DdNode ** | icube |
| DdNode ** | pcube |
| DdNode ** | nscube |
| DdNode * | preiabs |
| DdNode * | prepabs |
| DdNode * | xw |
| NtrHeap * | factors |
| int | nlatches |
| DdNode ** | x |
| DdNode ** | y |
Detailed Description
Data structure for partitioned transition relation.
Field Documentation
◆ factors
| NtrHeap* NtrPartTR::factors |
factors extracted from the image
◆ icube
| DdNode** NtrPartTR::icube |
quantification cubes for image
◆ nlatches
| int NtrPartTR::nlatches |
number of latches
◆ nparts
| int NtrPartTR::nparts |
number of parts
◆ nscube
| DdNode** NtrPartTR::nscube |
next state variables in each part
◆ part
| DdNode** NtrPartTR::part |
array of parts
◆ pcube
| DdNode** NtrPartTR::pcube |
quantification cubes for preimage
◆ preiabs
| DdNode* NtrPartTR::preiabs |
present state vars and inputs in no part
◆ prepabs
| DdNode* NtrPartTR::prepabs |
inputs in no part
◆ x
| DdNode** NtrPartTR::x |
array of present state variables
◆ xw
| DdNode* NtrPartTR::xw |
cube of all present states and PIs
◆ y
| DdNode** NtrPartTR::y |
array of next state variables
The documentation for this struct was generated from the following file:
- nanotrav/ntr.h
