var group__vioPrintLevels__gr =
[
    [ "vioLevelNone", "group__vioPrintLevels__gr.html#ga4a2f40db5d209268b9e0669e919c7436", null ],
    [ "vioLevelHeading", "group__vioPrintLevels__gr.html#ga2d12345777fbb057da8a847f2c74332d", null ],
    [ "vioLevelMessage", "group__vioPrintLevels__gr.html#gadc4de0163245bf69476bab577c88f972", null ],
    [ "vioLevelError", "group__vioPrintLevels__gr.html#gae2d092fb498aa5ef8fe01bb9287edd17", null ]
];