CBMC
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:
+ 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: