decision_procedure.cpp

Go to the documentation of this file.

/*******************************************************************\
 
Module: Decision Procedure Interface
 
Author: Daniel Kroening, kroening@kroening.com
 
\*******************************************************************/
 
 
#include "decision_procedure.h"
 
#include <util/std_expr.h>
 
decision_proceduret::~decision_proceduret()
{
}
decision_proceduret::~decision_proceduret() {…}
 
decision_proceduret::resultt decision_proceduret::operator()()
{
  return dec_solve(nil_exprt());
}
decision_proceduret::resultt decision_proceduret::operator()() {…}
 
decision_proceduret::resultt
decision_proceduret::operator()(const exprt &assumption)
{
  return dec_solve(assumption);
}
decision_proceduret::operator()(const exprt &assumption) {…}
 
void decision_proceduret::set_to_true(const exprt &expr)
{
  set_to(expr, true);
}
void decision_proceduret::set_to_true(const exprt &expr) {…}
 
void decision_proceduret::set_to_false(const exprt &expr)
{
  set_to(expr, false);
}
void decision_proceduret::set_to_false(const exprt &expr) {…}