org.ginsim.servicegui.export.sat

Class SATExportServiceGUI

java.lang.Object

org.ginsim.gui.service.AbstractServiceGUI

org.ginsim.servicegui.export.sat.SATExportServiceGUI

All Implemented Interfaces:

ServiceGUI

@MetaInfServices(value=ServiceGUI.class)
 @StandaloneGUI
 @ServiceStatus(value=RELEASED)
public class SATExportServiceGUI
extends AbstractServiceGUI

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

Author:

Pedro T. Monteiro

Field Summary

Fields inherited from interface org.ginsim.gui.service.ServiceGUI

separators, W_EXPORT_DOC, W_EXPORT_GENERIC, W_EXPORT_SPECIFIC, W_GRAPH_COLORIZE, W_GRAPH_SELECTION, W_TOOLKITS_MAIN, W_TOOLS_MAIN, W_UNDER_DEVELOPMENT

Constructor Summary

Constructors

Constructor and Description
SATExportServiceGUI()

Method Summary

Modifier and Type	Method and Description
List<Action>	getAvailableActions(Graph<?,?> graph) Give access to the list of the actions that the service provides for the given graph.
int	getInitialWeight() Give a weight for the service, as defined by the developer.

Methods inherited from class org.ginsim.gui.service.AbstractServiceGUI

getWeight, setWeight

Methods inherited from class java.lang.Object

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

Constructor Detail

SATExportServiceGUI

public SATExportServiceGUI()

Method Detail

getAvailableActions

public List<Action> getAvailableActions(Graph<?,?> graph)

Description copied from interface: ServiceGUI

Give access to the list of the actions that the service provides for the given graph. These actions can be divided into four types: - Import : data import from file of various format. Represented by the ImportAction class - Export : data export to file of various format. Represented by the ExportAction class - Layout : Perform a graph layout. Represented by the LayoutAction class - Action : various data management algorithm. Represented by the GsMiscAction class

Returns:

the list of actions provided by the service to the given graph type

getInitialWeight

public int getInitialWeight()

Description copied from interface: ServiceGUI

Give a weight for the service, as defined by the developer.

Returns:

a positive weight or -1 if unsure