Index

A

abortSynthesis() (specCompiler.SpecCompiler method) addInputPropositions() (strategy.StateCollection method) addNewState() (strategy.StateCollection method) addOutputPropositions() (strategy.StateCollection method) addPoint() (regions.Region method) addRobotDialog (class in configEditor)

AnalysisResultsDialog (class in specEditor) appendLog() (simGUI.SimGUI_Frame method) (specEditor.AnalysisResultsDialog method) (specEditor.SpecEditorFrame method) askIfUserWantsToSave() (regionEditor.DrawingFrame method) (specEditor.SpecEditorFrame method) AsynchronousProcessThread (class in asyncProcesses) asyncProcesses (module)

B

B0_IS_LSB (strategy.Domain attribute) B0_IS_MSB (strategy.Domain attribute) bdd (module) BDDStrategy (class in bdd) BDDToPropAssignment() (bdd.BDDStrategy method)

BDDToState() (bdd.BDDStrategy method) BDDToStates() (bdd.BDDStrategy method) bitEncoding() (in module parseEnglishToLTL) Blue() (regions.Color method)

C

calcAngle() (decomposition.decomposition method) calibrate (module) CalibrateApp (class in calibrate) CalibrateFrame (class in calibrate) checkNextPoly() (decomposition.decomposition method) checkOverLapping() (parseLP.parseLP method) checkPointInside() (decomposition.decomposition method) checkSubfaces() (regionEditor.DrawingFrame method) clearPropositionsAndDomains() (strategy.StateCollection method) clearStates() (strategy.StateCollection method) Clone() (regionEditor.TextObjectValidator method) Color (class in regions) compile() (specCompiler.SpecCompiler method) configEditor (module)

configurePropositions() (strategy.Strategy method) createHandlerMethodConfig() (handlerSubsystem.HandlerSubsystem method) createInitialRegionFragment() (in module createJTLVinput) createJTLVinput (module) createLTLfile() (in module createJTLVinput) createNecessaryFillerSpec() (in module createJTLVinput) createPoly() (regionEditor.DrawingFrame method) createPropositionMappingExecutionFunctionFromString() (handlerSubsystem.HandlerSubsystem method) createRect() (regionEditor.DrawingFrame method) createSMVfile() (in module createJTLVinput) createStayFormula() (in module parseEnglishToLTL) createStrategyFromFile() (in module strategy) createTopologyFragment() (in module createJTLVinput)

D

decomp() (parseLP.parseLP method) decomposeWithOverlappingPoint() (parseLP.parseLP method) decomposition (class in decomposition) (module) deselect() (regionEditor.ToolPaletteIcon method) deselectAll() (regionEditor.DrawingFrame method) determineEnabledPropositions() (project.Project method) dialogToObject() (regionEditor.EditRegionDialog method) doCalibration() (calibrate.CalibrateFrame method) doChooseAddPtTool() (regionEditor.DrawingFrame method) doChooseCalibPtTool() (regionEditor.DrawingFrame method) doChooseDelPtTool() (regionEditor.DrawingFrame method) doChoosePolyTool() (regionEditor.DrawingFrame method) doChooseRectTool() (regionEditor.DrawingFrame method) doChooseSelectTool() (regionEditor.DrawingFrame method) doClose() (configEditor.simSetupDialog method) (regionEditor.DrawingFrame method) (specEditor.SpecEditorFrame method) doDelete() (regionEditor.DrawingFrame method) doDuplicate() (regionEditor.DrawingFrame method) doEditRegion() (regionEditor.DrawingFrame method) doExit() (regionEditor.DrawingFrame method) Domain (class in strategy)

doMakeBoundary() (regionEditor.DrawingFrame method) doNew() (regionEditor.DrawingFrame method) doOpen() (regionEditor.DrawingFrame method) doRevert() (regionEditor.DrawingFrame method) doSave() (regionEditor.DrawingFrame method) doSaveAs() (regionEditor.DrawingFrame method) doSelectAll() (regionEditor.DrawingFrame method) doSetBackground() (regionEditor.DrawingFrame method) doShowAbout() (regionEditor.DrawingFrame method) doUndo() (regionEditor.DrawingFrame method) draw() (mapRenderer.DrawableRegion method) DrawableRegion (class in mapRenderer) drawAllPortions() (parseLP.parseLP method) DrawingFrame (class in regionEditor) drawLocMap() (specEditor.SpecEditorFrame method) drawMap() (in module mapRenderer) (specEditor.MapDialog method) drawParamConfigPane() (in module configEditor) drawPoly() (decomposition.decomposition method) drawRegions() (regionEditor.DrawingFrame method)

