Package org.colomoto.biolqm.tool.fixpoints

Identification of the stable states of a logical model.

See: Description

Class Summary

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

Enum Summary

Enum	Description
FixpointMethod

Package org.colomoto.biolqm.tool.fixpoints Description

Identification of the stable states of a logical model.