ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
typecheckt Class Referenceabstract

#include <typecheck.h>

Public Member Functions

virtual ~typecheckt ()=default
bool typecheck_main ()

Protected Member Functions

virtual void typecheck ()=0

Constructor & Destructor Documentation

◆ ~typecheckt()

virtual typecheckt::~typecheckt ( )
virtualdefault

Member Function Documentation

◆ typecheck()

virtual void typecheckt::typecheck ( )
protectedpure virtual

◆ typecheck_main()

bool typecheckt::typecheck_main ( )

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