\chapter{Listing of the Prolog Files Referenced in the Operation Model Specification}

\section[File /src-gen/prolog-ref-spec/Operations.../outactActivator-oeSetClock.pl]{File ./src-gen/prolog-ref-spec/Operations/Environment/OUT/outactActivator-oeSetClock.pl}
\scriptsize
\lstinputlisting[style=MessirPrologStyle,firstnumber=auto,captionpos=b,caption={Prolog file outactActivator-oeSetClock.pl.}]{./src-gen/prolog-ref-spec/Operations/Environment/OUT/outactActivator-oeSetClock.pl}
\normalsize
	
\section[File /src-gen/prolog-ref-spec.../outactActivator-oeSollicitateCrisisHandling.pl]{File ./src-gen/prolog-ref-spec/Operations/Environment/OUT/outactActivator-oeSollicitateCrisisHandling.pl}
\scriptsize
\lstinputlisting[style=MessirPrologStyle,firstnumber=auto,captionpos=b,caption={Prolog file outactActivator-oeSollicitateCrisisHandling.pl.}]{./src-gen/prolog-ref-spec/Operations/Environment/OUT/outactActivator-oeSollicitateCrisisHandling.pl}
\normalsize
	
\section[File /src-gen/prolog-ref-spec.../outactAdministrator-oeAddCoordinator.pl]{File ./src-gen/prolog-ref-spec/Operations/Environment/OUT/outactAdministrator-oeAddCoordinator.pl}
\scriptsize
\lstinputlisting[style=MessirPrologStyle,firstnumber=auto,captionpos=b,caption={Prolog file outactAdministrator-oeAddCoordinator.pl.}]{./src-gen/prolog-ref-spec/Operations/Environment/OUT/outactAdministrator-oeAddCoordinator.pl}
\normalsize
	
\section[File /src-gen/prolog-ref-spec.../outactAdministrator-oeDeleteCoordinator.pl]{File ./src-gen/prolog-ref-spec/Operations/Environment/OUT/outactAdministrator-oeDeleteCoordinator.pl}
\scriptsize
\lstinputlisting[style=MessirPrologStyle,firstnumber=auto,captionpos=b,caption={Prolog file outactAdministrator-oeDeleteCoordinator.pl.}]{./src-gen/prolog-ref-spec/Operations/Environment/OUT/outactAdministrator-oeDeleteCoordinator.pl}
\normalsize
	
\section[File /src-gen/prolog-ref-spec/Operations.../outactAuthenticated-oeLogin.pl]{File ./src-gen/prolog-ref-spec/Operations/Environment/OUT/outactAuthenticated-oeLogin.pl}
\scriptsize
\lstinputlisting[style=MessirPrologStyle,firstnumber=auto,captionpos=b,caption={Prolog file outactAuthenticated-oeLogin.pl.}]{./src-gen/prolog-ref-spec/Operations/Environment/OUT/outactAuthenticated-oeLogin.pl}
\normalsize
	
\section[File /src-gen/prolog-ref-spec/Operations.../outactAuthenticated-oeLogout.pl]{File ./src-gen/prolog-ref-spec/Operations/Environment/OUT/outactAuthenticated-oeLogout.pl}
\scriptsize
\lstinputlisting[style=MessirPrologStyle,firstnumber=auto,captionpos=b,caption={Prolog file outactAuthenticated-oeLogout.pl.}]{./src-gen/prolog-ref-spec/Operations/Environment/OUT/outactAuthenticated-oeLogout.pl}
\normalsize
	
\section[File /src-gen/prolog-ref-spec/Operations.../outactComCompany-oeAlert.pl]{File ./src-gen/prolog-ref-spec/Operations/Environment/OUT/outactComCompany-oeAlert.pl}
\scriptsize
\lstinputlisting[style=MessirPrologStyle,firstnumber=auto,captionpos=b,caption={Prolog file outactComCompany-oeAlert.pl.}]{./src-gen/prolog-ref-spec/Operations/Environment/OUT/outactComCompany-oeAlert.pl}
\normalsize
	
