CBMC
|
#include <state_encoding_targets.h>
Public Member Functions | |
virtual void | annotation (const std::string &) |
virtual void | set_to_true (source_locationt, exprt)=0 |
void | set_to_true (exprt expr) |
void | set_source_location (source_locationt __source_location) |
virtual | ~encoding_targett ()=default |
virtual void | annotation (const std::string &) |
virtual void | set_to_true (source_locationt, exprt)=0 |
void | set_to_true (exprt expr) |
void | set_source_location (source_locationt __source_location) |
virtual | ~encoding_targett ()=default |
Protected Attributes | |
source_locationt | source_location = source_locationt::nil() |
Definition at line 16 of file state_encoding_targets.h.
|
virtualdefault |
|
virtualdefault |
Reimplemented in smt2_encoding_targett, ascii_encoding_targett, smt2_encoding_targett, and ascii_encoding_targett.
Definition at line 19 of file state_encoding_targets.h.
Reimplemented in smt2_encoding_targett, ascii_encoding_targett, smt2_encoding_targett, and ascii_encoding_targett.
Definition at line 217 of file horn_encoding.cpp.
|
inline |
Definition at line 30 of file state_encoding_targets.h.
|
inline |
Definition at line 228 of file horn_encoding.cpp.
Definition at line 25 of file state_encoding_targets.h.
Definition at line 223 of file horn_encoding.cpp.
|
pure virtual |
|
pure virtual |
|
protected |
Definition at line 38 of file state_encoding_targets.h.