Pantagruel v0.3.0 Pantagruel.Bool.Slurp View Source

Logic to combine the lines of a Pantagruel program into a single Boolean expression.

refinement: x, P <- y x, Q <- z x, R <- a

assume: P ~Q and ~R and x <- y

assume: Q ~P and ~R and x <- z

slurp: x, P <- y (P or Q or R) and ((P and (x <- y)) or (Q and (x <- z)) or (R and (x <- a)))

x <- ( P y, Q z, R a ) x <- P y x <- y

Link to this section Summary

Functions

Combine the lines of each chapter section in a program into single tree-expressions

Link to this section Functions

Combine the lines of each chapter section in a program into single tree-expressions.