ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
reference.h
Go to the documentation of this file.
1#ifndef _reference_h_INCLUDED
2#define _reference_h_INCLUDED
3
4#include "stack.h"
5
6#include "global.h"
8
9typedef unsigned reference;
10
11#define REFERENCE_FORMAT "u"
12
13#define LD_MAX_REF 31u
14#define MAX_REF ((1u << LD_MAX_REF) - 1)
15
16#define INVALID_REF UINT_MAX
17
18// clang-format off
19typedef STACK (reference) references;
20// clang-format on
21
23
24#endif
#define ABC_NAMESPACE_HEADER_END
#define ABC_NAMESPACE_HEADER_START
NAMESPACES ///.
#define STACK(TYPE)
Definition stack.h:10
ABC_NAMESPACE_HEADER_START typedef unsigned reference
Definition reference.h:9