1var partial_8hpp = 2[ 3 [ "partial", "partial_8hpp.html#ga778b2daa27882e71d28b6f2b38982ddf", null ] 4];