ABC: A System for Sequential Synthesis and Verification
Loading...
Searching...
No Matches
attribute.h
Go to the documentation of this file.
1
#ifndef _attribute_h_INCLUDED
2
#define _attribute_h_INCLUDED
3
4
#include "
global.h
"
5
ABC_NAMESPACE_HEADER_START
6
7
/* #define ATTRIBUTE_FORMAT(FORMAT_POSITION, VARIADIC_ARGUMENT_POSITION) \ */
8
/* __attribute__ (( \ */
9
/* format (printf, FORMAT_POSITION, VARIADIC_ARGUMENT_POSITION))) */
10
11
#define ATTRIBUTE_FORMAT(FORMAT_POSITION, VARIADIC_ARGUMENT_POSITION)
12
13
/* #define ATTRIBUTE_ALWAYS_INLINE __attribute__ ((always_inline)) */
14
15
#define ATTRIBUTE_ALWAYS_INLINE
16
17
ABC_NAMESPACE_HEADER_END
18
19
#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
global.h
src
sat
kissat
attribute.h
Generated by Doxygen 1.13.2 © 2025 EPTansuo. All rights reserved.
鲁ICP备2021046540号