Class DerivedVariableFilter


  • public class DerivedVariableFilter
    extends InvariantFilter
    A filter that filters out invariants that contain derived variables of a specified derivation. If the derivation class name contains the regular expression in dkconfig_class_re, the invariant is filtered out. By default, no derived variables are matched.