org.ginsim.service.export.nusmv

Class NodeInfoSorter

java.lang.Object

org.ginsim.service.export.nusmv.NodeInfoSorter

public class NodeInfoSorter
extends Object

Constructor Summary

Constructors

Constructor and Description
NodeInfoSorter()

Method Summary

Modifier and Type	Method and Description
List<org.colomoto.biolqm.NodeInfo>	getNodesByIncNumberRegulators(org.colomoto.biolqm.LogicalModel model)
List<org.colomoto.biolqm.NodeInfo>	getNodesWithInputsAtEnd(org.colomoto.biolqm.LogicalModel model)

Methods inherited from class java.lang.Object

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

Constructor Detail

NodeInfoSorter

public NodeInfoSorter()

Method Detail

getNodesWithInputsAtEnd

public List<org.colomoto.biolqm.NodeInfo> getNodesWithInputsAtEnd(org.colomoto.biolqm.LogicalModel model)

getNodesByIncNumberRegulators

public List<org.colomoto.biolqm.NodeInfo> getNodesByIncNumberRegulators(org.colomoto.biolqm.LogicalModel model)