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