Package | Description |
---|---|
jtabwb.launcher |
Implementation of a command line launcher for provers.
|
Modifier and Type | Method and Description |
---|---|
_AbstractGoal |
_InitialGoalBuilder.buildInitialNodeSet(ProblemDescription inputProblem)
Build a goal from the specified problem description.
|