Interface ClauseAction

public interface ClauseAction

  • Method Details

    • getPredicate

      Predicate getPredicate(Term input)

    • getModel

      ClauseModel getModel()

    • isRetryable

      boolean isRetryable()

    • isAlwaysCutOnBacktrack

      boolean isAlwaysCutOnBacktrack()