Uses of Interface
jtabwb.launcher._InitialGoalBuilder

Packages that use _InitialGoalBuilder

Package	Description
jtabwb.launcher	Implementation of a command line launcher for provers.

Uses of _InitialGoalBuilder in jtabwb.launcher

Methods in jtabwb.launcher with parameters of type _InitialGoalBuilder

Modifier and Type	Method and Description
void	Launcher.configInitialNodeSetBuilder(_InitialGoalBuilder builder) Defines the initial node set builder to use.