Package org.colomoto.biolqm.tool.stablestate

Identification of the stable states of a logical model.

See: Description

Class Summary

Class	Description
JBDDModel
StableASP	Use the clingo ASP solver to assemble the stability constraints and identify stable states.
StableJBDD
StableOperation	MDD operation used to build a stability condition.
StableStateList
StableStateSearcher	Perform a stable state search for a given model.
StableStateTool
StructuralNodeOrderer	Sort nodes of a LogicalModel according to the new regulators they introduce.

Enum Summary

Enum	Description
StableStateMethod

Package org.colomoto.biolqm.tool.stablestate Description

Identification of the stable states of a logical model.