Subject: [rohc] FN example

From: "Finking, Robert" <[email-masked]>
Date: Thu, 21 Dec 2006 14:00:50 -0000

I had a few minutes to spare prior to a meeting, and started compiling
an example of the ROHC formal notation, but have run out of time... if
anybody wants to help finish if off you're most welcome to contribute.
Apologies for any errors!

Christmas greetings

Raffles

pear_tree
{
  UNCOMPRESSED {
    partridge [1];
  }
}

first_day
{
  UNCOMPRESSED {
    pear_tree [1];
  }
}

second_day
{
  UNCOMPRESSED {
    turtle_doves [2];
  }
}

twelve_days
{
  UNCOMPRESSED {
    day_number      [4];
    true_loves_gift [VARIABLE];
  }

  INTITIAL {
    day_number      =:= uncompressed_value(4, 1);
    true_loves_gift =:= pear_tree;
  }
}

_______________________________________________
Rohc mailing list
[email-masked]
https://www1.ietf.org/mailman/listinfo/rohc