diff options
| author | aarne <aarne@cs.chalmers.se> | 2008-11-15 20:08:09 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2008-11-15 20:08:09 +0000 |
| commit | f30560efcc5acb39f8b9a4a5d0ea0482224a5fc1 (patch) | |
| tree | 91f1e3b2a3044ee3531dcf4a799db427681c81b4 /examples/attempto/Symbols.gf | |
| parent | 373b4d6828e0eba56e11cd5851591d303f369b43 (diff) | |
Attempto complete up to spec
Diffstat (limited to 'examples/attempto/Symbols.gf')
| -rw-r--r-- | examples/attempto/Symbols.gf | 17 |
1 files changed, 16 insertions, 1 deletions
diff --git a/examples/attempto/Symbols.gf b/examples/attempto/Symbols.gf index 3744ecd4a..3f92d3b21 100644 --- a/examples/attempto/Symbols.gf +++ b/examples/attempto/Symbols.gf @@ -1,6 +1,21 @@ abstract Symbols = { -cat Var ; +cat Var ; Formula ; Term ; + +fun plus_Term : Term -> Term -> Term ; +fun minus_Term : Term -> Term -> Term ; +fun div_Term : Term -> Term -> Term ; +fun times_Term : Term -> Term -> Term ; +fun neg_Term : Term -> Term ; +fun int_Term : Int -> Term ; +fun var_Term : Var -> Term ; + +fun eq_Formula : Term -> Term -> Formula ; +fun lt_Formula : Term -> Term -> Formula ; +fun gt_Formula : Term -> Term -> Formula ; +fun le_Formula : Term -> Term -> Formula ; +fun ge_Formula : Term -> Term -> Formula ; +fun ne_Formula : Term -> Term -> Formula ; fun X_Var : Var ; fun Y_Var : Var ; |