\section[File /src-gen/prolog-ref-spec/Operations.../outactCoordinator-oeCloseCrisis.pl]{File ./src-gen/prolog-ref-spec/Operations/Environment/OUT/outactCoordinator-oeCloseCrisis.pl}
\scriptsize
\lstinputlisting[style=MessirPrologStyle,firstnumber=auto,captionpos=b,caption={Prolog file outactCoordinator-oeCloseCrisis.pl.}]{./src-gen/prolog-ref-spec/Operations/Environment/OUT/outactCoordinator-oeCloseCrisis.pl}
\normalsize
	
\section[File /src-gen/prolog-ref-spec/Operations.../outactCoordinator-oeGetCrisisSet.pl]{File ./src-gen/prolog-ref-spec/Operations/Environment/OUT/outactCoordinator-oeGetCrisisSet.pl}
\scriptsize
\lstinputlisting[style=MessirPrologStyle,firstnumber=auto,captionpos=b,caption={Prolog file outactCoordinator-oeGetCrisisSet.pl.}]{./src-gen/prolog-ref-spec/Operations/Environment/OUT/outactCoordinator-oeGetCrisisSet.pl}
\normalsize
	
\section[File /src-gen/prolog-ref-spec.../outactCoordinator-oeInvalidateAlert.pl]{File ./src-gen/prolog-ref-spec/Operations/Environment/OUT/outactCoordinator-oeInvalidateAlert.pl}
\scriptsize
\lstinputlisting[style=MessirPrologStyle,firstnumber=auto,captionpos=b,caption={Prolog file outactCoordinator-oeInvalidateAlert.pl.}]{./src-gen/prolog-ref-spec/Operations/Environment/OUT/outactCoordinator-oeInvalidateAlert.pl}
\normalsize
	
\section[File /src-gen/prolog-ref-spec.../outactCoordinator-oeReportOnCrisis.pl]{File ./src-gen/prolog-ref-spec/Operations/Environment/OUT/outactCoordinator-oeReportOnCrisis.pl}
\scriptsize
\lstinputlisting[style=MessirPrologStyle,firstnumber=auto,captionpos=b,caption={Prolog file outactCoordinator-oeReportOnCrisis.pl.}]{./src-gen/prolog-ref-spec/Operations/Environment/OUT/outactCoordinator-oeReportOnCrisis.pl}
\normalsize
	
\section[File /src-gen/prolog-ref-spec.../outactCoordinator-oeSetCrisisHandler.pl]{File ./src-gen/prolog-ref-spec/Operations/Environment/OUT/outactCoordinator-oeSetCrisisHandler.pl}
\scriptsize
\lstinputlisting[style=MessirPrologStyle,firstnumber=auto,captionpos=b,caption={Prolog file outactCoordinator-oeSetCrisisHandler.pl.}]{./src-gen/prolog-ref-spec/Operations/Environment/OUT/outactCoordinator-oeSetCrisisHandler.pl}
\normalsize
	
\section[File /src-gen/prolog-ref-spec.../outactCoordinator-oeSetCrisisStatus.pl]{File ./src-gen/prolog-ref-spec/Operations/Environment/OUT/outactCoordinator-oeSetCrisisStatus.pl}
\scriptsize
\lstinputlisting[style=MessirPrologStyle,firstnumber=auto,captionpos=b,caption={Prolog file outactCoordinator-oeSetCrisisStatus.pl.}]{./src-gen/prolog-ref-spec/Operations/Environment/OUT/outactCoordinator-oeSetCrisisStatus.pl}
\normalsize
	
\section[File /src-gen/prolog-ref-spec.../outactCoordinator-oeSetCrisisType.pl]{File ./src-gen/prolog-ref-spec/Operations/Environment/OUT/outactCoordinator-oeSetCrisisType.pl}
\scriptsize
\lstinputlisting[style=MessirPrologStyle,firstnumber=auto,captionpos=b,caption={Prolog file outactCoordinator-oeSetCrisisType.pl.}]{./src-gen/prolog-ref-spec/Operations/Environment/OUT/outactCoordinator-oeSetCrisisType.pl}
\normalsize
	
