Class SolverState

java.lang.Object
org.jacop.jasat.core.SolverState

public final class SolverState extends Object
  • Field Details

  • Constructor Details

    • SolverState

      public SolverState()
  • Method Details

    • show

      public static String show(int state)
      It gives a nice representation of the state.
      Parameters:
      state - the state
      Returns:
      a string representing the state