CBMC
Public Member Functions | Protected Attributes | List of all members
ascii_encoding_targett Class Reference
+ Inheritance diagram for ascii_encoding_targett:
+ Collaboration diagram for ascii_encoding_targett:

Public Member Functions

 ascii_encoding_targett (std::ostream &_out)
 
void set_to_true (source_locationt, exprt) override
 
void annotation (const std::string &text) override
 
- Public Member Functions inherited from encoding_targett
void set_to_true (exprt expr)
 
void set_source_location (source_locationt __source_location)
 
virtual ~encoding_targett ()=default
 

Protected Attributes

std::ostream & out
 
std::size_t counter = 0
 
- Protected Attributes inherited from encoding_targett
source_locationt source_location = source_locationt::nil()
 

Detailed Description

Definition at line 306 of file horn_encoding.cpp.

Constructor & Destructor Documentation

◆ ascii_encoding_targett()

ascii_encoding_targett::ascii_encoding_targett ( std::ostream &  _out)
inlineexplicit

Definition at line 309 of file horn_encoding.cpp.

Member Function Documentation

◆ annotation()

void ascii_encoding_targett::annotation ( const std::string &  text)
inlineoverridevirtual

Reimplemented from encoding_targett.

Definition at line 315 of file horn_encoding.cpp.

◆ set_to_true()

void ascii_encoding_targett::set_to_true ( source_locationt  ,
exprt   
)
overridevirtual

Implements encoding_targett.

Member Data Documentation

◆ counter

std::size_t ascii_encoding_targett::counter = 0
protected

Definition at line 322 of file horn_encoding.cpp.

◆ out

std::ostream& ascii_encoding_targett::out
protected

Definition at line 321 of file horn_encoding.cpp.

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