You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Tree: b7f3871fd7

accumulation

accumulation-v4.7

automata-finite

master

tud-infrastructure-2018-10-12

Branches Tags

${ item.name }

Create tag ${ searchTerm }

Create branch ${ searchTerm }

from 'b7f3871fd7'

${ noResults }

prism-accumulation/prism/src/dd

History

Joachim Klein ea8a7c6ba9 Add DebugJDD_GetExternalRefCounts Analyze the BDD and return the implied number of external references per node in a map (node -> count). Only return nodes with non-zero external references. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10505 bbc10eb1-c90d-0410-af57-cb519fbb1720		11 years ago
..
Makefile	Removal of explicit lists of Java/C++ files from Makefiles (we are reliant on GNU make anyway).	20 years ago
dd.cc	Updated email addresses and affiliations in copyright info.	19 years ago
dd_abstr.cc	dd_*.cc: Argument checking, if any DdNode is NULL return NULL	11 years ago
dd_basics.cc	dd_*.cc: Argument checking, if any DdNode is NULL return NULL	11 years ago
dd_cudd.cc	Add DebugJDD_GetExternalRefCounts	11 years ago
dd_export.cc	Fix a few compiler warnings.	11 years ago
dd_info.cc	Integration of prism-explicit branch into trunk, i.e. merge of trunk@1015-prism-explicit@1405 into trunk.	17 years ago
dd_matrix.cc	dd_matrix.cc: fix recently introduced error handling	11 years ago
dd_term.cc	dd_*.cc: Argument checking, if any DdNode is NULL return NULL	11 years ago
dd_test.cc	Updated email addresses and affiliations in copyright info.	19 years ago
dd_vars.cc	dd_*.cc: Argument checking, if any DdNode is NULL return NULL	11 years ago