Class SelectiveCPAContext

  • All Implemented Interfaces:
    Context

    public class SelectiveCPAContext
    extends Object
    implements Context
    A selective Cartesian product context that enforces object sensitivity on some set of parameter positions.