Documentation for the CircleRange class. More...
#include "op.hh"
Include dependency graph for rangeutil.hh:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Classes | |
| class | CircleRange |
| A class for manipulating integer value ranges. More... | |
| class | ValueSet |
| A range of values attached to a Varnode within a data-flow subsystem. More... | |
| class | ValueSet::Equation |
| An external that can be applied to a ValueSet. More... | |
| class | Partition |
| A range of nodes (within the weak topological ordering) that are iterated together. More... | |
| class | ValueSetRead |
| A special form of ValueSet associated with the read point of a Varnode. More... | |
| class | Widener |
| Class holding a particular widening strategy for the ValueSetSolver iteration algorithm. More... | |
| class | WidenerFull |
| Class for doing normal widening. More... | |
| class | WidenerNone |
| Class for freezing value sets at a specific iteration (to accelerate convergence) More... | |
| class | ValueSetSolver |
| Class that determines a ValueSet for each Varnode in a data-flow system. More... | |
Detailed Description
Documentation for the CircleRange class.
