CSPM-ToProlog-0.5.5.0: some modules specific for the ProB tool

Index

cspToPrologLanguage.CSPM.CompileAstToProlog
mkSrcLocLanguage.CSPM.CompileAstToProlog
mkSymbolTableLanguage.CSPM.CompileAstToProlog
toPrologLanguage.CSPM.AstToProlog
toPrologVersionLanguage.CSPM.TranslateToProlog
translateToPrologLanguage.CSPM.TranslateToProlog