E

EditRegionDialog (class in regionEditor) ExceptionHandler (class in regionEditor) execute (module) execute_main() (in module execute)

ExecutorResynthesisExtensions (class in resynthesis) expandDomainsInPropAssignment() (strategy.StateCollection method) exportAsDotFile() (strategy.Strategy method)

F

faceAndFaceIntersection() (regions.Region method) fileMethods (module) findHandlerTypeStringFromName() (handlerSubsystem.HandlerSubsystem method) findInitialVertex() (decomposition.decomposition method) findPointsNear() (regions.Region method) findRegionBetween() (in module regions) findRegionNear() (regions.Region method)

findTransitionableStates() (bdd.BDDStrategy method) (fsa.FSAStrategy method) (strategy.Strategy method) flattenLTLFormulas() (in module createJTLVinput) flush() (execute.RedirectText method) fromRegion() (mapRenderer.DrawableRegion class method) fsa (module) FSAStrategy (class in fsa)

G

generateNewRegion() (parseLP.parseLP method) getAll() (strategy.State method) getAllVariableBDDs() (bdd.BDDStrategy method) getAllVariableNames() (bdd.BDDStrategy method) getBDDFromJx() (bdd.BDDStrategy method) getBoundingBox() (regions.RegionFileInterface method) getCalibrationPoints() (regions.RegionFileInterface method) getCenter() (regions.Region method) getCurrentStateAsLTL() (resynthesis.ExecutorResynthesisExtensions method) getData() (regions.Region method) getDefaultPropMapping() (handlerSubsystem.HandlerSubsystem method) getDirection() (regions.Region method) getDomainByName() (strategy.StateCollection method) getDomainOfProposition() (strategy.StateCollection method) getExternalFaces() (regions.RegionFileInterface method) getFaces() (decomposition.decomposition method) (regions.Region method) getFilenamePrefix() (project.Project method) getHandlerConfigDefault() (handlerSubsystem.HandlerSubsystem method) getHandlerInstanceByName() (handlerSubsystem.HandlerSubsystem method) getHandlerInstanceByType() (handlerSubsystem.HandlerSubsystem method) GetHeight() (regions.Size method) getInputs() (strategy.State method)

getJxFromBDD() (bdd.BDDStrategy method) getLTLRepresentation() (strategy.State method) getMainRobot() (handlerSubsystem.HandlerSubsystem method) getMaximumHeight() (regions.RegionFileInterface method) getName() (strategy.State method) getNextAvailableRegionNumber() (regions.RegionFileInterface method) getOutputs() (strategy.State method) getPoints() (regions.Region method) getPose() (handlerSubsystem.HandlerSubsystem method) getProjectDir() (regionEditor.DrawingFrame method) getPropositions() (strategy.Domain method) (strategy.StateCollection method) getPropValue() (strategy.State method) getPropValues() (strategy.State method) getRobotByType() (handlerSubsystem.HandlerSubsystem method) getSelectionHandleContainingPoint() (regions.Region method) getSensorValue() (handlerSubsystem.HandlerSubsystem method) getStrategyFilename() (project.Project method) getVertices() (decomposition.decomposition method) GetWidth() (regions.Size method) gotoRegion() (handlerSubsystem.HandlerSubsystem method) Green() (regions.Color method)

H

handleEvent() (simGUI.SimGUI_Frame method) handlerConfigDialog (class in configEditor) HandlerSubsystem (class in handlerSubsystem)

handlerSubsystem (module) highlight() (specEditor.SpecEditorFrame method) highlightCores() (specEditor.SpecEditorFrame method)

I

indexOfRegionWithName() (regions.RegionFileInterface method) initDialogue() (simGUI.SimGUI_Frame method) initialize() (execute.LTLMoPExecutor method) initializeAllMethods() (handlerSubsystem.HandlerSubsystem method) initializeNewSpec() (specEditor.SpecEditorFrame method)

instantiateAllHandlers() (handlerSubsystem.HandlerSubsystem method) intAllPoints() (parseLP.parseLP method) isRunning() (execute.LTLMoPExecutor method) iterateOverStates() (strategy.Strategy method)

