var spotrf_8f = [ [ "spotrf", "d2/d09/group__potrf_gafc806a229db445c723f8e1abc2ef4370.html#gafc806a229db445c723f8e1abc2ef4370", null ] ]; .