\section[File /src-gen/prolog-ref-spec.../outactCoordinator-oeValidateAlert.pl]{File ./src-gen/prolog-ref-spec/Operations/Environment/OUT/outactCoordinator-oeValidateAlert.pl}
\scriptsize
\lstinputlisting[style=MessirPrologStyle,firstnumber=auto,captionpos=b,caption={Prolog file outactCoordinator-oeValidateAlert.pl.}]{./src-gen/prolog-ref-spec/Operations/Environment/OUT/outactCoordinator-oeValidateAlert.pl}
\normalsize
	
\section[File /src-gen.../outactMsrCreator-oeCreateSystemAndEnvironment.pl]{File ./src-gen/prolog-ref-spec/Operations/Environment/OUT/outactMsrCreator-oeCreateSystemAndEnvironment.pl}
\scriptsize
\lstinputlisting[style=MessirPrologStyle,firstnumber=auto,captionpos=b,caption={Prolog file outactMsrCreator-oeCreateSystemAndEnvironment.pl.}]{./src-gen/prolog-ref-spec/Operations/Environment/OUT/outactMsrCreator-oeCreateSystemAndEnvironment.pl}
\normalsize
	
\section[File /src-gen/prolog-ref-spec.../PrimaryTypesClasses-ctAdministrator-init.pl]{File ./src-gen/prolog-ref-spec/Operations/Concepts/PrimaryTypesClasses/PrimaryTypesClasses-ctAdministrator-init.pl}
\scriptsize
\lstinputlisting[style=MessirPrologStyle,firstnumber=auto,captionpos=b,caption={Prolog file PrimaryTypesClasses-ctAdministrator-init.pl.}]{./src-gen/prolog-ref-spec/Operations/Concepts/PrimaryTypesClasses/PrimaryTypesClasses-ctAdministrator-init.pl}
\normalsize
	
\section[File /src-gen/prolog-ref-spec/Operations.../PrimaryTypesClasses-ctAlert-init.pl]{File ./src-gen/prolog-ref-spec/Operations/Concepts/PrimaryTypesClasses/PrimaryTypesClasses-ctAlert-init.pl}
\scriptsize
\lstinputlisting[style=MessirPrologStyle,firstnumber=auto,captionpos=b,caption={Prolog file PrimaryTypesClasses-ctAlert-init.pl.}]{./src-gen/prolog-ref-spec/Operations/Concepts/PrimaryTypesClasses/PrimaryTypesClasses-ctAlert-init.pl}
\normalsize
	
\section[File /src-gen.../PrimaryTypesClasses-ctAlert-isSentToCoordinator.pl]{File ./src-gen/prolog-ref-spec/Operations/Concepts/PrimaryTypesClasses/PrimaryTypesClasses-ctAlert-isSentToCoordinator.pl}
\scriptsize
\lstinputlisting[style=MessirPrologStyle,firstnumber=auto,captionpos=b,caption={Prolog file PrimaryTypesClasses-ctAlert-isSentToCoordinator.pl.}]{./src-gen/prolog-ref-spec/Operations/Concepts/PrimaryTypesClasses/PrimaryTypesClasses-ctAlert-isSentToCoordinator.pl}
\normalsize
	
\section[File /src-gen/prolog-ref-spec.../PrimaryTypesClasses-ctAuthenticated-init.pl]{File ./src-gen/prolog-ref-spec/Operations/Concepts/PrimaryTypesClasses/PrimaryTypesClasses-ctAuthenticated-init.pl}
\scriptsize
\lstinputlisting[style=MessirPrologStyle,firstnumber=auto,captionpos=b,caption={Prolog file PrimaryTypesClasses-ctAuthenticated-init.pl.}]{./src-gen/prolog-ref-spec/Operations/Concepts/PrimaryTypesClasses/PrimaryTypesClasses-ctAuthenticated-init.pl}
\normalsize
	
\section[File /src-gen/prolog-ref-spec.../PrimaryTypesClasses-ctCoordinator-init.pl]{File ./src-gen/prolog-ref-spec/Operations/Concepts/PrimaryTypesClasses/PrimaryTypesClasses-ctCoordinator-init.pl}
\scriptsize
\lstinputlisting[style=MessirPrologStyle,firstnumber=auto,captionpos=b,caption={Prolog file PrimaryTypesClasses-ctCoordinator-init.pl.}]{./src-gen/prolog-ref-spec/Operations/Concepts/PrimaryTypesClasses/PrimaryTypesClasses-ctCoordinator-init.pl}
\normalsize
	
