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

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
 
- 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
 

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 239 of file horn_encoding.cpp.

Member Typedef Documentation

◆ constraintst

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

Definition at line 244 of file horn_encoding.cpp.

Constructor & Destructor Documentation

◆ container_encoding_targett()

container_encoding_targett::container_encoding_targett ( )
default

Member Function Documentation

◆ set_to_true()

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 245 of file horn_encoding.cpp.

◆ last_source_location

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

Definition at line 256 of file horn_encoding.cpp.

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