org.colomoto.biolqm.tool.fixpoints

Class StructuralNodeOrderer

java.lang.Object

org.colomoto.biolqm.tool.fixpoints.StructuralNodeOrderer

All Implemented Interfaces:

Iterable<Integer>

public class StructuralNodeOrderer
extends Object
implements Iterable<Integer>

Sort nodes of a LogicalModel according to the new regulators they introduce. This ordering is used to delay the addition of new constraints during stable state search, keeping a "small" MDD as long as possible.

Author:

Aurelien Naldi

Field Summary

Fields

Modifier and Type	Field and Description
protected LogicalModel	model

Constructor Summary

Constructors

Constructor and Description
StructuralNodeOrderer(LogicalModel model)

Method Summary

Modifier and Type	Method and Description
Iterator<Integer>	iterator()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Field Detail

model

protected final LogicalModel model

Constructor Detail

StructuralNodeOrderer

public StructuralNodeOrderer(LogicalModel model)

Method Detail

iterator

public Iterator<Integer> iterator()

Specified by:

iterator in interface Iterable<Integer>