DDOLib-Scala
API
Generated with
DDOLib-Scala/org.ddolibscala/org.ddolibscala.tools/org.ddolibscala.tools.ddo/org.ddolibscala.tools.ddo.heuristics

org.ddolibscala.tools.ddo.heuristics

package org.ddolibscala.tools.ddo.heuristics

This package contains the classes and interfaces defining the heuristics which can be used to customize the behavior of an MDD with some default implementations.

Attributes

Members list

Packages

package org.ddolibscala.tools.ddo.heuristics.cluster

This package contains heuristics used to define a strategy to reduce the number of nodes in a layer of a decision diagram by clustering nodes for restriction and relaxation.

This package contains heuristics used to define a strategy to reduce the number of nodes in a layer of a decision diagram by clustering nodes for restriction and relaxation.

Attributes

package org.ddolibscala.tools.ddo.heuristics.variables

This package contains heuristics on variable ordering.

This package contains heuristics on variable ordering.

Attributes

package org.ddolibscala.tools.ddo.heuristics.width

This package contains heuristics on the maximum width of an MDD.

This package contains heuristics on the maximum width of an MDD.

Attributes

Generated with