ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
tiers.h
Go to the documentation of this file.
1#ifndef _tiers_h_INCLUDED
2#define _tiers_h_INCLUDED
3
4#include <stdbool.h>
5
6#include "global.h"
7ABC_NAMESPACE_HEADER_START
8
9struct kissat;
10
11void kissat_compute_and_set_tier_limits (struct kissat *);
12void kissat_print_tier_usage_statistics (struct kissat *solver,
13 bool stable);
14
15ABC_NAMESPACE_HEADER_END
16
17#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
solver
#define solver
Definition kitten.c:211
kissat::stable
bool stable
Definition internal.h:94
kissat_compute_and_set_tier_limits
void kissat_compute_and_set_tier_limits(struct kissat *)
Definition tiers.c:53
kissat_print_tier_usage_statistics
void kissat_print_tier_usage_statistics(struct kissat *solver, bool stable)
Definition tiers.c:76