***
***  detectionops.maude
*** 
*************************************************************************

fmod DETECTIONOPS is 

*****************************************************************************

sort DetectionMethod .

op 2D-PPMap : -> DetectionMethod [ctor] .
op 2TagPpt : -> DetectionMethod [ctor] .
op 3H : -> DetectionMethod [ctor] .
op 3H-acetate : -> DetectionMethod [ctor] .
op 3H-acetate-CHX : -> DetectionMethod [ctor] .
op 3H-GDP : -> DetectionMethod [ctor] .
op 3H-GDP-release : -> DetectionMethod [ctor] .
op 3H-GTP : -> DetectionMethod [ctor] .
op 3H-IP3 : -> DetectionMethod [ctor] .
op 3H-SAM : -> DetectionMethod [ctor] .
op 14C-acetyl-CoA : -> DetectionMethod [ctor] .
op 32P : -> DetectionMethod [ctor] .
op 32P-ATP : -> DetectionMethod [ctor] .
op 32P-GTP : -> DetectionMethod [ctor] .
op 32P-PAA : -> DetectionMethod [ctor] .
op 32P-release : -> DetectionMethod [ctor] .
op 32P-UTP : -> DetectionMethod [ctor] .
op 32Pi : -> DetectionMethod [ctor] .
op 32Pi-PAA : -> DetectionMethod [ctor] .
op 32Pi-TLC : -> DetectionMethod [ctor] .
op 35S : -> DetectionMethod [ctor] .
op 35S-GTPgS : -> DetectionMethod [ctor] .
op 35S-pulse-chase : -> DetectionMethod [ctor] .
op 51CrRelease : -> DetectionMethod [ctor] .
op 125I-ligand : -> DetectionMethod [ctor] .
op AcAb : -> DetectionMethod [ctor] .
op AcAb-ppt : -> DetectionMethod [ctor] .
op AnnexinV : -> DetectionMethod [ctor] .
op AP : -> DetectionMethod [ctor] .
op AutoRad : -> DetectionMethod [ctor] .
op BDPD : -> DetectionMethod [ctor] .
op BeadArray : -> DetectionMethod [ctor] .
op BiosensorChip : -> DetectionMethod [ctor] .
op biotin-labeling : -> DetectionMethod [ctor] .
op CAT : -> DetectionMethod [ctor] .
op CellNumber : -> DetectionMethod [ctor] .
op ChIP : -> DetectionMethod [ctor] .
op CHX-WB : -> DetectionMethod [ctor] .
op ClAb : -> DetectionMethod [ctor] .
op CrystalViolet : -> DetectionMethod [ctor] .
op DAPI : -> DetectionMethod [ctor] .
op density-gradient : -> DetectionMethod [ctor] .
op ELISA : -> DetectionMethod [ctor] .
op EIA : -> DetectionMethod [ctor] .
op EM : -> DetectionMethod [ctor] .
op EMSA : -> DetectionMethod [ctor] .
op FACS : -> DetectionMethod [ctor] .
op FarWestern : -> DetectionMethod [ctor] .
op Fluor : -> DetectionMethod [ctor] .
op FRAP : -> DetectionMethod [ctor] .
op FRET : -> DetectionMethod [ctor] .
op HeterokaryonAssay : -> DetectionMethod [ctor] .
op Hoechst : -> DetectionMethod [ctor] .
op HPLC : -> DetectionMethod [ctor] .
op HPLC-PAA-ED : -> DetectionMethod [ctor] .
op ICW : -> DetectionMethod [ctor] .
op IHC : -> DetectionMethod [ctor] .
op InGelKinase : -> DetectionMethod [ctor] .
op IVnucImport : -> DetectionMethod [ctor] .
op K48UbAb : -> DetectionMethod [ctor] . 
op K48UbAb-ppt : -> DetectionMethod [ctor] . 
op K63UbAb : -> DetectionMethod [ctor] . 
op tK63UbAb : -> DetectionMethod [ctor] . 
op K63UbAb-ppt : -> DetectionMethod [ctor] . 
op KAcAb : -> DetectionMethod [ctor] .
op KAcAb-ppt : -> DetectionMethod [ctor] .
op Luc : -> DetectionMethod [ctor] .
op MamTwoHybrid : -> DetectionMethod [ctor] . 
op Mant-GDP : -> DetectionMethod [ctor] . 
op Mant-GTP : -> DetectionMethod [ctor] . 
op MeAb : -> DetectionMethod [ctor] . 
op MicroArray : -> DetectionMethod [ctor] .
op MS : -> DetectionMethod [ctor] .
op MTT : -> DetectionMethod [ctor] .
op NativeWB : -> DetectionMethod [ctor] .
op NdAb : -> DetectionMethod [ctor] .
op NdAb-ppt : -> DetectionMethod [ctor] .
op NEreporter : -> DetectionMethod [ctor] .
op Northern : -> DetectionMethod [ctor] .
op NucFrag : -> DetectionMethod [ctor] .
op OD : -> DetectionMethod [ctor] .
op PD : -> DetectionMethod [ctor] .
op phosAb : -> DetectionMethod [ctor] .
op phosAb-ppt : -> DetectionMethod [ctor] .
op Pi-release : -> DetectionMethod [ctor] .
op PNPP : -> DetectionMethod [ctor] .
op pSAb : -> DetectionMethod [ctor] .
op pSAb-ppt : -> DetectionMethod [ctor] .
op pSTAb : -> DetectionMethod [ctor] .
op pSTAb-ppt : -> DetectionMethod [ctor] .
op pTAb : -> DetectionMethod [ctor] .
op pTAb-ppt : -> DetectionMethod [ctor] .
op pYAb : -> DetectionMethod [ctor] .
op pTPAb : -> DetectionMethod [ctor] .  *** detects phospho-threonine only when followed by proline
op pYAb-ATP : -> DetectionMethod [ctor] .
op pYAb-ppt : -> DetectionMethod [ctor] .
op QFIHC : -> DetectionMethod [ctor] .
op RIA : -> DetectionMethod [ctor] .
op RMeAb : -> DetectionMethod [ctor] .
op RMeAb-ppt : -> DetectionMethod [ctor] .
op RPA : -> DetectionMethod [ctor] .
op RTPCR : -> DetectionMethod [ctor] .
op rUbAb : -> DetectionMethod [ctor] .
op SAP : -> DetectionMethod [ctor] . 
op SPR : -> DetectionMethod [ctor] .
op SuAb : -> DetectionMethod [ctor] .
op SuAb-ppt : -> DetectionMethod [ctor] .
op subtilisin : -> DetectionMethod [ctor] .
op Surface-strip : -> DetectionMethod [ctor] .
op TLC : -> DetectionMethod [ctor] .
op tNdAb : -> DetectionMethod [ctor] .
op tNdAb-ppt : -> DetectionMethod [ctor] .
op tSuAb : -> DetectionMethod [ctor] .
op tSuAb-ppt : -> DetectionMethod [ctor] .
op tUbAb : -> DetectionMethod [ctor] .
op tUbAb-ppt : -> DetectionMethod [ctor] .
op TUNEL : -> DetectionMethod [ctor] .
op UbAb : -> DetectionMethod [ctor] .
op UbAb-ppt : -> DetectionMethod [ctor] .
op WB : -> DetectionMethod [ctor] .
op WB-overlay : -> DetectionMethod [ctor] .
op WBMS : -> DetectionMethod [ctor] .
op WBMS-PPase : -> DetectionMethod [ctor] .
op Xgal : -> DetectionMethod [ctor] .
op Xlink : -> DetectionMethod [ctor] .
op Me3Ab : -> DetectionMethod [ctor] .
op FLICA : -> DetectionMethod [ctor] .
op SDSPAGE : -> DetectionMethod [ctor] .
op SDSPAGE-MS : -> DetectionMethod [ctor] .


endfm
