cprover
reaching_definitions.h File Reference

Range-based reaching definitions analysis (following Field- Sensitive Program Dependence Analysis, Litvak et al., FSE 2010) More...

#include <util/base_exceptions.h>
#include <util/threeval.h>
#include "ai.h"
#include "goto_rw.h"
Include dependency graph for reaching_definitions.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  sparse_bitvector_analysist< V >
 
struct  reaching_definitiont
 
class  rd_range_domaint
 
class  reaching_definitions_analysist
 

Functions

bool operator< (const reaching_definitiont &a, const reaching_definitiont &b)
 

Detailed Description

Range-based reaching definitions analysis (following Field- Sensitive Program Dependence Analysis, Litvak et al., FSE 2010)

Definition in file reaching_definitions.h.

Function Documentation

◆ operator<()