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
#include <cassert>
15
16
bool
decision_proceduret::in_core
(
const
exprt
&expr)
17
{
18
assert(
false
);
19
return
true
;
20
}
decision_procedure.h
Decision Procedure Interface.
decision_proceduret::in_core
virtual bool in_core(const exprt &expr)
Definition:
decision_procedure.cpp:16
exprt
Base class for all expressions.
Definition:
expr.h:46
util
decision_procedure.cpp
Generated by
1.8.12