encoding_targett Class Reference

Inheritance diagram for encoding_targett:

Collaboration diagram for encoding_targett:

Public Member Functions
virtual void	annotation (const std::string &)
virtual void	set_to_true (source_locationt, exprt)=0
void	set_to_true (exprt expr)
void	set_source_location (source_locationt __source_location)
virtual	~encoding_targett ()=default

Protected Attributes
source_locationt	source_location = source_locationt::nil()

Detailed Description

Definition at line 214 of file horn_encoding.cpp.

Constructor & Destructor Documentation

~encoding_targett()

virtual encoding_targett::~encoding_targett ( )

virtualdefault

Member Function Documentation

annotation()

virtual void encoding_targett::annotation ( const std::string &  )

inlinevirtual

Reimplemented in ascii_encoding_targett, and smt2_encoding_targett.

Definition at line 217 of file horn_encoding.cpp.

set_source_location()

void encoding_targett::set_source_location ( source_locationt  __source_location )

inline

Definition at line 228 of file horn_encoding.cpp.

set_to_true() [1/2]

void encoding_targett::set_to_true ( exprt  expr )

inline

Definition at line 223 of file horn_encoding.cpp.

set_to_true() [2/2]

virtual void encoding_targett::set_to_true ( source_locationt  , exprt    )

pure virtual

Implemented in ascii_encoding_targett, smt2_encoding_targett, and container_encoding_targett.

Member Data Documentation

source_location

source_locationt encoding_targett::source_location = source_locationt::nil()

protected

Definition at line 236 of file horn_encoding.cpp.

---

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

• /home/runner/work/cbmc-documentation/cbmc-documentation/src/goto-instrument/horn_encoding.cpp