\section[File /src-gen.../PrimaryTypesClasses-ctCrisis-handlingDelayPassed.pl]{File ./src-gen/prolog-ref-spec/Operations/Concepts/PrimaryTypesClasses/PrimaryTypesClasses-ctCrisis-handlingDelayPassed.pl}
\scriptsize
\lstinputlisting[style=MessirPrologStyle,firstnumber=auto,captionpos=b,caption={Prolog file PrimaryTypesClasses-ctCrisis-handlingDelayPassed.pl.}]{./src-gen/prolog-ref-spec/Operations/Concepts/PrimaryTypesClasses/PrimaryTypesClasses-ctCrisis-handlingDelayPassed.pl}
\normalsize
	
\section[File /src-gen/prolog-ref-spec.../PrimaryTypesClasses-ctCrisis-init.pl]{File ./src-gen/prolog-ref-spec/Operations/Concepts/PrimaryTypesClasses/PrimaryTypesClasses-ctCrisis-init.pl}
\scriptsize
\lstinputlisting[style=MessirPrologStyle,firstnumber=auto,captionpos=b,caption={Prolog file PrimaryTypesClasses-ctCrisis-init.pl.}]{./src-gen/prolog-ref-spec/Operations/Concepts/PrimaryTypesClasses/PrimaryTypesClasses-ctCrisis-init.pl}
\normalsize
	
\section[File /src-gen.../PrimaryTypesClasses-ctCrisis-isAllocatedIfPossible.pl]{File ./src-gen/prolog-ref-spec/Operations/Concepts/PrimaryTypesClasses/PrimaryTypesClasses-ctCrisis-isAllocatedIfPossible.pl}
\scriptsize
\lstinputlisting[style=MessirPrologStyle,firstnumber=auto,captionpos=b,caption={Prolog file PrimaryTypesClasses-ctCrisis-isAllocatedIfPossible.pl.}]{./src-gen/prolog-ref-spec/Operations/Concepts/PrimaryTypesClasses/PrimaryTypesClasses-ctCrisis-isAllocatedIfPossible.pl}
\normalsize
	
\section[File /src-gen.../PrimaryTypesClasses-ctCrisis-isSentToCoordinator.pl]{File ./src-gen/prolog-ref-spec/Operations/Concepts/PrimaryTypesClasses/PrimaryTypesClasses-ctCrisis-isSentToCoordinator.pl}
\scriptsize
\lstinputlisting[style=MessirPrologStyle,firstnumber=auto,captionpos=b,caption={Prolog file PrimaryTypesClasses-ctCrisis-isSentToCoordinator.pl.}]{./src-gen/prolog-ref-spec/Operations/Concepts/PrimaryTypesClasses/PrimaryTypesClasses-ctCrisis-isSentToCoordinator.pl}
\normalsize
	
\section[File /src-gen.../PrimaryTypesClasses-ctCrisis-maxHandlingDelayPassed.pl]{File ./src-gen/prolog-ref-spec/Operations/Concepts/PrimaryTypesClasses/PrimaryTypesClasses-ctCrisis-maxHandlingDelayPassed.pl}
\scriptsize
\lstinputlisting[style=MessirPrologStyle,firstnumber=auto,captionpos=b,caption={Prolog file PrimaryTypesClasses-ctCrisis-maxHandlingDelayPassed.pl.}]{./src-gen/prolog-ref-spec/Operations/Concepts/PrimaryTypesClasses/PrimaryTypesClasses-ctCrisis-maxHandlingDelayPassed.pl}
\normalsize
	
\section[File /src-gen/prolog-ref-spec/Operations.../PrimaryTypesClasses-ctHuman-init.pl]{File ./src-gen/prolog-ref-spec/Operations/Concepts/PrimaryTypesClasses/PrimaryTypesClasses-ctHuman-init.pl}
\scriptsize
\lstinputlisting[style=MessirPrologStyle,firstnumber=auto,captionpos=b,caption={Prolog file PrimaryTypesClasses-ctHuman-init.pl.}]{./src-gen/prolog-ref-spec/Operations/Concepts/PrimaryTypesClasses/PrimaryTypesClasses-ctHuman-init.pl}
\normalsize
	
