C# (CSharp) PAT.Common.Classes.LTL2DRA APElement.getBitSet Exemples

Exemple #1

        public void set(APElement label, T to)
        {
            if (label.getBitSet() >= _arraySize)
            {
                throw new IndexOutOfBoundsException(""); //IndexOutOfBoundsException,
            }

            _storage[label.getBitSet()] = to;
        }

Exemple #2

        /** Get the target of the edge labeled with label*/
        public T get(APElement label)
        {
            if (label.getBitSet() >= _arraySize)
            {
                throw new IndexOutOfBoundsException(""); //,
            }

            return(_storage[label.getBitSet()]);
        }