public class SATConfig extends Object implements NamedStateStore
Constructor and Description |
---|
SATConfig(RegulatoryGraph graph) |
Modifier and Type | Method and Description |
---|---|
SATExportType |
getExportType() |
RegulatoryGraph |
getGraph() |
Map<NamedState,Object> |
getInitialState() |
Map<NamedState,Object> |
getInputState() |
org.colomoto.biolqm.LogicalModel |
getModel() |
void |
setExportType(SATExportType type) |
void |
updateModel(org.colomoto.biolqm.LogicalModel model) |
public SATConfig(RegulatoryGraph graph)
graph
- public void updateModel(org.colomoto.biolqm.LogicalModel model)
public Map<NamedState,Object> getInitialState()
getInitialState
in interface NamedStateStore
public Map<NamedState,Object> getInputState()
getInputState
in interface NamedStateStore
public RegulatoryGraph getGraph()
public org.colomoto.biolqm.LogicalModel getModel()
public void setExportType(SATExportType type)
public SATExportType getExportType()
Copyright © 2005–2020. All rights reserved.