\section[File /src-gen/prolog-ref-spec.../PrimaryTypesClasses-ctHuman-isAcknowledged.pl]{File ./src-gen/prolog-ref-spec/Operations/Concepts/PrimaryTypesClasses/PrimaryTypesClasses-ctHuman-isAcknowledged.pl}
\scriptsize
\lstinputlisting[style=MessirPrologStyle,firstnumber=auto,captionpos=b,caption={Prolog file PrimaryTypesClasses-ctHuman-isAcknowledged.pl.}]{./src-gen/prolog-ref-spec/Operations/Concepts/PrimaryTypesClasses/PrimaryTypesClasses-ctHuman-isAcknowledged.pl}
\normalsize
	
\section[File /src-gen/prolog-ref-spec/Operations.../PrimaryTypesClasses-ctState-init.pl]{File ./src-gen/prolog-ref-spec/Operations/Concepts/PrimaryTypesClasses/PrimaryTypesClasses-ctState-init.pl}
\scriptsize
\lstinputlisting[style=MessirPrologStyle,firstnumber=auto,captionpos=b,caption={Prolog file PrimaryTypesClasses-ctState-init.pl.}]{./src-gen/prolog-ref-spec/Operations/Concepts/PrimaryTypesClasses/PrimaryTypesClasses-ctState-init.pl}
\normalsize
	
\section[File /src-gen/prolog-ref-spec.../PrimaryTypesDatatypes-dtAlertID-is.pl]{File ./src-gen/prolog-ref-spec/Operations/Concepts/PrimaryTypesDatatypes/PrimaryTypesDatatypes-dtAlertID-is.pl}
\scriptsize
\lstinputlisting[style=MessirPrologStyle,firstnumber=auto,captionpos=b,caption={Prolog file PrimaryTypesDatatypes-dtAlertID-is.pl.}]{./src-gen/prolog-ref-spec/Operations/Concepts/PrimaryTypesDatatypes/PrimaryTypesDatatypes-dtAlertID-is.pl}
\normalsize
	
\section[File /src-gen/prolog-ref-spec.../PrimaryTypesDatatypes-dtComment-is.pl]{File ./src-gen/prolog-ref-spec/Operations/Concepts/PrimaryTypesDatatypes/PrimaryTypesDatatypes-dtComment-is.pl}
\scriptsize
\lstinputlisting[style=MessirPrologStyle,firstnumber=auto,captionpos=b,caption={Prolog file PrimaryTypesDatatypes-dtComment-is.pl.}]{./src-gen/prolog-ref-spec/Operations/Concepts/PrimaryTypesDatatypes/PrimaryTypesDatatypes-dtComment-is.pl}
\normalsize
	
\section[File /src-gen/prolog-ref-spec.../PrimaryTypesDatatypes-dtCoordinatorID-is.pl]{File ./src-gen/prolog-ref-spec/Operations/Concepts/PrimaryTypesDatatypes/PrimaryTypesDatatypes-dtCoordinatorID-is.pl}
\scriptsize
\lstinputlisting[style=MessirPrologStyle,firstnumber=auto,captionpos=b,caption={Prolog file PrimaryTypesDatatypes-dtCoordinatorID-is.pl.}]{./src-gen/prolog-ref-spec/Operations/Concepts/PrimaryTypesDatatypes/PrimaryTypesDatatypes-dtCoordinatorID-is.pl}
\normalsize
	
\section[File /src-gen/prolog-ref-spec.../PrimaryTypesDatatypes-dtCrisisID-is.pl]{File ./src-gen/prolog-ref-spec/Operations/Concepts/PrimaryTypesDatatypes/PrimaryTypesDatatypes-dtCrisisID-is.pl}
\scriptsize
\lstinputlisting[style=MessirPrologStyle,firstnumber=auto,captionpos=b,caption={Prolog file PrimaryTypesDatatypes-dtCrisisID-is.pl.}]{./src-gen/prolog-ref-spec/Operations/Concepts/PrimaryTypesDatatypes/PrimaryTypesDatatypes-dtCrisisID-is.pl}
\normalsize
	
