Uses of Class
jline.solvers.ag.AGOptions

Packages that use AGOptions

Package	Description
jline.solvers.ag

Uses of AGOptions in jline.solvers.ag

Methods in jline.solvers.ag that return AGOptions

Modifier and Type	Method	Description
static AGOptions	SolverAG.defaultOptions()
AGOptions	AGOptions.endpoint(String hostPort)
AGOptions	AGOptions.exec(String exec)
AGOptions	AGOptions.maxStates(int maxStates)
AGOptions	AGOptions.nworkers(int nworkers)
AGOptions	AGOptions.workerTimeout(double seconds)

Methods in jline.solvers.ag with parameters of type AGOptions

Modifier and Type	Method	Description
static AgExec	AgExec.create(AGOptions options)	Resolve the backend named by the options.