Options for nanotrav. More...

#include <ntr.h>

Data Fields
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	printcover

int	maxflow

int	shortPath

int	selectiveTrace

char *	sinkfile

int	partition

int	char2vect

int	density

double	quality

int	decomp

int	cofest

double	clip

int	dontcares

int	closestCube

int	clauses

int	noBuild

int	stateOnly

char *	node

int	locGlob

int	progress

int	cacheSize

size_t	maxMemory

size_t	maxMemHard

unsigned int	maxLive

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

int32_t	seed

Detailed Description

Options for nanotrav.

Field Documentation

◆ approx

int NtrOptions::approx

under or over approximation

◆ arcviolation

int NtrOptions::arcviolation

percent violation of arcs in extended symmetry check

◆ autoDyn

int NtrOptions::autoDyn

ON OFF

◆ autoMethod

Cudd_ReorderingType NtrOptions::autoMethod

RANDOM PIVOT SIFTING CONVERGE ...

◆ bdddump

int NtrOptions::bdddump

ON OFF

◆ cacheSize

int NtrOptions::cacheSize

computed table initial size

◆ char2vect

int NtrOptions::char2vect

test char-to-vect decomposition

◆ clauses

int NtrOptions::clauses

test extraction of two-literal clauses

◆ clip

double NtrOptions::clip

test clipping functions

◆ closestCube

int NtrOptions::closestCube

test Cudd_bddClosestCube

◆ closure

int NtrOptions::closure

use transitive closure

◆ closureClip

double NtrOptions::closureClip

clipping depth in closure computation

◆ cofest

int NtrOptions::cofest

test cofactor estimation

◆ countDead

int NtrOptions::countDead

count dead nodes toward triggering reordering

◆ decomp

int NtrOptions::decomp

test decomposition functions

◆ density

int NtrOptions::density

test density-related functions

◆ depend

int NtrOptions::depend

do latch dependence analysis

◆ dontcares

int NtrOptions::dontcares

test equivalence and containment with DCs

◆ dumpfile

char* NtrOptions::dumpfile

filename for dump

◆ dumpFmt

int NtrOptions::dumpFmt

0 -> dot 1 -> blif 2 ->daVinci 3 -> DDcal 4 -> factored form

◆ envelope

int NtrOptions::envelope

compute outer envelope

◆ file1

char* NtrOptions::file1

first network file name

◆ file2

char* NtrOptions::file2

second network file name

◆ firstReorder

int NtrOptions::firstReorder

when to do first reordering

◆ from

int NtrOptions::from

method to compute from states

◆ gaOnOff

int NtrOptions::gaOnOff

whether to run GA at the end

◆ groupcheck

Cudd_AggregationType NtrOptions::groupcheck

grouping function

◆ groupnsps

int NtrOptions::groupnsps

group present state and next state vars

◆ image

int NtrOptions::image

monolithic, partitioned, or clip

◆ imageClip

double NtrOptions::imageClip

clipping depth in image computation

◆ initialTime

long NtrOptions::initialTime

this is here for convenience

◆ load

int NtrOptions::load

load initial states from file

◆ loadfile

char* NtrOptions::loadfile

filename for loading states

◆ locGlob

int NtrOptions::locGlob

build global or local BDDs

◆ maxflow

int NtrOptions::maxflow

compute maximum flow in network

◆ maxGrowth

int NtrOptions::maxGrowth

maximum growth during reordering (%)

◆ maxLive

unsigned int NtrOptions::maxLive

maximum number of nodes

◆ maxMemHard

size_t NtrOptions::maxMemHard

maximum allowed memory

◆ maxMemory

size_t NtrOptions::maxMemory

target maximum memory

◆ noBuild

int NtrOptions::noBuild

do not build BDDs; just echo order

◆ node

char* NtrOptions::node

only node for which to build BDD

◆ nodrop

int NtrOptions::nodrop

don't drop intermediate BDDs ASAP

◆ numberXovers

int NtrOptions::numberXovers

number of crossovers for GA

◆ ordering

int NtrOptions::ordering

FANIN DFS ...

◆ orderPiPs

char* NtrOptions::orderPiPs

file for externally provided order

◆ partition

int NtrOptions::partition

test McMillan conjunctive partitioning

◆ populationSize

int NtrOptions::populationSize

population size for GA

◆ printcover

int NtrOptions::printcover

print ISOP covers when testing ZDDs

◆ progress

int NtrOptions::progress

report output names while building BDDs

◆ quality

double NtrOptions::quality

quality parameter for density functions

◆ recomb

int NtrOptions::recomb

recombination parameter for grouping

◆ reordering

Cudd_ReorderingType NtrOptions::reordering

NONE RANDOM PIVOT SIFTING ...

◆ scc

int NtrOptions::scc

compute strongly connected components

◆ second

int NtrOptions::second

a second network is given

◆ seed

int32_t NtrOptions::seed

seed for random number generator

◆ selectiveTrace

int NtrOptions::selectiveTrace

use selective trace in shortest paths

◆ shortPath

int NtrOptions::shortPath

compute shortest paths in network

◆ signatures

int NtrOptions::signatures

computation of signatures

◆ sinkfile

char* NtrOptions::sinkfile

file for externally provided sink node

◆ slots

int NtrOptions::slots

unique subtable initial slots

◆ stateOnly

int NtrOptions::stateOnly

ignore primary outputs

◆ store

int NtrOptions::store

iteration at which to store Reached

◆ storefile

char* NtrOptions::storefile

filename for storing Reached

◆ symmviolation

int NtrOptions::symmviolation

percent symm violation in extended symmetry check

◆ threshold

int NtrOptions::threshold

approximation threshold

◆ traverse

int NtrOptions::traverse

do reachability analysis

◆ treefile

char* NtrOptions::treefile

file name for variable tree

◆ verb

int NtrOptions::verb

level of verbosity

◆ verify

int NtrOptions::verify

read two networks and compare them

◆ zddtest

int NtrOptions::zddtest

do zdd test

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

nanotrav/ntr.h

Data Fields