Package it.unive.lisa.analysis.value
-
Interface Summary Interface Description ValueDomain<D extends ValueDomain<D>> A semantic domain that can evaluate the semantic of statements that operate on values, and not on memory locations.
| Interface | Description |
|---|---|
| ValueDomain<D extends ValueDomain<D>> |
A semantic domain that can evaluate the semantic of statements that operate
on values, and not on memory locations.
|