Function Cudd_ReadIndex 

pub unsafe fn Cudd_ReadIndex(dd: *mut DdManager, index: c_int) -> c_int

Returns the current position in the order of variable index. This macro is obsolete and is kept for compatibility. New applications should use Cudd_ReadPerm instead.

Safety

Follows the same invariants as Cudd_ReadPerm.