bdd_manager_ Struct Reference

#include <bddint.h>

Collaboration diagram for bdd_manager_:

[legend]

Public Member Functions
void overflow_fn	ARGS ((cmu_bdd_manager, pointer))
void transform_fn	ARGS ((cmu_bdd_manager, INT_PTR, INT_PTR, INT_PTR *, INT_PTR *, pointer))
int canonical_fn	ARGS ((cmu_bdd_manager, INT_PTR, INT_PTR, pointer))
void reorder_fn	ARGS ((cmu_bdd_manager))
void bag_it_fn	ARGS ((cmu_bdd_manager, pointer))
Data Fields
unique	unique_table
cache	op_cache
int	check
bdd	one
bdd	zero
int	overflow
pointer	overflow_env
pointer	transform_env
block	super_block
pointer	reorder_data
int	allow_reordering
long	nodes_at_start
long	vars
long	maxvars
bdd *	variables
bdd_index_type *	indexes
bdd_indexindex_type *	indexindexes
int	curr_assoc_id
var_assoc	curr_assoc
assoc_list	assocs
struct var_assoc_	temp_assoc
rec_mgr	rms [REC_MGRS]
long	temp_op
jump_buf	abort
pointer	bag_it_env
char *	hooks

---

Detailed Description

Definition at line 483 of file bddint.h.

---

Member Function Documentation

void bag_it_fn bdd_manager_::ARGS

(

(cmu_bdd_manager, pointer)

)

void reorder_fn bdd_manager_::ARGS

(

(cmu_bdd_manager)

)

int canonical_fn bdd_manager_::ARGS

(

(cmu_bdd_manager, INT_PTR, INT_PTR, pointer)

)

void transform_fn bdd_manager_::ARGS

(

(cmu_bdd_manager, INT_PTR, INT_PTR, INT_PTR *, INT_PTR *, pointer)

)

void overflow_fn bdd_manager_::ARGS

(

(cmu_bdd_manager, pointer)

)

---

Field Documentation

jump_buf bdd_manager_::abort

Definition at line 518 of file bddint.h.

int bdd_manager_::allow_reordering

Definition at line 504 of file bddint.h.

assoc_list bdd_manager_::assocs

Definition at line 514 of file bddint.h.

pointer bdd_manager_::bag_it_env

Definition at line 521 of file bddint.h.

int bdd_manager_::check

Definition at line 487 of file bddint.h.

var_assoc bdd_manager_::curr_assoc

Definition at line 513 of file bddint.h.

int bdd_manager_::curr_assoc_id

Definition at line 512 of file bddint.h.

char* bdd_manager_::hooks

Definition at line 521 of file bddint.h.

bdd_index_type* bdd_manager_::indexes

Definition at line 509 of file bddint.h.

bdd_indexindex_type* bdd_manager_::indexindexes

Definition at line 510 of file bddint.h.

long bdd_manager_::maxvars

Definition at line 507 of file bddint.h.

long bdd_manager_::nodes_at_start

Definition at line 505 of file bddint.h.

bdd bdd_manager_::one

Definition at line 488 of file bddint.h.

cache bdd_manager_::op_cache

Definition at line 486 of file bddint.h.

int bdd_manager_::overflow

Definition at line 490 of file bddint.h.

pointer bdd_manager_::overflow_env

Definition at line 493 of file bddint.h.

pointer bdd_manager_::reorder_data

Definition at line 503 of file bddint.h.

rec_mgr bdd_manager_::rms[REC_MGRS]

Definition at line 516 of file bddint.h.

block bdd_manager_::super_block

Definition at line 500 of file bddint.h.

struct var_assoc_ bdd_manager_::temp_assoc [read]

Definition at line 515 of file bddint.h.

long bdd_manager_::temp_op

Definition at line 517 of file bddint.h.

pointer bdd_manager_::transform_env

Definition at line 496 of file bddint.h.

unique bdd_manager_::unique_table

Definition at line 485 of file bddint.h.

bdd* bdd_manager_::variables

Definition at line 508 of file bddint.h.

long bdd_manager_::vars

Definition at line 506 of file bddint.h.

bdd bdd_manager_::zero

Definition at line 489 of file bddint.h.

---

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

• src/cmuBdd/bddint.h