2018-07-29 06:34:36 +08:00
|
|
|
symbols = {
|
|
|
|
|
"LOCAL_FUZZY_UNKNOWN" {
|
|
|
|
|
weight = 2.0;
|
|
|
|
|
}
|
|
|
|
|
"LOCAL_FUZZY_DENIED" {
|
2018-07-30 05:03:49 +08:00
|
|
|
weight = 10.0;
|
2018-07-29 06:34:36 +08:00
|
|
|
}
|
|
|
|
|
"LOCAL_FUZZY_WHITE" {
|
2018-07-30 05:03:49 +08:00
|
|
|
weight = -3.4;
|
2018-07-29 06:34:36 +08:00
|
|
|
}
|
|
|
|
|
}
|
