Class BasicPreprocessor


  • public class BasicPreprocessor
    extends java.lang.Object
    a basic preprocessor. It aims at removing trivial clauses
    Version:
    4.7
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void addModelClause​(IntVec clause)
      add a clause (just parsed from a file, e.g.) to the solver, after processing
      private int simplifyClause​(IntVec clause)
      simplify the clause by removing duplicates and checking for triviality.
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • BasicPreprocessor

        public BasicPreprocessor​(Core core)
    • Method Detail

      • 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)