#include <state_encoding_targets.h>

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

	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

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 122 of file state_encoding_targets.h.

Constructor & Destructor Documentation

◆ ascii_encoding_targett() [1/2]

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

inlineexplicit

Definition at line 125 of file state_encoding_targets.h.

◆ ascii_encoding_targett() [2/2]

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

inlineexplicit

Definition at line 309 of file horn_encoding.cpp.

Member Function Documentation

◆ annotation() [1/2]

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

inlineoverridevirtual

Reimplemented from encoding_targett.

Definition at line 131 of file state_encoding_targets.h.

◆ annotation() [2/2]

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() [1/2]

void ascii_encoding_targett::set_to_true	(	source_locationt	,
		exprt	expr
	)

overridevirtual

Implements encoding_targett.

Definition at line 16 of file state_encoding_targets.cpp.

◆ set_to_true() [2/2]

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 138 of file state_encoding_targets.h.

◆ out

std::ostream & ascii_encoding_targett::out