Package nzdis . lang . fipasl ;
Helpers
| tab | = | 9 |
| cr | = | 13 |
| lf | = | 10 |
| eol | = | cr lf | cr | lf | |
| white | = | ( ' ' | tab | eol ) + |
| l_par | = | '(' |
| r_par | = | ')' |
| eq | = | '=' |
| ineq | = | '/=' |
| less | = | '<' |
| eqless | = | '=<' |
| more | = | '>' |
| moreeq | = | '>=' |
| dot | = | '.' |
| q_mark | = | '?' |
| colon | = | ':' |
| hash | = | '#' |
| minus | = | '-' |
| plus | = | '+' |
| star | = | '*' |
| percent | = | '%' |
| slash | = | '/' |
| semicolon | = | ';' |
| pipe | = | '|' |
| upper | = | [ 'A' .. 'Z' ] |
| lower | = | [ 'a' .. 'z' ] |
| digit | = | [ '0' .. '9' ] |
| special | = | [ [ [ hash + colon ] + [ minus + q_mark ] ] + plus ] |
| brackets | = | [ l_par + r_par ] |
| integer | = | minus ? digit ( digit ) * |
| float | = | minus ? digit ( digit ) * '.' digit ( digit ) * ( ( 'E' | 'e' ) ( '+' | '-' ) ? digit ( digit ) * ) ? |
| not | = | 'not' |
| and | = | 'and' |
| or | = | 'or' |
| implies | = | 'implies' |
| equiv | = | 'equiv' |
| true | = | 'true' |
| false | = | 'false' |
| member | = | 'member' |
| contains | = | 'contains' |
| result | = | 'result' |
| cons | = | 'cons' |
| first | = | 'first' |
| rest | = | 'rest' |
| nth | = | 'nth' |
| append | = | 'append' |
| union | = | 'union' |
| intersection | = | 'intersection' |
| difference | = | 'difference' |
| sequence | = | 'sequence' |
| set | = | 'set' |
| holds | = | 'holds' |
| forall | = | 'forall' |
| exists | = | 'exists' |
| feasible | = | 'feasible' |
| done | = | 'done' |
| action | = | 'action' |
| iota | = | 'iota' |
| any | = | 'any' |
| all | = | 'all' |
Tokens
Ignored Tokens
Productions
This site has been last updated by the web master
on 2007/6/24.