\section[File /src-gen/prolog-ref-spec.../PrimaryTypesDatatypes-dtGPSLocation-is.pl]{File ./src-gen/prolog-ref-spec/Operations/Concepts/PrimaryTypesDatatypes/PrimaryTypesDatatypes-dtGPSLocation-is.pl}
\scriptsize
\lstinputlisting[style=MessirPrologStyle,firstnumber=auto,captionpos=b,caption={Prolog file PrimaryTypesDatatypes-dtGPSLocation-is.pl.}]{./src-gen/prolog-ref-spec/Operations/Concepts/PrimaryTypesDatatypes/PrimaryTypesDatatypes-dtGPSLocation-is.pl}
\normalsize
	
\section[File /src-gen.../PrimaryTypesDatatypes-dtGPSLocation-isNearTo.pl]{File ./src-gen/prolog-ref-spec/Operations/Concepts/PrimaryTypesDatatypes/PrimaryTypesDatatypes-dtGPSLocation-isNearTo.pl}
\scriptsize
\lstinputlisting[style=MessirPrologStyle,firstnumber=auto,captionpos=b,caption={Prolog file PrimaryTypesDatatypes-dtGPSLocation-isNearTo.pl.}]{./src-gen/prolog-ref-spec/Operations/Concepts/PrimaryTypesDatatypes/PrimaryTypesDatatypes-dtGPSLocation-isNearTo.pl}
\normalsize
	
\section[File /src-gen/prolog-ref-spec.../PrimaryTypesDatatypes-dtLatitude-is.pl]{File ./src-gen/prolog-ref-spec/Operations/Concepts/PrimaryTypesDatatypes/PrimaryTypesDatatypes-dtLatitude-is.pl}
\scriptsize
\lstinputlisting[style=MessirPrologStyle,firstnumber=auto,captionpos=b,caption={Prolog file PrimaryTypesDatatypes-dtLatitude-is.pl.}]{./src-gen/prolog-ref-spec/Operations/Concepts/PrimaryTypesDatatypes/PrimaryTypesDatatypes-dtLatitude-is.pl}
\normalsize
	
\section[File /src-gen/prolog-ref-spec/Operations.../PrimaryTypesDatatypes-dtLogin-is.pl]{File ./src-gen/prolog-ref-spec/Operations/Concepts/PrimaryTypesDatatypes/PrimaryTypesDatatypes-dtLogin-is.pl}
\scriptsize
\lstinputlisting[style=MessirPrologStyle,firstnumber=auto,captionpos=b,caption={Prolog file PrimaryTypesDatatypes-dtLogin-is.pl.}]{./src-gen/prolog-ref-spec/Operations/Concepts/PrimaryTypesDatatypes/PrimaryTypesDatatypes-dtLogin-is.pl}
\normalsize
	
\section[File /src-gen/prolog-ref-spec.../PrimaryTypesDatatypes-dtLongitude-is.pl]{File ./src-gen/prolog-ref-spec/Operations/Concepts/PrimaryTypesDatatypes/PrimaryTypesDatatypes-dtLongitude-is.pl}
\scriptsize
\lstinputlisting[style=MessirPrologStyle,firstnumber=auto,captionpos=b,caption={Prolog file PrimaryTypesDatatypes-dtLongitude-is.pl.}]{./src-gen/prolog-ref-spec/Operations/Concepts/PrimaryTypesDatatypes/PrimaryTypesDatatypes-dtLongitude-is.pl}
\normalsize
	
\section[File /src-gen/prolog-ref-spec.../PrimaryTypesDatatypes-dtPassword-is.pl]{File ./src-gen/prolog-ref-spec/Operations/Concepts/PrimaryTypesDatatypes/PrimaryTypesDatatypes-dtPassword-is.pl}
\scriptsize
\lstinputlisting[style=MessirPrologStyle,firstnumber=auto,captionpos=b,caption={Prolog file PrimaryTypesDatatypes-dtPassword-is.pl.}]{./src-gen/prolog-ref-spec/Operations/Concepts/PrimaryTypesDatatypes/PrimaryTypesDatatypes-dtPassword-is.pl}
\normalsize
	
