Package | Description |
---|---|
de.uka.ilkd.key.axiom_abstraction.predicateabstraction | |
org.key_project.util.bitops |
Modifier and Type | Method and Description |
---|---|
java.util.ArrayList<java.util.ArrayList<ImmutableFixedLengthBitSet>> |
AbstractPredicateAbstractionLattice.AbstractPredicateLatticeIterator.getBitSetsByNumZeroes() |
Modifier and Type | Method and Description |
---|---|
ImmutableFixedLengthBitSet |
ImmutableFixedLengthBitSet.inc()
Returns a new
ImmutableFixedLengthBitSet with a value incremented
by one compared to this ImmutableFixedLengthBitSet . |
ImmutableFixedLengthBitSet |
ImmutableFixedLengthBitSet.setToValue(int value)
Sets this
ImmutableFixedLengthBitSet to the given value. |
Copyright © 2003-2019 The KeY-Project.