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