ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
compact.h
Go to the documentation of this file.
1#ifndef _compact_h_INCLUDED
2#define _compact_h_INCLUDED
3
4#include "global.h"
5ABC_NAMESPACE_HEADER_START
6
7struct kissat;
8
9unsigned kissat_compact_literals (struct kissat *, unsigned *mfixed_ptr);
10void kissat_finalize_compacting (struct kissat *, unsigned vars,
11 unsigned mfixed);
12ABC_NAMESPACE_HEADER_END
13
14#endif
ABC_NAMESPACE_HEADER_END
#define ABC_NAMESPACE_HEADER_END
Definition abc_namespaces.h:51
ABC_NAMESPACE_HEADER_START
#define ABC_NAMESPACE_HEADER_START
NAMESPACES ///.
Definition abc_namespaces.h:50
kissat_compact_literals
unsigned kissat_compact_literals(struct kissat *, unsigned *mfixed_ptr)
Definition compact.c:21
kissat_finalize_compacting
void kissat_finalize_compacting(struct kissat *, unsigned vars, unsigned mfixed)
Definition compact.c:322
kissat::vars
unsigned vars
Definition internal.h:106