| Package | Description |
|---|---|
| org.colomoto.biolqm.helper.clingo | |
| org.colomoto.biolqm.tool.fixpoints |
Identification of the stable states of a logical model.
|
| org.colomoto.biolqm.tool.trapspaces |
| Constructor and Description |
|---|
ClingoLauncher(ClingoResultHandler handler,
String program) |
| Modifier and Type | Class and Description |
|---|---|
class |
StableASP
Use the clingo ASP solver to assemble the stability constraints and identify stable states.
|
| Modifier and Type | Class and Description |
|---|---|
class |
TrapSpaceSolverASP
Use the clingo ASP solver to identify trap spaces.
|
class |
TrapSpaceSolverFunctionASP
Use the clingo ASP solver to identify trap spaces.
|
Copyright © 2012–2020. All rights reserved.