org.ginsim.service.export.sat

Class SATExportService

java.lang.Object

org.ginsim.service.export.sat.SATExportService

All Implemented Interfaces:

Service

@MetaInfServices(value=Service.class)
 @Alias(value="SAT")
 @ServiceStatus(value=RELEASED)
public class SATExportService
extends Object
implements Service

GINsim export service capable of encoding the model properties into a SAT specification in CNF.

Author:

Pedro T. Monteiro

Constructor Summary

Constructors

Constructor and Description
SATExportService()

Method Summary

Modifier and Type	Method and Description
void	export(SATConfig config, File file)
void	run(SATConfig config, String filename)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SATExportService

public SATExportService()

Method Detail

run

public void run(SATConfig config,
                String filename)
         throws Exception

Throws:

Exception

export

public void export(SATConfig config,
                   File file)
            throws Exception

Throws:

Exception