Fixpoint3.Ast.Ram.RamStmt
enum RamStmtSourcecase Insert(RelOp)case MergeInto(RelSym, RelSym)case Swap(RelSym, RelSym)case Purge(RelSym)case Seq(Vector[RamStmt])case Par(Vector[RamStmt])case Until(Vector[BoolExp], RamStmt)case Comment(String)Insert(body) executes the RelOp body.
MergeInto(r1, r2) merges the facts of r1 into r2.
Swap(newRel, deltaRel) swaps the facts of deltaRel and newRel. For
multi-indexed relations, the only guarantee is that all indexes on deltaRel will
contain all facts of newRel.
Purge(rel) removes all facts from all indexes on rel.
Seq(body) is sequence of statements to be executed sequentially.
Par(body) is a sequence of statments to be executed in parallel.
Until(condition, body) checks if condition is false and repeadetly executes
body until condition is true.
Comment(string) is a comment for debugging.