[bddbddb-devel] Profile Directed Optimizations

[Luke S. <luk...@gm...>]

The PLDI tutorial mentions profile directed optimization of iteration order,
yet doesn't mention how to use the feature.  Can bddbddb also do profile
directed optimization of subgoal order, splitting, incrementalization, and
other performance parameter directives?  I like the idea of writing a
high-level analysis specification, and then running a profile based
optimizer that tweaks every performance parameter: variable ordering,
iteration order, subgoal order, splitting, incrementalization, etc.  So
other than variable ordering, is there a feature for profile directed
optimization of other performance parameters, and if so, how are they used?