ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
reference.h File Reference
#include "stack.h"
#include "global.h"
Include dependency graph for reference.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Macros

#define REFERENCE_FORMAT   "u"
 
#define LD_MAX_REF   31u
 
#define MAX_REF   ((1u << LD_MAX_REF) - 1)
 
#define INVALID_REF   UINT_MAX
 

Functions

typedef STACK (reference) references
 

Variables

ABC_NAMESPACE_HEADER_START typedef unsigned reference
 

Macro Definition Documentation

◆ INVALID_REF

#define INVALID_REF   UINT_MAX

Definition at line 16 of file reference.h.

◆ LD_MAX_REF

#define LD_MAX_REF   31u

Definition at line 13 of file reference.h.

◆ MAX_REF

#define MAX_REF   ((1u << LD_MAX_REF) - 1)

Definition at line 14 of file reference.h.

◆ REFERENCE_FORMAT

#define REFERENCE_FORMAT   "u"

Definition at line 11 of file reference.h.

Function Documentation

◆ STACK()

typedef STACK ( reference )

Variable Documentation

◆ reference

ABC_NAMESPACE_HEADER_START typedef unsigned reference

Definition at line 9 of file reference.h.