NtrPartTR Struct Reference

Data structure for partitioned transition relation. More...

#include <ntr.h>

Collaboration diagram for NtrPartTR:
[legend]

Data Fields

int nparts
DdNode ** part
DdNode ** icube
DdNode ** pcube
DdNode ** nscube
DdNodepreiabs
DdNodeprepabs
DdNodexw
NtrHeapfactors
int nlatches
DdNode ** x
DdNode ** y

Detailed Description

Data structure for partitioned transition relation.


Field Documentation

factors extracted from the image

quantification cubes for image

number of latches

number of parts

next state variables in each part

array of parts

quantification cubes for preimage

present state vars and inputs in no part

inputs in no part

array of present state variables

cube of all present states and PIs

array of next state variables


The documentation for this struct was generated from the following file:
 All Data Structures Files Functions Variables Typedefs Enumerations Defines

Generated on 31 Dec 2015 for cudd by  doxygen 1.6.1