org.sat4j.sat.visu
Class GnuplotDataFile

java.lang.Object
  org.sat4j.sat.visu.GnuplotDataFile

public class GnuplotDataFile
extends Object

Constructor Summary

GnuplotDataFile(String filename)

GnuplotDataFile(String filename, Color color, String title)

GnuplotDataFile(String filename, Color color, String title, String style)

Method Summary

Color	getColor()
String	getFilename()
String	getStyle()
String	getTitle()
void	setColor(Color color)
void	setFilename(String filename)
void	setStyle(String style)
void	setTitle(String title)

Methods inherited from class java.lang.Object

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

Constructor Detail

GnuplotDataFile

public GnuplotDataFile(String filename)

GnuplotDataFile

public GnuplotDataFile(String filename,
                       Color color,
                       String title)

GnuplotDataFile

public GnuplotDataFile(String filename,
                       Color color,
                       String title,
                       String style)

Method Detail

getFilename

public String getFilename()

setFilename

public void setFilename(String filename)

getColor

public Color getColor()

setColor

public void setColor(Color color)

getTitle

public String getTitle()

setTitle

public void setTitle(String title)

getStyle

public String getStyle()

setStyle

public void setStyle(String style)