var infomng_8php =
[
    [ "$alivenum", "infomng_8php.html#af96bde4637269c1f0053ba4ac66a8f87", null ],
    [ "$deathnum", "infomng_8php.html#ac8cccc0e21ebd6828150700b1436a5f8", null ],
    [ "$result", "infomng_8php.html#a112ef069ddc0454086e3d1e6d8d55d07", null ],
    [ "$validnum", "infomng_8php.html#a54f1a166645794ce06e05051071a0d53", null ],
    [ "if", "infomng_8php.html#aa93bb0e22ba7aba2dc84d85bda19b4a4", null ]
];