var searchData=
[
  ['red',['Red',['../classTerminal.html#a7a03a2e94316da7b2144dad5ba95ac20af2687d41cae4cb8276778be71c1e1efb',1,'Terminal']]],
  ['ref',['Ref',['../classNewHope.html#a679601da301134f037c3a5786bd7085fa2326f3fd76345d5900834593a74f6596',1,'NewHope']]]
];