K

kill() (asyncProcesses.AsynchronousProcessThread method)

L

lineLineIntersection() (decomposition.decomposition method) linePolyIntersection() (decomposition.decomposition method) loadAllConfigFiles() (handlerSubsystem.HandlerSubsystem method) loadAllHandlers() (handlerSubsystem.HandlerSubsystem method) loadAllRobots() (handlerSubsystem.HandlerSubsystem method) loadAutFile() (execute.LTLMoPExecutor method) loadConfigFile() (handlerSubsystem.HandlerSubsystem method) loadContents() (regionEditor.DrawingFrame method) loadFromFile() (strategy.Strategy method)

loadHandler() (handlerSubsystem.HandlerSubsystem method) loadProject() (project.Project method) loadRegionFile() (project.Project method) (simGUI.SimGUI_Frame method) loadRegionMapping() (project.Project method) loadSimpleSpec() (specCompiler.SpecCompiler method) loadSpec() (specCompiler.SpecCompiler method) loadSpecFile() (execute.LTLMoPExecutor method) (project.Project method) (simGUI.SimGUI_Frame method) ltlConjunctsFromBadLines() (specCompiler.SpecCompiler method) LTLMoPExecutor (class in execute)

M

main() (in module regionEditor) (parseLP.parseLP method) MapDialog (class in specEditor) mapRenderer (module) markFragments() (specEditor.AnalysisResultsDialog method) mergeHole() (decomposition.decomposition method)

method2String() (handlerSubsystem.HandlerSubsystem method) moveRobot() (calibrate.CalibrateFrame method) MP5() (decomposition.decomposition method) myVertex (class in decomposition)

N

nextify() (in module parseEnglishToLTL)

numericValueToPropAssignments() (strategy.Domain method)

O

objectContainsPoint() (regions.Region method) objectToDialog() (regionEditor.EditRegionDialog method) objectWithinRect() (regions.Region method) onButtonClose() (specEditor.AnalysisResultsDialog method) onButtonGo() (calibrate.CalibrateFrame method) onChangeHandler() (configEditor.addRobotDialog method) onCheckProp() (configEditor.simSetupDialog method) onCheckRegion() (configEditor.regionTagsDialog method) onChooseRobot() (configEditor.addRobotDialog method) onClickAddRobot() (configEditor.simSetupDialog method) onClickAddTag() (configEditor.regionTagsDialog method) onClickApply() (configEditor.propMappingDialog method) (configEditor.simSetupDialog method) onClickCancel() (configEditor.simSetupDialog method) onClickConfigure() (configEditor.addRobotDialog method) onClickConfigureRobot() (configEditor.simSetupDialog method) onClickDefaults() (configEditor.handlerConfigDialog method) onClickEditMapping() (configEditor.simSetupDialog method) onClickEditRegions() (specEditor.SpecEditorFrame method) onClickEditRegionTags() (configEditor.simSetupDialog method) onClickMapping() (configEditor.propMappingDialog method) onClickOK() (configEditor.addRobotDialog method) (configEditor.propMappingDialog method) (configEditor.simSetupDialog method) onClickRefineAnalysis() (specEditor.AnalysisResultsDialog method) onClickRemoveRobot() (configEditor.simSetupDialog method) onClickRemoveTag() (configEditor.regionTagsDialog method) onClickTag() (configEditor.regionTagsDialog method) onClose() (simGUI.SimGUI_Frame method) onConfigDelete() (configEditor.simSetupDialog method) onConfigImport() (configEditor.simSetupDialog method) onConfigNew() (configEditor.simSetupDialog method) onDoubleClickEvent() (regionEditor.DrawingFrame method) onEditMapping() (configEditor.propMappingDialog method) onEditRobotName() (configEditor.addRobotDialog method) onEraseBG() (simGUI.SimGUI_Frame method) onImportRegion() (specEditor.SpecEditorFrame method) OnInit() (calibrate.CalibrateApp method) (regionEditor.SketchApp method) onKeyEvent() (regionEditor.DrawingFrame method) onLocPhraseSelect() (specEditor.SpecEditorFrame method) onLoseFocusSimName() (configEditor.simSetupDialog method) onMapClick() (specEditor.MapDialog method) onMapSelect() (specEditor.SpecEditorFrame method) onMenuAbout() (specEditor.SpecEditorFrame method) onMenuAnalyze() (specEditor.SpecEditorFrame method) onMenuCompile() (specEditor.SpecEditorFrame method)

