Index

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.Report
3 (Function)	Command.ROSApp
4 (Function)	Command.Overview
5 (Function)	Command.FPrimeApp
6 (Function)	Command.CFSApp
commandConditionExpr
1 (Function)	Command.Standalone
2 (Function)	Command.ROSApp
3 (Function)	Command.FPrimeApp
4 (Function)	Command.CFSApp
commandDeterministic	Command.Overview
commandDiagramList	Command.Report
commandDiagrams	Command.Report
commandDiagramsAny	Command.Report
commandExternalVariables
1 (Function)	Command.Report
2 (Function)	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.Report
3 (Function)	Command.ROSApp
4 (Function)	Command.Overview
5 (Function)	Command.FPrimeApp
6 (Function)	Command.CFSApp
commandHandlers
1 (Function)	Command.ROSApp
2 (Function)	Command.FPrimeApp
3 (Function)	Command.CFSApp
commandInputFile	Command.Report
commandInputFiles
1 (Function)	Command.Standalone
2 (Function)	Command.ROSApp
3 (Function)	Command.FPrimeApp
4 (Function)	Command.CFSApp
commandInternalVariables
1 (Function)	Command.Report
2 (Function)	Command.Overview
commandLogic	Command.Standalone
commandNumStates	Command.Overview
CommandOptions
1 (Type/Class)	Command.Standalone
2 (Data Constructor)	Command.Standalone
3 (Type/Class)	Command.Report
4 (Data Constructor)	Command.Report
5 (Type/Class)	Command.ROSApp
6 (Data Constructor)	Command.ROSApp
7 (Type/Class)	Command.Overview
8 (Data Constructor)	Command.Overview
9 (Type/Class)	Command.FPrimeApp
10 (Data Constructor)	Command.FPrimeApp
11 (Type/Class)	Command.CFSApp
12 (Data Constructor)	Command.CFSApp
commandPropFormat
1 (Function)	Command.Standalone
2 (Function)	Command.Report
3 (Function)	Command.ROSApp
4 (Function)	Command.Overview
5 (Function)	Command.FPrimeApp
6 (Function)	Command.CFSApp
commandPropVia
1 (Function)	Command.Standalone
2 (Function)	Command.Report
3 (Function)	Command.ROSApp
4 (Function)	Command.Overview
5 (Function)	Command.FPrimeApp
6 (Function)	Command.CFSApp
commandRequirementList	Command.Report
commandRequirements
1 (Function)	Command.Report
2 (Function)	Command.Overview
commandRequirementsAny	Command.Report
commandRequirementsConsistent
1 (Function)	Command.Report
2 (Function)	Command.Overview
commandRequirementsFalse
1 (Function)	Command.Report
2 (Function)	Command.Overview
commandRequirementsTrue
1 (Function)	Command.Report
2 (Function)	Command.Overview
CommandSummary
1 (Type/Class)	Command.Report
2 (Data Constructor)	Command.Report
3 (Type/Class)	Command.Overview
CommandSummaryDiagram	Command.Overview
CommandSummaryRequirement	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
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.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
Result	Command.Result
safeMap	Language.Trans.Spec2Copilot
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