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"
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
18
19#endif
#define ABC_NAMESPACE_HEADER_END
#define ABC_NAMESPACE_HEADER_START
NAMESPACES ///.