Juliano Cardoso / circusRefine

Blame view

circus/examples/tactics/BJPhase/config4.tex 335 Bytes
edit raw normal view history
8d0dc533f   Madiel de Souza Conserva Filho   first 
1
2
3
4
5
6
7
8
9
10
11
12
13
 
  /* Tactic: config4*/
  
  \tbegin
  \ttactic config4()  \def
  
          (\tlaw Sequence_Associativity()  \parallelbox \tlaw Sequence_Associativity())
  		\tsemi \tlaw Parallel_Composition_Sequence_step() \tsemi
  		(\tskip \semibox (\ttactic isolateOutComm() \tsemi
          (\tskip \semibox (\tlaw Par_Interleave()))))		
      \tend