Package | Description |
---|---|
jtabwb.launcher |
Implementation of a command line launcher for provers.
|
Modifier and Type | Method and Description |
---|---|
void |
Launcher.configInitialNodeSetBuilder(_InitialGoalBuilder builder)
Defines the initial node set builder to use.
|