Packages

ft

3.2.2
3.2.2 3.2.1 3.1.0

FT FormalTalk ERP.UNO Compiler

HexDocs

Current section

Files

Jump to
Readme
3 Versions
1 Dependency
Dependants
Files
Activity
ft priv erp.uno bpe org.bpe
Raw

priv/erp.uno/bpe/org.bpe 

module org bpe

import kvs/routeProc.kvs



route routeTo

begin (*,I): | (I,gwC):O,T,fromExecutors;O,Tn,fromFamiliarize

    | (*,G):G,[];P,RASTNM;P,[],toCertifiers end



route routeFrom

begin (C,I):C,[] | (I,gwC): | (gwR,I):G,[];O,TTn | (*,G):

    | (*,A):G,[];O,RTNAS;A,T;I,R;U,RTAS;A,A;S,S;T,AS end