Interface IRewriterTraceCollector

    • Method Detail

      • addTrace

        void addTrace​(PTraceable origin,
                      PTraceable derivative)
        Mark the given derivative to be originated from the given original constraint.
      • derivativeRemoved

        void derivativeRemoved​(PTraceable derivative,
                               IDerivativeModificationReason reason)
        Indicate that the given derivative is removed from the resulting query, thus its trace information should be removed also.