org.dllearner.scripts
Class ConfigJavaGenerator

java.lang.Object
  org.dllearner.scripts.ConfigJavaGenerator

public final class ConfigJavaGenerator
extends Object

Collects information about all used configuration options and writes them into a file. This way the documentation is always in sync with the source code.

Author:

Jens Lehmann, Sebastian Hellmann

Method Summary

static void

main(String[] args)

Methods inherited from class java.lang.Object

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

Method Detail

main

public static void main(String[] args)

Parameters:

args - none