Uses of Class
org.ginsim.service.export.sat.SATConfig

Packages that use SATConfig

Package	Description
org.ginsim.service.export.sat
org.ginsim.servicegui.export.sat

Uses of SATConfig in org.ginsim.service.export.sat

Methods in org.ginsim.service.export.sat with parameters of type SATConfig

Modifier and Type	Method and Description
void	SATExportService.export(SATConfig config, File file)
void	SATExportService.run(SATConfig config, String filename)
void	SATEncoder.write(SATConfig config, Writer out) Export the graph to a SAT model description

Uses of SATConfig in org.ginsim.servicegui.export.sat

Constructors in org.ginsim.servicegui.export.sat with parameters of type SATConfig

Constructor and Description
SATExportConfigPanel(SATConfig config, org.ginsim.servicegui.export.sat.SATExportAction action)