org.ginsim.service.export.prism

Class PRISMEncoder

java.lang.Object

org.ginsim.service.export.prism.PRISMEncoder

public class PRISMEncoder
extends Object

Exports a Regulatory graph into a PRISM model description.

Author:

Pedro T. Monteiro

Constructor Summary

Constructors

Constructor and Description
PRISMEncoder()

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

PRISMEncoder

public PRISMEncoder()

Method Detail

write

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

Export the graph to a PRISM model description

Parameters:

config - the user defined parameters with the model

out - the writer receiving the encoded model description

Throws:

IOException

GsException