Salvador Abreu / PaCCS

Download as
Browse Code »

Commit b204495a578ed455dc393ef66c1e57211ae16fa6

Authored by Salvador Abreu
1 parent 2330bbc2
Exists in master

added simplified (trivial) version of aust.fzn

Showing 2 changed files with 49 additions and 0 deletions   Show diff stats
fzn-parser/examples/a.ast 0 → 100644
  Diff comments   View file @b204495
@@ -0,0 +1,44 @@ @@ -0,0 +1,44 @@
  1 +_ > [].
  2 +_T > [[]|_T].
  3 +[X|_T] > [preds(X)|_T].
  4 +_T > [[]|_T].
  5 +_T > [int|_T].
  6 +_T > [id('X_INTRODUCED_0')|_T].
  7 +_T > [[]|_T].
  8 +_T > [int:lit(1)|_T].
  9 +_T > [int:lit(-1)|_T].
  10 +[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T].
  11 +[Es|_T] > [array(_):alit(Es)|_T].
  12 +[VAL,AN,T|_T] > [var(array(T,1,2), VAL, AN)|_T].
  13 +[H,T|_T] > [[H|T]|_T].
  14 +_T > [int(1,3)|_T].
  15 +_T > [id('wa')|_T].
  16 +_T > [_:id('output_var')|_T].
  17 +_T > [[]|_T].
  18 +[H,T|_T] > [[H|T]|_T].
  19 +_T > [[]|_T].
  20 +[VAL,AN,T|_T] > [var(T, VAL, AN)|_T].
  21 +[H,T|_T] > [[H|T]|_T].
  22 +_T > [int(1,3)|_T].
  23 +_T > [id('nt')|_T].
  24 +_T > [_:id('output_var')|_T].
  25 +_T > [[]|_T].
  26 +[H,T|_T] > [[H|T]|_T].
  27 +_T > [[]|_T].
  28 +[VAL,AN,T|_T] > [var(T, VAL, AN)|_T].
  29 +[H,T|_T] > [[H|T]|_T].
  30 +[X|_T] > [vars(X)|_T].
  31 +_T > [[]|_T].
  32 +_T > [_:id('X_INTRODUCED_0')|_T].
  33 +_T > [_:id('wa')|_T].
  34 +_T > [_:id('nt')|_T].
  35 +[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T].
  36 +[Es|_T] > [array(_):alit(Es)|_T].
  37 +_T > [int:lit(0)|_T].
  38 +[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T].
  39 +[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T].
  40 +_T > [[]|_T].
  41 +[A, C|_T] > [constraint(C, A)|_T].
  42 +[H,T|_T] > [[H|T]|_T].
  43 +[X|_T] > [constrs(X)|_T].
  44 +_T > [[]|_T].
fzn-parser/examples/a.fzn 0 → 100644
  Diff comments   View file @b204495
@@ -0,0 +1,5 @@ @@ -0,0 +1,5 @@
  1 +array [1..2] of int: X_INTRODUCED_0 = [1,-1];
  2 +var 1..3: wa:: output_var;
  3 +var 1..3: nt:: output_var;
  4 +constraint int_lin_ne(X_INTRODUCED_0,[wa,nt],0);
  5 +solve satisfy;