onMenuConfigSim() (specEditor.SpecEditorFrame method) onMenuCopy() (specEditor.SpecEditorFrame method) onMenuCut() (specEditor.SpecEditorFrame method) onMenuMopsy() (specEditor.SpecEditorFrame method) onMenuNew() (specEditor.SpecEditorFrame method) onMenuOpen() (specEditor.SpecEditorFrame method) onMenuPaste() (specEditor.SpecEditorFrame method) onMenuQuit() (specEditor.SpecEditorFrame method) onMenuRedo() (specEditor.SpecEditorFrame method) onMenuSave() (specEditor.SpecEditorFrame method) onMenuSaveAs() (specEditor.SpecEditorFrame method) onMenuSetCompileOptions() (specEditor.SpecEditorFrame method) onMenuSimulate() (specEditor.SpecEditorFrame method) onMenuUndo() (specEditor.SpecEditorFrame method) onMenuViewAut() (specEditor.SpecEditorFrame method) onMouseDwellEnd() (specEditor.SpecEditorFrame method) onMouseDwellStart() (specEditor.SpecEditorFrame method) onMouseEvent() (regionEditor.DrawingFrame method) onPaint() (calibrate.CalibrateFrame method) (simGUI.SimGUI_Frame method) onPaintEvent() (regionEditor.DrawingFrame method) onPropAdd() (specEditor.SpecEditorFrame method) onPropositionDblClick() (specEditor.SpecEditorFrame method) onPropRemove() (specEditor.SpecEditorFrame method) onPropToggle() (specEditor.SpecEditorFrame method) onRegionLabelStyleChange() (specEditor.SpecEditorFrame method) onResize() (calibrate.CalibrateFrame method) (simGUI.SimGUI_Frame method) onRightClick() (regionEditor.DrawingFrame method) onSelectHandler() (configEditor.propMappingDialog method) onSelectProp() (configEditor.propMappingDialog method) onSelectRobot() (configEditor.propMappingDialog method) onSetMainRobot() (configEditor.simSetupDialog method) onSimClear() (simGUI.SimGUI_Frame method) onSimExport() (simGUI.SimGUI_Frame method) onSimLoad() (configEditor.simSetupDialog method) onSimNameEdit() (configEditor.simSetupDialog method) onSimStartPause() (simGUI.SimGUI_Frame method) onSLURPSubmit() (simGUI.SimGUI_Frame method) onSpecTextChange() (specEditor.SpecEditorFrame method) onStyleNeeded() (specEditor.SpecEditorFrame method) onTimerEvent() (regionEditor.DrawingFrame method) onToolIconClick() (regionEditor.DrawingFrame method) openFile() (specEditor.SpecEditorFrame method)

P

parseAfterEachTime() (in module parseEnglishToLTL) parseCond() (in module parseEnglishToLTL) parseConditional() (in module parseEnglishToLTL) parseEnglishToLTL (module) parseEvent() (in module parseEnglishToLTL) parseInit() (in module parseEnglishToLTL) parseLiveness() (in module parseEnglishToLTL) parseLP (class in parseLP) (module) parseSafety() (in module parseEnglishToLTL) parseToggle() (in module parseEnglishToLTL) pause() (execute.LTLMoPExecutor method) Point (class in regions) pointLineIntersection() (in module regions) pointPointDistance() (decomposition.decomposition method) polyContainsPoint() (regions.Region method) populateTree() (specEditor.AnalysisResultsDialog method)

postEvent() (execute.LTLMoPExecutor method) postprocessLTL() (specCompiler.SpecCompiler method) prepareHandler() (handlerSubsystem.HandlerSubsystem method) prepareMapping() (handlerSubsystem.HandlerSubsystem method) prepareSlugsInput() (specCompiler.SpecCompiler method) prettierJSONEncoder (class in regions) prime() (bdd.BDDStrategy method) printStrategy() (bdd.BDDStrategy method) Project (class in project) project (module) propAssignmentsToNumericValue() (strategy.Domain method) propAssignmentsToValue() (strategy.Domain method) propAssignmentToBDD() (bdd.BDDStrategy method) properCase() (in module fileMethods) propMappingDialog (class in configEditor)

R

