Uses of Class
jtabwb.launcher.InitialGoalBuilderException

Packages that use InitialGoalBuilderException

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

Uses of InitialGoalBuilderException in jtabwb.launcher

Methods in jtabwb.launcher that throw InitialGoalBuilderException

Modifier and Type	Method and Description
_AbstractGoal	_InitialGoalBuilder.buildInitialNodeSet(ProblemDescription inputProblem) Build a goal from the specified problem description.