ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
property_encoder Class Reference

#include <property_encoder.h>

Public Member Functions

 property_encoder (contextt &context, const std::string &source_file)
code_blockt encode (const std::vector< LdProperty > &props)

Constructor & Destructor Documentation

◆ property_encoder()

property_encoder::property_encoder ( contextt & context,
const std::string & source_file )

Member Function Documentation

◆ encode()

code_blockt property_encoder::encode ( const std::vector< LdProperty > & props)

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