Package | Description |
---|---|
de.uka.ilkd.key.axiom_abstraction.predicateabstraction | |
org.key_project.util.bitops |
Class and Description |
---|
ImmutableFixedLengthBitSet
Represents a non-negative number with access to single bits; the length of
the bit set is fixed.
|
Class and Description |
---|
ImmutableFixedLengthBitSet
Represents a non-negative number with access to single bits; the length of
the bit set is fixed.
|
Copyright © 2003-2019 The KeY-Project.