ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
learn.h
Go to the documentation of this file.
1#ifndef _learn_h_INCLUDED
2#define _learn_h_INCLUDED
3
4#include "global.h"
5ABC_NAMESPACE_HEADER_START
6
7struct kissat;
8
9void kissat_learn_clause (struct kissat *);
10void kissat_update_learned (struct kissat *, unsigned glue, unsigned size);
11unsigned kissat_determine_new_level (struct kissat *, unsigned jump);
12
13ABC_NAMESPACE_HEADER_END
14
15#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_learn_clause
void kissat_learn_clause(struct kissat *)
Definition learn.c:192
kissat_update_learned
void kissat_update_learned(struct kissat *, unsigned glue, unsigned size)
Definition learn.c:120
kissat_determine_new_level
unsigned kissat_determine_new_level(struct kissat *, unsigned jump)
Definition learn.c:18
kissat::size
unsigned size
Definition internal.h:107