var a00030 = [ [ "isValidForProtocol", "a00030.html#a834edc88a48b68ba9a799636ab985019", null ], [ "operator()", "a00030.html#a128028009f3263877d027cfb42e5c1e5", null ] ];
var a00030 = [ [ "isValidForProtocol", "a00030.html#a834edc88a48b68ba9a799636ab985019", null ], [ "operator()", "a00030.html#a128028009f3263877d027cfb42e5c1e5", null ] ];