Редактирование: Изображение:Pvs tree.png
Материал из eSyr's wiki.
Внимание: Вы не представились системе. Ваш IP-адрес будет записан в историю изменений этой страницы.
Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия | Ваш текст | ||
Строка 141: | Строка 141: | ||
"node19" -> "node30" | "node19" -> "node30" | ||
"node31" [ | "node31" [ | ||
- | label = "(inst | + | label = "(inst 1 \"t!1 + 2\" \"f!1 - 1\")" |
] | ] | ||
"node30" -> "node31" | "node30" -> "node31" | ||
"node32" [ | "node32" [ | ||
- | label = "{[-1] j!1 = 3 * t!1 + 5 * f!1\n[-2] j!1 + 1 \> 7|[1] j!1 + 1 = 3 * (t!1 + 2) + 5 * (f!1 - 1) | + | label = "{[-1] j!1 = 3 * t!1 + 5 * f!1\n[-2] j!1 + 1 \> 7|[1] f!1 = 0\n[2] j!1 + 1 = 3 * (t!1 + 2) + 5 * (f!1 - 1)}" |
shape = "record" | shape = "record" | ||
] | ] | ||
Строка 156: | Строка 156: | ||
"node32" -> "node33" | "node32" -> "node33" | ||
"node34" [ | "node34" [ | ||
- | label = "{[-1] j!1 = 3 * t!1 + 5 * f!1\n[-2] j!1 + 1 \> 7|[1] f!1 | + | label = "{[-1] j!1 = 3 * t!1 + 5 * f!1\n[-2] j!1 + 1 \> 7|[1] f!1 = 0\n[2] f!1 - 1 \>= 0}" |
shape = "record" | shape = "record" | ||
] | ] |