|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <typecheck.h>
Public Member Functions | |
| virtual | ~typecheckt ()=default |
| bool | typecheck_main () |
Protected Member Functions | |
| virtual void | typecheck ()=0 |
|
virtualdefault |
|
protectedpure virtual |
| bool typecheckt::typecheck_main | ( | ) |