Class BasicPreprocessor

java.lang.Object
org.jacop.jasat.utils.BasicPreprocessor

public class BasicPreprocessor extends Object
a basic preprocessor. It aims at removing trivial clauses
Version:
4.10
  • Field Details

  • Constructor Details

    • BasicPreprocessor

      public BasicPreprocessor(Core core)
  • Method Details

    • addModelClause

      public void addModelClause(IntVec clause)
      add a clause (just parsed from a file, e.g.) to the solver, after processing
      Parameters:
      clause - clause to be added
    • simplifyClause

      private int simplifyClause(IntVec clause)
      simplify the clause by removing duplicates and checking for triviality.
      Parameters:
      clause - the clause to simplify
      Returns:
      the status of the clause (see at beginning)