Juliano Cardoso / circusRefine

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

\tbegin
\ttactic BJ(PID,\langle Diff,Sd \rangle, \langle Int,Si \rangle ,\langle Sp,Sum \rangle)  \def

 \ttactic BJST1(\langle Diff,Sd \rangle, \langle Int,Si \rangle ,\langle Sp,Sum \rangle) \tsemi \ttactic BJST2(\langle Diff,Sd \rangle, \langle Int,Si \rangle ,\langle Sp,Sum \rangle)
 \tsemi \ttactic BJST3(\langle Diff,Sd \rangle, \langle Int,Si \rangle ,\langle Sp,Sum \rangle) 
 \tsemi \ttactic BJST4(PID,\langle Diff,Sd \rangle, \langle Int,Si \rangle ,\langle Sp,Sum \rangle) 

\tend