prop.cpp

Go to the documentation of this file.

/*******************************************************************\
 
Module:
 
Author: Daniel Kroening, kroening@kroening.com
 
\*******************************************************************/
 
#include "prop.h"
 
void propt::set_equal(literalt a, literalt b)
{
  lcnf(a, !b);
  lcnf(!a, b);
}
 
bvt propt::new_variables(std::size_t width)
{
  bvt result;
  result.reserve(width);
  for(std::size_t i=0; i<width; i++)
    result.push_back(new_variable());
  return result;
}
 
propt::resultt propt::prop_solve()
{
  ++number_of_solver_calls;
  return do_prop_solve();
}
 
std::size_t propt::get_number_of_solver_calls() const
{
  return number_of_solver_calls;
}