grph.io

Class DimacsWriter

java.lang.Object

grph.io.AbstractGraphWriter

grph.io.AbstractGraphTextWriter

grph.io.DimacsWriter

public class DimacsWriter
extends AbstractGraphTextWriter

Field Summary

Fields inherited from class grph.io.AbstractGraphWriter

extension_writer

Constructor Summary

Constructors

Constructor and Description
DimacsWriter()

Method Summary

Modifier and Type	Method and Description
static void	main(java.lang.String[] args)
static void	printExampleCode()
void	printGraph(Grph g, java.io.PrintStream os)

Methods inherited from class grph.io.AbstractGraphTextWriter

printGraph, writeGraph

Methods inherited from class grph.io.AbstractGraphWriter

findWriter, getExtensions, writeGraph, writeGraph

Methods inherited from class java.lang.Object

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

Constructor Detail

DimacsWriter

public DimacsWriter()

Method Detail

printGraph

public void printGraph(Grph g,
                       java.io.PrintStream os)

Specified by:

printGraph in class AbstractGraphTextWriter

main

public static void main(java.lang.String[] args)
                 throws java.io.IOException,
                        ParseException,
                        GraphBuildException

Throws:

java.io.IOException

ParseException

GraphBuildException

printExampleCode

public static void printExampleCode()