cprover
range_domain_baset Class Referenceabstract

#include <goto_rw.h>

Inheritance diagram for range_domain_baset:
[legend]

Public Member Functions

virtual ~range_domain_baset ()
 
virtual void output (const namespacet &ns, std::ostream &out) const =0
 

Detailed Description

Definition at line 44 of file goto_rw.h.

Constructor & Destructor Documentation

◆ ~range_domain_baset()

range_domain_baset::~range_domain_baset ( )
virtual

Definition at line 28 of file goto_rw.cpp.

Member Function Documentation

◆ output()

virtual void range_domain_baset::output ( const namespacet ns,
std::ostream &  out 
) const
pure virtual

Implemented in guarded_range_domaint, and range_domaint.


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