Дегса: проектирование GEL Facts и Val Facts

[VTsarevNSU]

необходимо создать систему, моделирующую поведение операторов while, for и if моделирование предлагается сделать с помощью "фактов": некоторых арифметических равенств или неравенств, которые будут учитываться анализатором в зависимости от того, в какой вершине он сейчас находится GEL (greater, equal, lesser) -- неравенства Val (value) -- равенства

[VTsarevNSU]

переименовал систему в GLeN Facts -- greater, lesser, non-equal, она переиспользует структуру Identifier-Expressionи типы узлов последних для более удобной интеграции реализовал для if, for, while, дальше требуется разработать алгоритмы применения системы

[VTsarevNSU]

Val Facts отброшены, поскольку методы получения значений Expression уже существуют в разработке и даже работают для константных выражений произвольной глубины алиасов