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