Class MAMOptions

java.lang.Object
jline.solvers.SolverOptions
jline.solvers.mam.MAMOptions

public class MAMOptions extends SolverOptions
  • Field Details

    • maxStates

      public int maxStates
  • Constructor Details

    • MAMOptions

      public MAMOptions()
  • Method Details

    • maxStates

      public MAMOptions maxStates(int maxStates)