cprover
prop_assignment.cpp
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module:
4
5
Author: Daniel Kroening, kroening@kroening.com
6
7
\*******************************************************************/
8
9
10
#include "
prop_assignment.h
"
11
12
prop_assignmentt::~prop_assignmentt
()
13
{
14
}
prop_assignment.h
prop_assignmentt::~prop_assignmentt
virtual ~prop_assignmentt()
Definition:
prop_assignment.cpp:12
solvers
prop
prop_assignment.cpp
Generated by
1.8.12