Class AUTOptions

java.lang.Object
jline.solvers.SolverOptions
jline.solvers.auto.AUTOptions

public class AUTOptions extends SolverOptions
Options specific to the AUTO solver
  • Field Details

    • selectionMethod

      public String selectionMethod
      Method for solver selection. Either a SELECTION INTENT -- "default" or "heur" (heuristic), "sim", "exact", "fast", "accurate", "bound" -- or a method FAMILY that pins the delegate outright ("nc", "mva", ..., optionally qualified as "nc.comom").

      "ai" and "nn" are NOT among them. Both were documented here while SolverAUTO.METHOD_AI sat commented out as "not yet available", so this javadoc invited a caller to ask for a classifier that does not exist; SolverAUTO.resolveMethodToken now rejects an unknown token by name and lists what it will take.

    • forceSolver

      public String forceSolver
      Force a specific solver (overrides automatic selection) Valid values: "mva", "nc", "mam", "fluid", "jmt", "ssa", "ctmc"
  • Constructor Details

    • AUTOptions

      public AUTOptions()
      Default constructor
    • AUTOptions

      public AUTOptions(String selectionMethod)
      Constructor with method
    • AUTOptions

      public AUTOptions(SolverOptions options)
      Copy constructor from base options
  • Method Details

    • copy

      public SolverOptions copy()
      Description copied from class: SolverOptions
      Creates a deep copy of this SolverOptions instance. All fields including nested objects are properly cloned.
      Overrides:
      copy in class SolverOptions
      Returns:
      a deep copy of this options object