var structCVC4_1_1BitVectorSignExtend =
[
    [ "BitVectorSignExtend", "structCVC4_1_1BitVectorSignExtend.html#a0a42ca7bbac17485d3ff65b998ac3977", null ],
    [ "operator unsigned", "structCVC4_1_1BitVectorSignExtend.html#a4edd363da243446545721afc7996365a", null ],
    [ "signExtendAmount", "structCVC4_1_1BitVectorSignExtend.html#a7797245f64d1aede1b7cb925f9b257b3", null ]
];