#include "ModelChecker.h" ModelChecker::ModelChecker() { //ctor } ModelChecker::~ModelChecker() { //dtor }