readFile() (regions.RegionFileInterface method) readFromFile() (in module fileMethods) recalcAdjacency() (regionEditor.DrawingFrame method) (regions.RegionFileInterface method) recalcBoundingBox() (regions.Region method) Red() (regions.Color method) RedirectText (class in execute) (class in specEditor) refineAnalysis() (specEditor.SpecEditorFrame method) Region (class in regions) regionEditor (module) RegionFileInterface (class in regions) regions (module) regionTagsDialog (class in configEditor)

registerExternalEventTarget() (execute.LTLMoPExecutor method) removeContour() (decomposition.decomposition method) removeDuplicatePoints() (in module decomposition) removePoint() (regions.Region method) removeSmallRegions() (parseLP.parseLP method) replaceLogicOp() (in module parseEnglishToLTL) replaceRegionName() (in module parseEnglishToLTL) resume() (execute.LTLMoPExecutor method) resynthesis (module) resynthesizeFromNewSpecification() (resynthesis.ExecutorResynthesisExtensions method) reversePolyOrientation() (decomposition.decomposition method) run() (asyncProcesses.AsynchronousProcessThread method) (execute.LTLMoPExecutor method)

S

satAll() (bdd.BDDStrategy method) satisfies() (strategy.State method) satOne() (bdd.BDDStrategy method) saveAllConfigFiles() (handlerSubsystem.HandlerSubsystem method) saveContents() (regionEditor.DrawingFrame method) saveFile() (simGUI.SimGUI_Frame method) saveRegions() (parseLP.parseLP method) searchForOneState() (strategy.Strategy method) searchForStates() (bdd.BDDStrategy method) (fsa.FSAStrategy method) (strategy.Strategy method) select() (regionEditor.DrawingFrame method) (regionEditor.ToolPaletteIcon method) selectAll() (regionEditor.DrawingFrame method) selectByRectangle() (regionEditor.DrawingFrame method) selectMany() (regionEditor.DrawingFrame method) setActuatorValue() (handlerSubsystem.HandlerSubsystem method) setData() (regions.Region method) setDataOld() (regions.Region method) setExecutingConfig() (handlerSubsystem.HandlerSubsystem method) SetFromName() (regions.Color method) setPropValue() (strategy.State method) setPropValues() (strategy.State method) setSilent() (project.Project method) setStepInfo() (calibrate.CalibrateFrame method)

setToDefaultName() (regions.RegionFileInterface method) setVelocity() (handlerSubsystem.HandlerSubsystem method) shutdown() (execute.LTLMoPExecutor method) simGUI (module) SimGUI_Frame (class in simGUI) simSetupDialog (class in configEditor) Size (class in regions) SketchApp (class in regionEditor) SpecCompiler (class in specCompiler) specCompiler (module) specEditor (module) SpecEditorFrame (class in specEditor) splitSpecIntoComponents() (specCompiler.SpecCompiler method) splitSubfaces() (regions.RegionFileInterface method) State (class in strategy) StateCollection (class in strategy) stateListToBDD() (bdd.BDDStrategy method) stateToBDD() (bdd.BDDStrategy method) Strategy (class in strategy) strategy (module) string2Method() (handlerSubsystem.HandlerSubsystem method) substituteMacros() (specCompiler.SpecCompiler method)

T

testBetween() (regionEditor.DrawingFrame method) TestLoadAndDump() (in module strategy) testNear() (regionEditor.DrawingFrame method) TextObjectValidator (class in regionEditor)

ToolPaletteIcon (class in regionEditor) TransferFromWindow() (regionEditor.TextObjectValidator method) TransferToWindow() (regionEditor.TextObjectValidator method)

U

unprime() (bdd.BDDStrategy method) unrealCores() (specCompiler.SpecCompiler method) unsatCores() (specCompiler.SpecCompiler method)

updateFromRFI() (specEditor.SpecEditorFrame method) updateMenusFromProjectOptions() (specEditor.SpecEditorFrame method) usage() (in module execute)

V

Validate() (regionEditor.TextObjectValidator method)

valueToPropAssignments() (strategy.Domain method)

W

write() (execute.RedirectText method) (regionEditor.ExceptionHandler method) (specEditor.RedirectText method) writeFile() (regions.RegionFileInterface method) writeSpec() (in module parseEnglishToLTL)

writeSpecFile() (project.Project method) writeToFile() (in module fileMethods) WxAsynchronousProcessThread (class in specEditor)