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: - "default" or "heur": Heuristic-based selection - "ai": AI-based selection using trained classifier - "nn": Neural network-based selection
    • 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