public class SelectCommand.Parameters
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
java.lang.String |
branch
The name of the branch to select
|
Term |
formula
A formula defining the goal to select
|
java.lang.Integer |
number
The number of the goal to select, starts with 0
|
Constructor and Description |
---|
Parameters() |
public Term formula
public java.lang.Integer number
public java.lang.String branch