Abstrakcyjna interpretacja nad dziedziną Weighted Hexagons

Opowiemy jak zwykle o abstrakcyjnej interpretacji. Tym razem będziemy opisywać naszą abstrakcyjną dziedzinę numeryczną - Weighted Hexagons. Pozwala ona reprezentować:

• zależności postaci x <= a*y, gdzie x,y są zmiennymi oraz a jest stałą dodatnią,
• zależności przedziałowe czyli a <= x <=b gdzie x jest zmienną, stałe a i b oznaczają krańce przedziału.