klause Struct Reference

Public Attributes
unsigned	aux
unsigned	size
unsigned	flags
unsigned	lits [1]

Detailed Description

Definition at line 105 of file cadical_kitten.c.

Member Data Documentation

aux

unsigned klause::aux

Definition at line 106 of file cadical_kitten.c.

flags

unsigned klause::flags

Definition at line 108 of file cadical_kitten.c.

lits

unsigned klause::lits

Definition at line 109 of file cadical_kitten.c.

size

unsigned klause::size

Definition at line 107 of file cadical_kitten.c.

---

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

• src/sat/cadical/cadical_kitten.c
• src/sat/kissat/kitten.c