za.ac.sun.cs.green.parser.isl.grammar.isl.ebnf Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of green Show documentation

Universal interface to decision procedures, constraint solvers, model counters, and related tools

The newest version!

// @author:         JH Taljaard.
// @contributor:    Jaco Geldenhuys

// PARSER
    ::= [  "->" ] "{"  { ";"  } "}"
    ::= "["  { ","  } "]"

      ::=  [ ":"  }
      ::=  { "and"  }
     ::=  {   }
     ::=  { ( "+" | "-" )  }
      ::=  { ( "*" | "/" | "" )  }
     ::=  { "^"  }
    ::=  |  |  | "("  ")" | "-"  | "not" 
     ::= "floor" "("  ")"

// SCANNER
  ::=  {  |  }
   ::=  {  }

  ::= "+" | "-" | "*" | "^" | "/" | 
  ::= ">" | ">=" | "<" | "<=" | "=" | "!="
    ::= "A" | "B" | "C" | "D" | "E" | "F" | "G" | "H" | "I" | "J" | "K" | "L" |
                "M" | "N" | "O" | "P" | "Q" | "R" | "S" | "T" | "U" | "V" | "W" | "X" |
                "Y" | "Z" | "a" | "b" | "c" | "d" | "e" | "f" | "g" | "h" | "i" | "j" |
                "k" | "l" | "m" | "n" | "o" | "p" | "q" | "r" | "s" | "t" | "u" | "v" |
                "w" | "x" | "y" | "z"
     ::= "0" | "1" | "2" | "3" | "4" | "5" | "6" | "7" | "8" | "9"