NtrPartTR Struct Reference

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

NtrHeap* NtrPartTR::factors

factors extracted from the image

DdNode** NtrPartTR::icube

quantification cubes for image

int NtrPartTR::nlatches

number of latches

int NtrPartTR::nparts

number of parts

DdNode** NtrPartTR::nscube

next state variables in each part

DdNode** NtrPartTR::part

array of parts

DdNode** NtrPartTR::pcube

quantification cubes for preimage

DdNode* NtrPartTR::preiabs

present state vars and inputs in no part

DdNode* NtrPartTR::prepabs

inputs in no part

DdNode** NtrPartTR::x

array of present state variables

DdNode* NtrPartTR::xw

cube of all present states and PIs

DdNode** NtrPartTR::y

array of next state variables

---

The documentation for this struct was generated from the following file:

• nanotrav/ntr.h