Interface IncrementalSolver

    • Method Detail

      • popClauses

        void popClauses()
      • pushClauses

        void pushClauses​(int... clauses)
      • pushClauses

        void pushClauses​(com.google.common.primitives.ImmutableIntArray clauses)