Juliano Cardoso / circusRefine

BjSt4_HidPrep.tex 325 Bytes
edit raw blame history 
  1
  2
  3
  4
  5
  6
  7
  8
  9
 10
 11
/* Tactic: BjSt4_HidPrep*/

\tbegin
\ttactic BjSt4_HidPrep(main,blocks)  \def

  \tprogram (main, \defsbox (\tlaw par_hid_dist() \tsemi \ttactic mapr(\tlaw hid_contract())) )
  
/*  \tsemi \ttactic mapr(\ttactic hid_contract())))*/
  \tsemi \ttactic APPLYL(\tlaw join_proc_hid(pname), join_names(blocks))

\tend