Blame view

circus/examples/tactics/NBPhase/A_NB.tex 177 Bytes
8d0dc533f   Madiel de Souza Conserva Filho   first
1
2
3
4
5
6
7
8
  /* Tatica NB */
  
  \tbegin
  \ttactic A_NB(\langle Diff,Sd,Int,Si,Sp,Sum \rangle)  \def
  
    \ttactic APPLYT(\ttactic NBProc(nome),\langle Diff,Sd,Int,Si,Sp,Sum \rangle)
  
  \tend