diff options
Diffstat (limited to 'src/aig/llb/llbInt.h')
-rw-r--r-- | src/aig/llb/llbInt.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/aig/llb/llbInt.h b/src/aig/llb/llbInt.h index 9e930ca3..23eb455e 100644 --- a/src/aig/llb/llbInt.h +++ b/src/aig/llb/llbInt.h @@ -107,6 +107,8 @@ struct Llb_Grp_t_ /// MACRO DEFINITIONS /// //////////////////////////////////////////////////////////////////////// +static inline int Llb_ObjBddVar( Vec_Int_t * vOrder, Aig_Obj_t * pObj ) { return Vec_IntEntry(vOrder, Aig_ObjId(pObj)); } + //////////////////////////////////////////////////////////////////////// /// FUNCTION DECLARATIONS /// //////////////////////////////////////////////////////////////////////// |