watch.hpp File Reference

#include "global.h"
#include <cassert>
#include <vector>

Include dependency graph for watch.hpp:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
struct	CaDiCaL::Watch

Namespaces
namespace	CaDiCaL

Typedefs
typedef vector< Watch >	CaDiCaL::Watches
typedef Watches::iterator	CaDiCaL::watch_iterator
typedef Watches::const_iterator	CaDiCaL::const_watch_iterator

Functions
void	CaDiCaL::remove_watch (Watches &ws, Clause *clause)
void	CaDiCaL::update_watch_size (Watches &ws, int blit, Clause *conflict)