org.ginsim.service.export.nusmv

Class NuSMVEncoder

java.lang.Object

org.ginsim.service.export.nusmv.NuSMVEncoder

public class NuSMVEncoder
extends Object

Exports a GINsim Regulatory graph into a NuSMV model description.

Author:

Pedro T. Monteiro

Constructor Summary

Constructors

Constructor and Description
NuSMVEncoder()

Method Summary

Modifier and Type	Method and Description
void	write(NuSMVConfig config, Writer out) Export the graph to a NUSMV model description

Methods inherited from class java.lang.Object

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

Constructor Detail

NuSMVEncoder

public NuSMVEncoder()

Method Detail

write

public void write(NuSMVConfig config,
                  Writer out)
           throws IOException,
                  GsException

Export the graph to a NUSMV model description

Parameters:

config - the user defined parameters with the model

out - the writer receiving the encoded model description

Throws:

IOException

GsException