Interface Scheduler

All Known Implementing Classes:
NaiveDynamicScheduler, NoScheduler, SimpleScheduler
public interface Scheduler
A scheduler gives the next part of the conjunction to evaluate given the current level on the backtrack. This order can either be static or dynamic and can change according to executions.

  • Method Summary

    Modifier and Type
    Method
    Description
    boolean
    hasNext(int level)
    Indicates whether another formula remains to evaluate at the supplied level.
    FOFormula
    next(int level, Substitution currentSolution)
    Returns the next formula to evaluate at the supplied level.

  • Method Details

    • next

      FOFormula next(int level, Substitution currentSolution)
      Returns the next formula to evaluate at the supplied level.
      Parameters:
      level - the current level
      currentSolution - the current solution
      Returns:
      the next element to evaluate at the given level

    • hasNext

      boolean hasNext(int level)
      Indicates whether another formula remains to evaluate at the supplied level.
      Parameters:
      level - the current level
      Returns:
      true iff there is a next element to evaluate at the given level