Class SearchModule

    • Constructor Detail

      • SearchModule

        public SearchModule()
        search implementation, without timeout (search until solution is found)
    • Method Detail

      • onSolution

        public void onSolution​(boolean solution)
        Description copied from interface: SolutionListener
        a handler called when a solution is found.
        Specified by:
        onSolution in interface SolutionListener
        Parameters:
        solution - true when the solution is Satisfiable, false if it is Unsatisfiable.
      • onStart

        public void onStart()
        perform search on the given solver, without limit of time. Must be called at most once after initialize() was called.
        Specified by:
        onStart in interface StartStopListener
      • search

        private void search()
        main search loop
      • initializeTask

        private void initializeTask()
        creates a thread and runs it
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object
      • initialize

        public void initialize​(Core core)
        Description copied from interface: SolverComponent
        initializes the component with the given solver. May be called only once. This method must register the component to the solver for the run.
        Specified by:
        initialize in interface SolverComponent
        Parameters:
        core - core component to initialize