var a06172 = [ [ "fpos", "a06172.html#ad8f5ba24d7ef2179347b97d61a14cc62", null ], [ "fpos", "a06172.html#a6816aa318c7eeb099c78a3414a2bcdfd", null ], [ "operator streamoff", "a06172.html#a7da1f1b28792e35537bec6d1bc4feb88", null ], [ "operator+", "a06172.html#a6719627d8f502c54e16f321d1790e030", null ], [ "operator+=", "a06172.html#a82884338bf22e5b2e47088240ee3603c", null ], [ "operator-", "a06172.html#af2e0577cdf823db2436ffc2c3e5bf5d5", null ], [ "operator-", "a06172.html#a9cb8084ee1bb8395c4a5e7a937092425", null ], [ "operator-=", "a06172.html#af98737e3474e12ecb9d40f19bea2ea9e", null ], [ "state", "a06172.html#a4e97b157edf8205bcc60347a86c9ed86", null ], [ "state", "a06172.html#ab0b8ab377a6907428414353bca366234", null ] ];