org.ginsim.service.export.sat

Class SATEncoder

java.lang.Object

org.ginsim.service.export.sat.SATEncoder

public class SATEncoder
extends Object

Exports a Regulatory graph into a SAT model description.

Author:

Pedro T. Monteiro

Constructor Summary

Constructors

Constructor and Description
SATEncoder()

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

SATEncoder

public SATEncoder()

Method Detail

write

public void write(SATConfig config,
                  Writer out)
           throws Exception

Export the graph to a SAT model description

Parameters:

config - the user defined parameters with the model

out - the writer receiving the encoded model description

Throws:

Exception