load ../../PLALib/PLACORE/theops
load ops/modificationops
load ops/locationops
load ops/chemicalops
load ops/proteinops
load ops/geneops
load ops/siteops
load ops/signatureops
load ops/stressops
load ops/glycanops
******************************
fmod ALLOPS is
 inc CHEMICALOPS .
 inc GENEOPS .
 inc GLYCANOPS .
 inc LOCATIONOPS .
 inc MODIFICATIONOPS .
 inc PROTEINOPS .
 inc SIGNATUREOPS .
 inc SITEOPS .
 inc STRESSOPS .
 inc THEOPS .
endfm
******************************
 load Grules/GagRules
 load Grules/GanglioRules.maude
 load Grules/GloboRules.maude
 load Grules/GlycoRules
 load Grules/GPIRules.maude
 load Grules/KSRules.maude
 load Grules/LactoRules.maude
 load Grules/MucinRules
 load Grules/NglycanRules
 load Grules/OOGlycanRules.maude
******************************
mod ALLRULES is
 inc GAGRULES .
 inc GANGLIORULES .
 inc GLOBORULES .
 inc GLYCORULES .
 inc GPIRULES .
 inc KSRULES .
 inc LACTORULES .
 inc MUCINRULES .
 inc NGLYCANRULES .
 inc OOGLYCANRULES .
endm
******************************
load model-checker
load GDishes/allDish
load GDishes/GlycoProteinDish
load GDishes/GlycoLipidDish
load qq.maude

