decompiler
1.0.0
|
A record for caching a Cover intersection test between two HighVariable objects. More...
#include <variable.hh>
Public Member Functions | |
bool | operator< (const HighEdge &op2) const |
Comparator. | |
HighEdge (HighVariable *c, HighVariable *d) | |
Constructor. | |
Private Attributes | |
HighVariable * | a |
First HighVariable of the pair. | |
HighVariable * | b |
Second HighVariable of the pair. | |
Friends | |
class | HighIntersectTest |
A record for caching a Cover intersection test between two HighVariable objects.
This is just a pair of HighVariable objects that can be used as a map key. The HighIntersectTest class uses it to cache intersection test results between the two variables in a map.