| additiveOp2Copilot | Language.Trans.SMV2Copilot |
| AppData | Command.Standalone |
| boolSpec2Copilot | |
| 1 (Function) | Language.Trans.Lustre2Copilot |
| 2 (Function) | Language.Trans.SMV2Copilot |
| boolSpecNames | |
| 1 (Function) | Language.Trans.Lustre2Copilot |
| 2 (Function) | Language.Trans.SMV2Copilot |
| camelCaseTypeName | Language.Trans.CStruct2CopilotStruct |
| CheckMoves | Language.Trans.Diagram2Copilot, Command.Diagram |
| CheckState | Language.Trans.Diagram2Copilot, Command.Diagram |
| command | |
| 1 (Function) | Command.Standalone |
| 2 (Function) | Command.Search |
| 3 (Function) | Command.Report |
| 4 (Function) | Command.ROSApp |
| 5 (Function) | Command.Overview |
| 6 (Function) | Command.FPrimeApp |
| 7 (Function) | Command.CFSApp |
| commandConditionExpr | |
| 1 (Function) | Command.Standalone |
| 2 (Function) | Command.ROSApp |
| 3 (Function) | Command.FPrimeApp |
| 4 (Function) | Command.CFSApp |
| commandDiagramDeterministic | Command.Overview |
| commandDiagramFile | Command.Overview |
| commandDiagramMode | Command.CFSApp |
| commandDiagramNumStates | Command.Overview |
| commandDiagramsAny | Command.Report |
| commandDiagramsList | Command.Report |
| commandExternalVariables | Command.Overview |
| commandExtraVars | |
| 1 (Function) | Command.Standalone |
| 2 (Function) | Command.ROSApp |
| 3 (Function) | Command.FPrimeApp |
| 4 (Function) | Command.CFSApp |
| commandFilename | Command.Standalone |
| commandFormat | |
| 1 (Function) | Command.Standalone |
| 2 (Function) | Command.ROSApp |
| 3 (Function) | Command.FPrimeApp |
| 4 (Function) | Command.CFSApp |
| commandHandlers | |
| 1 (Function) | Command.ROSApp |
| 2 (Function) | Command.FPrimeApp |
| 3 (Function) | Command.CFSApp |
| commandInputFiles | |
| 1 (Function) | Command.Standalone |
| 2 (Function) | Command.Search |
| 3 (Function) | Command.Report |
| 4 (Function) | Command.ROSApp |
| 5 (Function) | Command.Overview |
| 6 (Function) | Command.FPrimeApp |
| 7 (Function) | Command.CFSApp |
| commandInternalVariables | Command.Overview |
| commandLogic | Command.Standalone |
| CommandOptions | |
| 1 (Type/Class) | Command.Standalone |
| 2 (Data Constructor) | Command.Standalone |
| 3 (Type/Class) | Command.Search |
| 4 (Data Constructor) | Command.Search |
| 5 (Type/Class) | Command.Report |
| 6 (Data Constructor) | Command.Report |
| 7 (Type/Class) | Command.ROSApp |
| 8 (Data Constructor) | Command.ROSApp |
| 9 (Type/Class) | Command.Overview |
| 10 (Data Constructor) | Command.Overview |
| 11 (Type/Class) | Command.FPrimeApp |
| 12 (Data Constructor) | Command.FPrimeApp |
| 13 (Type/Class) | Command.CFSApp |
| 14 (Data Constructor) | Command.CFSApp |
| commandPropFormat | |
| 1 (Function) | Command.Standalone |
| 2 (Function) | Command.ROSApp |
| 3 (Function) | Command.FPrimeApp |
| 4 (Function) | Command.CFSApp |
| commandPropVia | |
| 1 (Function) | Command.Standalone |
| 2 (Function) | Command.ROSApp |
| 3 (Function) | Command.FPrimeApp |
| 4 (Function) | Command.CFSApp |
| commandRequirementList | Command.Report |
| commandRequirements | Command.Overview |
| commandRequirementsAny | Command.Report |
| commandRequirementsConsistent | Command.Overview |
| commandRequirementsFalse | Command.Overview |
| commandRequirementsFile | Command.Overview |
| commandRequirementsTrue | Command.Overview |
| commandSearchQuery | Command.Search |
| CommandSearchResults | |
| 1 (Type/Class) | Command.Search |
| 2 (Data Constructor) | Command.Search |
| CommandSummary | |
| 1 (Type/Class) | Command.Report |
| 2 (Data Constructor) | Command.Report |
| 3 (Type/Class) | Command.Overview |
| 4 (Data Constructor) | Command.Overview |
| CommandSummaryDiagram | |
| 1 (Type/Class) | Command.Overview |
| 2 (Data Constructor) | Command.Overview |
| commandSummaryDiagrams | Command.Overview |
| CommandSummaryRequirements | |
| 1 (Type/Class) | Command.Overview |
| 2 (Data Constructor) | Command.Overview |
| commandSummaryRequirements | Command.Overview |
| commandTargetDir | |
| 1 (Function) | Command.Standalone |
| 2 (Function) | Command.Report |
| 3 (Function) | Command.ROSApp |
| 4 (Function) | Command.FPrimeApp |
| 5 (Function) | Command.CFSApp |
| commandTemplateDir | |
| 1 (Function) | Command.Standalone |
| 2 (Function) | Command.Report |
| 3 (Function) | Command.ROSApp |
| 4 (Function) | Command.FPrimeApp |
| 5 (Function) | Command.CFSApp |
| commandTestingApps | Command.ROSApp |
| commandTestingVars | Command.ROSApp |
| commandTypeMapping | Command.Standalone |
| commandVariableDB | |
| 1 (Function) | Command.ROSApp |
| 2 (Function) | Command.FPrimeApp |
| 3 (Function) | Command.CFSApp |
| commandVariables | |
| 1 (Function) | Command.ROSApp |
| 2 (Function) | Command.FPrimeApp |
| 3 (Function) | Command.CFSApp |
| ComputeState | Language.Trans.Diagram2Copilot, Command.Diagram |
| const2Copilot | Language.Trans.SMV2Copilot |
| cstruct2CopilotDecls | Language.Trans.CStructs2Copilot |
| cstruct2MsgHandler | Language.Trans.CStructs2MsgHandlers |
| cStructName2Haskell | Language.Trans.CStructs2Copilot |
| cstructs2Copilot | Command.CStructs2Copilot |
| cstructs2CopilotDecls | Language.Trans.CStructs2Copilot |
| cstructs2MsgHandlers | |
| 1 (Function) | Language.Trans.CStructs2MsgHandlers |
| 2 (Function) | Command.CStructs2MsgHandlers |
| cStructToCopilotStruct | Language.Trans.CStructs2Copilot |
| cTypeName2HaskellType | Language.Trans.CStructs2Copilot |
| diagram | Command.Diagram |
| diagram2Copilot | Language.Trans.Diagram2Copilot |
| diagram2CopilotSpec | Language.Trans.Diagram2Copilot |
| diagramFilename | Command.Diagram |
| DiagramFormat | Command.Diagram |
| diagramFormat | Command.Diagram |
| DiagramInfo | |
| 1 (Type/Class) | Command.Search |
| 2 (Data Constructor) | Command.Search |
| diagramInfoLocation | Command.Search |
| diagramInputVar | Command.Diagram |
| DiagramMode | Language.Trans.Diagram2Copilot, Command.Diagram |
| diagramMode | Command.Diagram |
| DiagramOptions | |
| 1 (Type/Class) | Command.Diagram |
| 2 (Data Constructor) | Command.Diagram |
| DiagramPropFormat | Command.Diagram |
| diagramPropFormat | Command.Diagram |
| diagramStateVar | Command.Diagram |
| diagramTargetDir | Command.Diagram |
| diagramTemplateDir | Command.Diagram |
| Dot | Command.Diagram |
| Error | Command.Result |
| ErrorCode | |
| 1 (Type/Class) | Command.Standalone, Command.Search, Command.Report, Command.ROSApp, Command.Overview, Command.FPrimeApp, Command.CFSApp |
| 2 (Type/Class) | Command.CStructs2Copilot |
| 3 (Type/Class) | Command.CStructs2MsgHandlers |
| 4 (Type/Class) | Command.Diagram |
| fieldName | Language.Trans.CStructs2Copilot |
| ident2Copilot | Language.Trans.SMV2Copilot |
| Inputs | Command.Diagram |
| isError | Command.Result |
| isSuccess | Command.Result |
| Literal | Command.Diagram |
| Location | Data.Location |
| LocationFile | Data.Location |
| LocationFileLC | Data.Location |
| LocationFileLine | Data.Location |
| LocationNothing | Data.Location |
| Lustre | Command.Diagram |
| Mermaid | Command.Diagram |
| mkCStruct | Language.Trans.CStruct2CopilotStruct |
| multOp2Copilot | Language.Trans.SMV2Copilot |
| Node | |
| 1 (Type/Class) | Command.ROSApp |
| 2 (Data Constructor) | Command.ROSApp |
| number2Copilot | Language.Trans.SMV2Copilot |
| numExpr2Copilot | Language.Trans.SMV2Copilot |
| numExprNames | Language.Trans.SMV2Copilot |
| opOne2Copilot | Language.Trans.SMV2Copilot |
| opOneAlone2Copilot | Language.Trans.SMV2Copilot |
| opOneMTL2Copilot | Language.Trans.SMV2Copilot |
| opOneMTL2Copilot' | Language.Trans.SMV2Copilot |
| opOneMTLRange2Copilot | Language.Trans.SMV2Copilot |
| opTwo2Copilot | Language.Trans.SMV2Copilot |
| ordOp2Copilot | Language.Trans.SMV2Copilot |
| OverviewFile | |
| 1 (Type/Class) | Command.Overview |
| 2 (Data Constructor) | Command.Overview |
| overviewFileFormat | Command.Overview |
| overviewFilePath | Command.Overview |
| overviewFilePropFormat | Command.Overview |
| overviewFilePropVia | Command.Overview |
| Project | |
| 1 (Type/Class) | Data.Project |
| 2 (Data Constructor) | Data.Project |
| projectCommandPropVia | Data.Project |
| projectExtraJSONFile | Data.Project |
| projectHandlerFile | Data.Project |
| projectInputFiles | Data.Project |
| projectName | Data.Project |
| projectTargetDir | Data.Project |
| projectTemplateDir | Data.Project |
| projectVariableDBFile | Data.Project |
| projectVariableFiles | Data.Project |
| readProject | Data.Project |
| ReportFile | |
| 1 (Type/Class) | Command.Report |
| 2 (Data Constructor) | Command.Report |
| reportFileFormat | Command.Report |
| reportFilePath | Command.Report |
| reportFilePropFormat | Command.Report |
| reportFilePropVia | Command.Report |
| RequirementInfo | |
| 1 (Type/Class) | Command.Search |
| 2 (Data Constructor) | Command.Search |
| requirementInfoDescription | Command.Search |
| requirementInfoLocation | Command.Search |
| requirementInfoName | Command.Search |
| Result | Command.Result |
| safeMap | Language.Trans.Spec2Copilot |
| SearchFile | |
| 1 (Type/Class) | Command.Search |
| 2 (Data Constructor) | Command.Search |
| searchFileFormat | Command.Search |
| searchFilePath | Command.Search |
| searchFilePropFormat | Command.Search |
| searchFilePropVia | Command.Search |
| searchResultDiagrams | Command.Search |
| searchResultRequirements | Command.Search |
| SMV | Command.Diagram |
| spec2Copilot | Language.Trans.Spec2Copilot |
| specAnalyze | Language.Trans.Spec2Copilot |
| structInstance | Language.Trans.CStructs2Copilot |
| Success | Command.Result |
| typedInstance | Language.Trans.CStructs2Copilot |
| unlines' | Language.Trans.Spec2Copilot |