GnuplotDataFile (SAT4J sat 2.3.3 API)

public class GnuplotDataFile
extends Object

Constructors
Constructor and Description
`GnuplotDataFile(String filename)`
`GnuplotDataFile(String filename, Color color, String title)`
`GnuplotDataFile(String filename, Color color, String title, String style)`

Methods
Modifier and Type	Method and Description
`Color`	`getColor()`
`String`	`getFilename()`
`String`	`getStyle()`
`String`	`getTitle()`
`void`	`setColor(Color color)`
`void`	`setFilename(String filename)`
`void`	`setStyle(String style)`
`void`	`setTitle(String title)`

public GnuplotDataFile(String filename)

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

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

public void setFilename(String filename)

Class GnuplotDataFile