#include <factor.hpp>

Collaboration diagram for CaDiCaL::Quotient:

[legend]

Public Member Functions
	Quotient (int f)

	~Quotient ()

Public Attributes
int	factor

size_t	id

int64_t	bid

Quotient *	prev

Quotient *	next

vector< Clause * >	qlauses

vector< size_t >	matches

size_t	matched

Detailed Description

Definition at line 21 of file factor.hpp.

Constructor & Destructor Documentation

◆ Quotient()

CaDiCaL::Quotient::Quotient ( int f )

inline

Definition at line 22 of file factor.hpp.

22: factor (f) {}

CaDiCaL::Quotient::factor

int factor

Definition factor.hpp:24

◆ ~Quotient()

CaDiCaL::Quotient::~Quotient ( )

inline

Definition at line 23 of file factor.hpp.

23{}

Member Data Documentation

◆ bid

int64_t CaDiCaL::Quotient::bid

Definition at line 26 of file factor.hpp.

◆ factor

int CaDiCaL::Quotient::factor

Definition at line 24 of file factor.hpp.

◆ id

size_t CaDiCaL::Quotient::id

Definition at line 25 of file factor.hpp.

◆ matched

size_t CaDiCaL::Quotient::matched

Definition at line 30 of file factor.hpp.

◆ matches

vector<size_t> CaDiCaL::Quotient::matches

Definition at line 29 of file factor.hpp.

◆ next

Quotient * CaDiCaL::Quotient::next

Definition at line 27 of file factor.hpp.

◆ prev

Quotient* CaDiCaL::Quotient::prev