43: Filtres statiques

À chaque prédicat est associé un état:

• borne sur les valeurs absolues des entrées
• bornes d'erreur correspondantes
  pour chaque comparaison

Deux possibilités:

• l'utilisateur fournit une borne sur les entrées
• la borne est ajustée automatiquement