Package org.colomoto.biolqm.tool.trapspaces

Interface Summary

Interface	Description
TrapSpaceSolver

Class Summary

Class	Description
TrapSpace
TrapSpaceIdentifier
TrapSpaceList
TrapSpaceSettings
TrapSpaceSolverASP	Use the clingo ASP solver to identify trap spaces.
TrapSpaceSolverBDD	Use BDDs to identify trapspaces.
TrapSpaceTool