ROSE  0.9.10.91
Public Member Functions | List of all members
Rose::BinaryAnalysis::DataFlow::PathAlwaysFeasible< CFG, State > Class Template Reference

Description

template<class CFG, class State>
class Rose::BinaryAnalysis::DataFlow::PathAlwaysFeasible< CFG, State >

Trivial path feasibility predicate.

This path feasibility predicate always returns true. This causes the data-flow to be path insensitive and always follow all edges when propagating states along edges.

Definition at line 240 of file BinaryDataFlow.h.

#include <BinaryDataFlow.h>

Public Member Functions

bool operator() (const CFG &, const typename CFG::Edge &, const State &)
 

The documentation for this class was generated from the following file: