var bv32encoder_8c = [ [ "BV_DECLARE", "bv32encoder_8c.html#a0445b20ceb1064a2454c1ed44a8803f7", null ], [ "BV_DECLARE", "bv32encoder_8c.html#af4eaa0b0026f8874d65fd47633f97315", null ] ];
var bv32encoder_8c = [ [ "BV_DECLARE", "bv32encoder_8c.html#a0445b20ceb1064a2454c1ed44a8803f7", null ], [ "BV_DECLARE", "bv32encoder_8c.html#af4eaa0b0026f8874d65fd47633f97315", null ] ];