\section[File /src-gen/prolog-ref-spec.../PrimaryTypesDatatypes-dtPhoneNumber-is.pl]{File ./src-gen/prolog-ref-spec/Operations/Concepts/PrimaryTypesDatatypes/PrimaryTypesDatatypes-dtPhoneNumber-is.pl}
\scriptsize
\lstinputlisting[style=MessirPrologStyle,firstnumber=auto,captionpos=b,caption={Prolog file PrimaryTypesDatatypes-dtPhoneNumber-is.pl.}]{./src-gen/prolog-ref-spec/Operations/Concepts/PrimaryTypesDatatypes/PrimaryTypesDatatypes-dtPhoneNumber-is.pl}
\normalsize
	
\section[File /src-gen/prolog-ref-spec.../PrimaryTypesDatatypes-etAlertStatus-is.pl]{File ./src-gen/prolog-ref-spec/Operations/Concepts/PrimaryTypesClasses/PrimaryTypesDatatypes-etAlertStatus-is.pl}
\scriptsize
\lstinputlisting[style=MessirPrologStyle,firstnumber=auto,captionpos=b,caption={Prolog file PrimaryTypesDatatypes-etAlertStatus-is.pl.}]{./src-gen/prolog-ref-spec/Operations/Concepts/PrimaryTypesClasses/PrimaryTypesDatatypes-etAlertStatus-is.pl}
\normalsize
	
\section[File /src-gen/prolog-ref-spec.../PrimaryTypesDatatypes-etCrisisStatus-is.pl]{File ./src-gen/prolog-ref-spec/Operations/Concepts/PrimaryTypesClasses/PrimaryTypesDatatypes-etCrisisStatus-is.pl}
\scriptsize
\lstinputlisting[style=MessirPrologStyle,firstnumber=auto,captionpos=b,caption={Prolog file PrimaryTypesDatatypes-etCrisisStatus-is.pl.}]{./src-gen/prolog-ref-spec/Operations/Concepts/PrimaryTypesClasses/PrimaryTypesDatatypes-etCrisisStatus-is.pl}
\normalsize
	
\section[File /src-gen/prolog-ref-spec.../PrimaryTypesDatatypes-etCrisisType-is.pl]{File ./src-gen/prolog-ref-spec/Operations/Concepts/PrimaryTypesClasses/PrimaryTypesDatatypes-etCrisisType-is.pl}
\scriptsize
\lstinputlisting[style=MessirPrologStyle,firstnumber=auto,captionpos=b,caption={Prolog file PrimaryTypesDatatypes-etCrisisType-is.pl.}]{./src-gen/prolog-ref-spec/Operations/Concepts/PrimaryTypesClasses/PrimaryTypesDatatypes-etCrisisType-is.pl}
\normalsize
	
\section[File /src-gen/prolog-ref-spec.../PrimaryTypesDatatypes-etHumanKind-is.pl]{File ./src-gen/prolog-ref-spec/Operations/Concepts/PrimaryTypesClasses/PrimaryTypesDatatypes-etHumanKind-is.pl}
\scriptsize
\lstinputlisting[style=MessirPrologStyle,firstnumber=auto,captionpos=b,caption={Prolog file PrimaryTypesDatatypes-etHumanKind-is.pl.}]{./src-gen/prolog-ref-spec/Operations/Concepts/PrimaryTypesClasses/PrimaryTypesDatatypes-etHumanKind-is.pl}
\normalsize
	
\section[File /src-gen/prolog-ref-spec/Operations.../SecondaryTypesDatatypes-dtSMS-is.pl]{File ./src-gen/prolog-ref-spec/Operations/Concepts/SecondaryTypesDatatypes/SecondaryTypesDatatypes-dtSMS-is.pl}
\scriptsize
\lstinputlisting[style=MessirPrologStyle,firstnumber=auto,captionpos=b,caption={Prolog file SecondaryTypesDatatypes-dtSMS-is.pl.}]{./src-gen/prolog-ref-spec/Operations/Concepts/SecondaryTypesDatatypes/SecondaryTypesDatatypes-dtSMS-is.pl}
\normalsize
	
