---

NtrOptions Struct Reference

#include <ntr.h>

List of all members.

Public Attributes
long	initialTime
int	verify
char *	file1
char *	file2
int	second
int	traverse
int	depend
int	image
double	imageClip
int	approx
int	threshold
int	from
int	groupnsps
int	closure
double	closureClip
int	envelope
int	scc
int	zddtest
int	maxflow
char *	sinkfile
int	partition
int	char2vect
int	density
double	quality
int	decomp
int	cofest
double	clip
int	noBuild
int	stateOnly
char *	node
int	locGlob
int	progress
int	cacheSize
unsigned long	maxMemory
int	slots
int	ordering
char *	orderPiPs
Cudd_ReorderingType	reordering
int	autoDyn
Cudd_ReorderingType	autoMethod
char *	treefile
int	firstReorder
int	countDead
int	maxGrowth
Cudd_AggregationType	groupcheck
int	arcviolation
int	symmviolation
int	recomb
int	nodrop
int	signatures
int	gaOnOff
int	populationSize
int	numberXovers
int	bdddump
int	dumpFmt
char *	dumpfile
int	store
char *	storefile
int	load
char *	loadfile
int	verb

---

Member Data Documentation

int NtrOptions::approx

Definition at line 80 of file ntr.h.

int NtrOptions::arcviolation

Definition at line 117 of file ntr.h.

int NtrOptions::autoDyn

Definition at line 109 of file ntr.h.

Cudd_ReorderingType NtrOptions::autoMethod

Definition at line 110 of file ntr.h.

int NtrOptions::bdddump

Definition at line 127 of file ntr.h.

int NtrOptions::cacheSize

Definition at line 103 of file ntr.h.

int NtrOptions::char2vect

Definition at line 92 of file ntr.h.

double NtrOptions::clip

Definition at line 97 of file ntr.h.

int NtrOptions::closure

Definition at line 84 of file ntr.h.

double NtrOptions::closureClip

Definition at line 85 of file ntr.h.

int NtrOptions::cofest

Definition at line 96 of file ntr.h.

int NtrOptions::countDead

Definition at line 113 of file ntr.h.

int NtrOptions::decomp

Definition at line 95 of file ntr.h.

int NtrOptions::density

Definition at line 93 of file ntr.h.

int NtrOptions::depend

Definition at line 77 of file ntr.h.

char* NtrOptions::dumpfile

Definition at line 130 of file ntr.h.

int NtrOptions::dumpFmt

Definition at line 128 of file ntr.h.

int NtrOptions::envelope

Definition at line 86 of file ntr.h.

char* NtrOptions::file1

Definition at line 73 of file ntr.h.

char* NtrOptions::file2

Definition at line 74 of file ntr.h.

int NtrOptions::firstReorder

Definition at line 112 of file ntr.h.

int NtrOptions::from

Definition at line 82 of file ntr.h.

int NtrOptions::gaOnOff

Definition at line 124 of file ntr.h.

Cudd_AggregationType NtrOptions::groupcheck

Definition at line 116 of file ntr.h.

int NtrOptions::groupnsps

Definition at line 83 of file ntr.h.

int NtrOptions::image

Definition at line 78 of file ntr.h.

double NtrOptions::imageClip

Definition at line 79 of file ntr.h.

long NtrOptions::initialTime

Definition at line 71 of file ntr.h.

int NtrOptions::load

Definition at line 133 of file ntr.h.

char* NtrOptions::loadfile

Definition at line 134 of file ntr.h.

int NtrOptions::locGlob

Definition at line 101 of file ntr.h.

int NtrOptions::maxflow

Definition at line 89 of file ntr.h.

int NtrOptions::maxGrowth

Definition at line 115 of file ntr.h.

unsigned long NtrOptions::maxMemory

Definition at line 104 of file ntr.h.

int NtrOptions::noBuild

Definition at line 98 of file ntr.h.

char* NtrOptions::node

Definition at line 100 of file ntr.h.

int NtrOptions::nodrop

Definition at line 122 of file ntr.h.

int NtrOptions::numberXovers

Definition at line 126 of file ntr.h.

int NtrOptions::ordering

Definition at line 106 of file ntr.h.

char* NtrOptions::orderPiPs

Definition at line 107 of file ntr.h.

int NtrOptions::partition

Definition at line 91 of file ntr.h.

int NtrOptions::populationSize

Definition at line 125 of file ntr.h.

int NtrOptions::progress

Definition at line 102 of file ntr.h.

double NtrOptions::quality

Definition at line 94 of file ntr.h.

int NtrOptions::recomb

Definition at line 121 of file ntr.h.

Cudd_ReorderingType NtrOptions::reordering

Definition at line 108 of file ntr.h.

int NtrOptions::scc

Definition at line 87 of file ntr.h.

int NtrOptions::second

Definition at line 75 of file ntr.h.

int NtrOptions::signatures

Definition at line 123 of file ntr.h.

char* NtrOptions::sinkfile

Definition at line 90 of file ntr.h.

int NtrOptions::slots

Definition at line 105 of file ntr.h.

int NtrOptions::stateOnly

Definition at line 99 of file ntr.h.

int NtrOptions::store

Definition at line 131 of file ntr.h.

char* NtrOptions::storefile

Definition at line 132 of file ntr.h.

int NtrOptions::symmviolation

Definition at line 119 of file ntr.h.

int NtrOptions::threshold

Definition at line 81 of file ntr.h.

int NtrOptions::traverse

Definition at line 76 of file ntr.h.

char* NtrOptions::treefile

Definition at line 111 of file ntr.h.

int NtrOptions::verb

Definition at line 135 of file ntr.h.

int NtrOptions::verify

Definition at line 72 of file ntr.h.

int NtrOptions::zddtest

Definition at line 88 of file ntr.h.

---

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

• ntr.h

---