Loading...

Searching...

No Matches

Public Types | Public Member Functions | Public Attributes | Protected Attributes | List of all members

container_encoding_targett Class Reference

#include <state_encoding_targets.h>

+ Inheritance diagram for container_encoding_targett:

[フレーム]

[legend]

+ Collaboration diagram for container_encoding_targett:

[フレーム]

[legend]

Public Types

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