Package daikon

Class ModBitTracker

    • Constructor Detail

      • ModBitTracker

        public ModBitTracker​(int num_vars)
        Creates a ModBitTracker.
        Parameters:
        num_vars - number of variables to allocate space for
    • Method Detail

      • num_sets

        public int num_sets()
        Accessor for testing only.
      • checkRep

        public void checkRep​(@UnknownInitialization(ModBitTracker.class) ModBitTracker this)
        Check the representation invariant.
      • get

        public BitSet get​(int varindex)
        Returns a BitSet of modbit values for the given variable. The caller must not modify the returned value!
      • get

        public boolean get​(int varindex,
                           int sampleno)
        Returns the modbit for the given variable and sample number.
      • add

        public void add​(ValueTuple vt,
                        int count)
        Add to this the modbits for the given ValueTuple.