New in Version 0.17.3
Released 03 Dec 2023
Interface Changes
Uncomment ALLOW_DEPRECATED_0_17_3
in defines.h
to use these deprecated methods.
This is intended to help developers migrate to the new interface.
-
Moved
node_headers
inner classes toarrays.h
-
Created
node_marker
object, for mark and sweep (or just various mark applications). -
Created
dot_maker
object inio_dot.h
, for creating dot files from MDDs. -
Methods
expert_forest::writeNodeGraphPicture
anddd_edge::writePicture
are now deprecated; use objectdot_maker
instead. -
Created
mdd_writer
andmdd_reader
objects inio_mdds.h
, for reading and writing MDDs in an exchange format. -
Methods
forest::writeEdges
andforest::readEdges
are now deprecated; use objectsmdd_writer
andmdd_reader
instead. -
Removed several inlined forest methods related to policy decisions (reordering policiy, how to store nodes) as these can be obtained almost as easily using
forest::getPolicy().someOtherInlinedMethod()
. -
Removed method
forest::useDomain()
, useforest::getDomain()
(now overloaded) instead. -
Moved reporting flags (
HUMAN_READABLE_MEMORY
,BASIC_STATS
,EXTRA_STATS
,FOREST_STATS
,STORAGE_STATS
,STORAGE_DETAILED
,UNIQUE_TABLE_STATS
,UNIQUE_TABLE_DETAILED
,HOLE_MANAGER_STATS
,HOLE_MANAGER_DETAILED
) out ofexpert_forest
and intopolicies.h
. -
Moved display flags (
SHOW_TERMINALS
,SHOW_INDEX
,SHOW_DETAILS
,SHOW_UNREACHABLE
,SHOW_DELETED
) out ofexpert_forest
and intopolicies.h
. -
Moved several methods and members from
expert_forest
toforest
.
Implementation
Slightly faster node marking implementation.