Class LinearProbingVarMapping

    • Method Detail

      • set

        @CheckReturnValue
        public SettableVarMapping set​(int symHandle,
                                      Val val)
        Description copied from interface: SettableVarMapping
        Assigns newVal to the variable specified by symHandle.
        Specified by:
        set in interface SettableVarMapping
        Parameters:
        symHandle - the sym handle of the variable.
        val - the new target of the variable.
        Returns:
        the variable mapping after assignment; it can be this.
      • get

        @Nullable
        public Val get​(int symHandle)
        Description copied from interface: VarMapping
        Gets the target of the var, or null if absent.
        Specified by:
        get in interface VarMapping
        Parameters:
        symHandle - the sym handle of the var.
        Returns:
        the target of the var, or null if absent.
      • has

        public boolean has​(int symHandle)
        Description copied from interface: VarMapping
        Returns true if the var mapping has the var, otherwise false.
        Specified by:
        has in interface VarMapping
        Parameters:
        symHandle - the sym handle of the var.
        Returns:
        true if the var mapping has the var, otherwise false.
      • symHandleSet

        public Set<Integer> symHandleSet()
        Description copied from interface: VarMapping
        Returns the set of the sym handles of the vars in this var mapping.
        Specified by:
        symHandleSet in interface VarMapping
        Returns:
        the set of the sym handles of the vars in this var mapping.