ana::fact_visitor Class Reference

#include <constraint-manager.h>

Public Member Functions
virtual	~fact_visitor ()
virtual void	on_fact (const svalue *lhs, enum tree_code, const svalue *rhs)=0
virtual void	on_ranges (const svalue *lhs, const bounded_ranges *ranges)=0

Detailed Description

An abstract base class for use with constraint_manager::for_each_fact.   

Constructor & Destructor Documentation

~fact_visitor()

virtual ana::fact_visitor::~fact_visitor ( )

inlinevirtual

Member Function Documentation

on_fact()

virtual void ana::fact_visitor::on_fact ( const svalue * lhs, enum tree_code, const svalue * rhs )

pure virtual

on_ranges()

virtual void ana::fact_visitor::on_ranges ( const svalue * lhs, const bounded_ranges * ranges )

pure virtual

---

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

• constraint-manager.h