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