Index
cspToProlog | Language.CSPM.AstToProlog |
mkSrcLoc | Language.CSPM.AstToProlog |
mkSymbolTable | Language.CSPM.AstToProlog |
translateToProlog | Language.CSPM.TranslateToProlog |
CSPM-ToProlog-0.4.0.0: some modules specific for the ProB tool
Index
cspToProlog | Language.CSPM.AstToProlog |
mkSrcLoc | Language.CSPM.AstToProlog |
mkSymbolTable | Language.CSPM.AstToProlog |
translateToProlog | Language.CSPM.TranslateToProlog |