Uses of Interface
org.colomoto.biolqm.tool.trapspaces.TrapSpaceSolver

Packages that use TrapSpaceSolver

Package	Description
org.colomoto.biolqm.tool.trapspaces

Uses of TrapSpaceSolver in org.colomoto.biolqm.tool.trapspaces

Classes in org.colomoto.biolqm.tool.trapspaces that implement TrapSpaceSolver

Modifier and Type	Class and Description
class	TrapSpaceSolverASP Use the clingo ASP solver to identify trap spaces.
class	TrapSpaceSolverBDD Use BDDs to identify trapspaces.
class	TrapSpaceSolverFunctionASP Use the clingo ASP solver to identify trap spaces.