cprover
decision_procedure.cpp
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module: Decision Procedure Interface
4
5
Author: Daniel Kroening, kroening@kroening.com
6
7
\*******************************************************************/
8
11
12
#include "
decision_procedure.h
"
13
14
decision_proceduret::~decision_proceduret
()
15
{
16
}
decision_proceduret::~decision_proceduret
virtual ~decision_proceduret()
Definition:
decision_procedure.cpp:14
decision_procedure.h
Decision Procedure Interface.
util
decision_procedure.cpp
Generated by
1.8.14