#include <congruence.hpp>

Collaboration diagram for CaDiCaL::Gate:

[legend]

Public Member Functions
size_t	arity () const

bool	operator== (Gate const &lhs)

Public Attributes
int	lhs

Gate_Type	tag

bool	garbage: 1

bool	indexed: 1

bool	marked: 1

bool	shrunken: 1

size_t	hash

vector< LitClausePair >	pos_lhs_ids

vector< LitClausePair >	neg_lhs_ids

bool	degenerated_and_neg = false

bool	degenerated_and_pos = false

int8_t	degenerated_ite = Special_ITE_GATE::NORMAL

vector< int >	rhs

Detailed Description

Definition at line 238 of file congruence.hpp.

Member Function Documentation

◆ arity()

size_t CaDiCaL::Gate::arity ( ) const

inline

Definition at line 257 of file congruence.hpp.

257{ return rhs.size (); }

CaDiCaL::Gate::rhs

vector< int > rhs

Definition congruence.hpp:255

Here is the caller graph for this function:

◆ operator==()

bool CaDiCaL::Gate::operator== ( Gate const & lhs )

inline

Definition at line 259 of file congruence.hpp.

                                    {
    return tag == lhs.tag && hash == lhs.hash && rhs == lhs.rhs;
  }

Member Data Documentation

◆ degenerated_and_neg

bool CaDiCaL::Gate::degenerated_and_neg = false

Definition at line 252 of file congruence.hpp.

◆ degenerated_and_pos

bool CaDiCaL::Gate::degenerated_and_pos = false

Definition at line 253 of file congruence.hpp.

◆ degenerated_ite

int8_t CaDiCaL::Gate::degenerated_ite = Special_ITE_GATE::NORMAL

Definition at line 254 of file congruence.hpp.

◆ garbage

bool CaDiCaL::Gate::garbage

Definition at line 244 of file congruence.hpp.

◆ hash

size_t CaDiCaL::Gate::hash

Definition at line 248 of file congruence.hpp.

◆ indexed

bool CaDiCaL::Gate::indexed

Definition at line 245 of file congruence.hpp.

◆ lhs

int CaDiCaL::Gate::lhs

Definition at line 242 of file congruence.hpp.

◆ marked

bool CaDiCaL::Gate::marked

Definition at line 246 of file congruence.hpp.

◆ neg_lhs_ids

vector<LitClausePair> CaDiCaL::Gate::neg_lhs_ids

Definition at line 251 of file congruence.hpp.

◆ pos_lhs_ids

vector<LitClausePair> CaDiCaL::Gate::pos_lhs_ids

Definition at line 250 of file congruence.hpp.

◆ rhs

vector<int> CaDiCaL::Gate::rhs

Definition at line 255 of file congruence.hpp.

◆ shrunken

bool CaDiCaL::Gate::shrunken

Definition at line 247 of file congruence.hpp.

◆ tag

Gate_Type CaDiCaL::Gate::tag

Definition at line 243 of file congruence.hpp.

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

src/sat/cadical/congruence.hpp

Public Member Functions

Public Attributes