container_encoding_targett Class Reference

#include <state_encoding_targets.h>

Inheritance diagram for container_encoding_targett:

Collaboration diagram for container_encoding_targett:

Public Types
using	constraintst = std::vector< exprt >
using	constraintst = std::vector< exprt >

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

Public Attributes
constraintst	constraints

Protected Attributes
source_locationt	last_source_location = source_locationt::nil()
Protected Attributes inherited from encoding_targett
source_locationt	source_location = source_locationt::nil()

Detailed Description

Definition at line 41 of file state_encoding_targets.h.

Member Typedef Documentation

constraintst [1/2]

using container_encoding_targett::constraintst = std::vector<exprt>

Definition at line 46 of file state_encoding_targets.h.

constraintst [2/2]

using container_encoding_targett::constraintst = std::vector<exprt>

Definition at line 244 of file horn_encoding.cpp.

Constructor & Destructor Documentation

container_encoding_targett() [1/2]

container_encoding_targett::container_encoding_targett ( )

default

container_encoding_targett() [2/2]

container_encoding_targett::container_encoding_targett ( )

default

Member Function Documentation

set_to_true() [1/2]

void container_encoding_targett::set_to_true ( source_locationt  source_location, exprt  expr  )

inlineoverridevirtual

Implements encoding_targett.

Definition at line 49 of file state_encoding_targets.h.

set_to_true() [2/2]

void container_encoding_targett::set_to_true ( source_locationt  source_location, exprt  expr  )

inlineoverridevirtual

Implements encoding_targett.

Definition at line 247 of file horn_encoding.cpp.

Member Data Documentation

constraints

constraintst container_encoding_targett::constraints

Definition at line 47 of file state_encoding_targets.h.

last_source_location

source_locationt container_encoding_targett::last_source_location = source_locationt::nil()

protected

Definition at line 58 of file state_encoding_targets.h.

---

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

• /home/runner/work/cbmc/cbmc/src/cprover/state_encoding_targets.h
• /home/runner/work/cbmc/cbmc/src/goto-instrument/horn_encoding.cpp