diff options
Diffstat (limited to 'Chalice/src/main/scala')
| -rw-r--r-- | Chalice/src/main/scala/Translator.scala | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Chalice/src/main/scala/Translator.scala b/Chalice/src/main/scala/Translator.scala index be672a2f..efd704c7 100644 --- a/Chalice/src/main/scala/Translator.scala +++ b/Chalice/src/main/scala/Translator.scala @@ -1404,6 +1404,9 @@ class Translator { ***************** EXPRESSIONS *****************
**********************************************************************/
+case class FoldedPredicate(predicate: String, receiver: Expr, version: Expr, conditions: Set[(VarExpr,Boolean)])
+case class FoldedPredicatesInformation(foldedPredicates: List[FoldedPredicate])
+
object ExpressionTranslator {
val Globals = {
(HeapName, theap) ::
|