CaDiCaL::Watch Struct Reference

#include <watch.hpp>

Collaboration diagram for CaDiCaL::Watch:

Public Member Functions
	Watch (int b, Clause *c)
	Watch ()
bool	binary () const

Public Attributes
Clause *	clause
int	blit
int	size

Detailed Description

Definition at line 33 of file watch.hpp.

Constructor & Destructor Documentation

Watch() [1/2]

CaDiCaL::Watch::Watch ( int b, Clause * c )

inline

Definition at line 39 of file watch.hpp.

: clause (c), blit (b), size (c->size) {}

Watch() [2/2]

CaDiCaL::Watch::Watch ( )

inline

Definition at line 40 of file watch.hpp.

{}

Member Function Documentation

binary()

bool CaDiCaL::Watch::binary ( ) const

inline

Definition at line 42 of file watch.hpp.

{ return size == 2; }

Here is the caller graph for this function:

Member Data Documentation

blit

int CaDiCaL::Watch::blit

Definition at line 36 of file watch.hpp.

clause

Clause* CaDiCaL::Watch::clause

Definition at line 35 of file watch.hpp.

size

int CaDiCaL::Watch::size

Definition at line 37 of file watch.hpp.

---

The documentation for this struct was generated from the following file:

• src/sat/cadical/watch.hpp