grammar for interval logic expressions il_forumula = unop '(' csl_formula')' | '('csl_forumula')' binop '('csl_forumula')' | ap unop = '!'|'~' binop = '&&' | '*' | '||' | '->' | '<-' | '<->' ap = PLACE cmp num | true | false cmp = '=' | '!='| '>=' | '>' | '<=' | '<' num = natural number PLACE must be a valid placename ___________________________________________________________________-- march 16, 2009 Martin Schwarick ms@informatik.tu-cottbus.de