Collaboration diagram for factoring:

[legend]

Public Attributes
kissat *	solver

size_t	size

size_t	allocated

unsigned	initial

unsigned *	count

scores *	scores

unsigned	hops

unsigned	bound

unsigneds	fresh

unsigneds	counted

unsigneds	nounted

references	qlauses

uint64_t	limit

struct {

quotient * first

quotient * last

}	quotients

heap	schedule

Detailed Description

Definition at line 46 of file factor.c.

Member Data Documentation

◆ allocated

size_t factoring::allocated

Definition at line 48 of file factor.c.

◆ bound

unsigned factoring::bound

Definition at line 53 of file factor.c.

◆ count

unsigned* factoring::count

Definition at line 50 of file factor.c.

◆ counted

unsigneds factoring::counted

Definition at line 55 of file factor.c.

◆ first

quotient* factoring::first

Definition at line 60 of file factor.c.

◆ fresh

unsigneds factoring::fresh

Definition at line 54 of file factor.c.

◆ hops

unsigned factoring::hops

Definition at line 52 of file factor.c.

◆ initial

unsigned factoring::initial

Definition at line 49 of file factor.c.

◆ last

quotient * factoring::last

Definition at line 60 of file factor.c.

◆ limit

uint64_t factoring::limit

Definition at line 58 of file factor.c.

◆ nounted

unsigneds factoring::nounted

Definition at line 56 of file factor.c.

◆ qlauses

references factoring::qlauses

Definition at line 57 of file factor.c.

◆ [struct]

struct { ... } factoring::quotients

◆ schedule

heap factoring::schedule

Definition at line 62 of file factor.c.

◆ scores

scores* factoring::scores

Definition at line 51 of file factor.c.

◆ size

size_t factoring::size