2018-07-29 06:34:36 +08:00
|
|
|
symbols = {
|
|
|
|
|
"LOCAL_FUZZY_UNKNOWN" {
|
|
|
|
|
weight = 2.0;
|
|
|
|
|
}
|
|
|
|
|
"LOCAL_FUZZY_DENIED" {
|
2019-01-14 06:02:09 +08:00
|
|
|
weight = 15.0;
|
2018-07-29 06:34:36 +08:00
|
|
|
}
|
|
|
|
|
"LOCAL_FUZZY_WHITE" {
|
2019-01-14 06:02:09 +08:00
|
|
|
weight = -10.0;
|
2018-07-29 06:34:36 +08:00
|
|
|
}
|
|
|
|
|
}
|
