experiments.exp_BDD_example

Module summary

Provides an example when simplified-problem based heuristic is tight for the original problem.

(In the implementation details below, click on class/function names for additional documentation and links to the source code.)

❖❖❖

Implements functions (outside the classes above):

main()

Makes an illustration with enumeration of all possible alignments.

❖❖❖

Implementation details

❖❖❖

Functions

experiments.exp_BDD_example.main()

Makes an illustration with enumeration of all possible alignments.