public class TokenGraphDumper
extends java.lang.Object
Constructor and Description |
---|
TokenGraphDumper(Result result)
Constructs a TokenGraphDumper from the given result.
|
Modifier and Type | Method and Description |
---|---|
java.lang.String |
dumpGDL(java.lang.String title)
Dumps the GDL output.
|
void |
dumpGDL(java.lang.String title,
java.lang.String fileName)
Dumps the GDL output of the search space to the given file.
|
public TokenGraphDumper(Result result)
result
- The result which search space we want to dump.public void dumpGDL(java.lang.String title, java.lang.String fileName)
title
- the title of the GDL graphfileName
- filename to storepublic java.lang.String dumpGDL(java.lang.String title)
title
- the title of the GDL graph