Index

A

abortSynthesis() (specCompiler.SpecCompiler method) actuatorHandler (class in handlers.share.dummyActuator) 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) buildTree() (handlers.motionControl.RRTController.motionControlHandler method) buttonPress() (handlers.share.dummySensor.sensorHandler 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) ConfigFileParser (class in handlerSubsystem)

ConfigObject (class in handlerSubsystem) configurePropositions() (strategy.Strategy method) constructMethodString() (handlerSubsystem.HandlerSubsystem method) createInitialRegionFragment() (in module createJTLVinput) createJTLVinput (module) createLTLfile() (in module createJTLVinput) createNecessaryFillerSpec() (in module createJTLVinput) createPoly() (regionEditor.DrawingFrame method) createRect() (regionEditor.DrawingFrame method) createRegionPolygon() (handlers.motionControl.RRTController.motionControlHandler method) createSMVfile() (in module createJTLVinput) createStayFormula() (in module parseEnglishToLTL) createStrategyFromFile() (in module strategy) createTopologyFragment() (in module createJTLVinput)

D

data_gen() (handlers.motionControl.RRTController.motionControlHandler method) 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) driveHandler (class in handlers.drive.differentialDrive) (class in handlers.drive.holonomicDrive)

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) 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) fullPath() (handlerSubsystem.HandlerObject method)

G

generateNewNode() (handlers.motionControl.RRTController.motionControlHandler method) generateNewRegion() (parseLP.parseLP method) get_controller() (handlers.motionControl.heatController.motionControlHandler method) get_ltlmop_root() (in module project) 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) getCoordMaps() (project.Project method) getCurrentStateAsLTL() (resynthesis.ExecutorResynthesisExtensions method) getData() (regions.Region 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) getHandler() (handlerSubsystem.HandlerSubsystem method) GetHeight() (regions.Size method) getInputs() (strategy.State method) getJxFromBDD() (bdd.BDDStrategy method) getLTLRepresentation() (strategy.State method)

getMaximumHeight() (regions.RegionFileInterface method) getMethodByName() (handlerSubsystem.HandlerObject method) getName() (strategy.State method) getNextAvailableRegionNumber() (regions.RegionFileInterface method) getNode() (handlers.motionControl.RRTController.motionControlHandler method) getOutputs() (strategy.State method) getParaByName() (handlerSubsystem.MethodObject method) getPoints() (regions.Region method) getPose() (handlers.pose.basicSimPose.poseHandler method) (handlers.pose.NullPose.poseHandler method) (handlers.pose.rosPose.poseHandler method) (handlers.pose.viconPose.poseHandler method) getProjectDir() (regionEditor.DrawingFrame method) getPropositions() (strategy.Domain method) (strategy.StateCollection method) getPropValue() (strategy.State method) getPropValues() (strategy.State method) getRobotByName() (handlerSubsystem.ConfigObject method) getRobotByType() (handlerSubsystem.HandlerSubsystem method) getSelectionHandleContainingPoint() (regions.Region method) getStrategyFilename() (project.Project method) getType() (handlerSubsystem.HandlerObject method) getValue() (handlerSubsystem.ParameterObject method) getVelocity() (handlers.motionControl.RRTController.motionControlHandler method) getVertices() (decomposition.decomposition method) GetWidth() (regions.Size method) gotoRegion() (handlers.motionControl.heatController.motionControlHandler method) (handlers.motionControl.RRTController.motionControlHandler method) (handlers.motionControl.vectorController.motionControlHandler method) Green() (regions.Color method)

H

handleEvent() (simGUI.SimGUI_Frame method) handlerConfigDialog (class in configEditor) HandlerObject (class in handlerSubsystem) HandlerParser (class in handlerSubsystem) handlers.drive.differentialDrive (module) handlers.drive.holonomicDrive (module) handlers.motionControl.heatController (module) handlers.motionControl.RRTController (module) handlers.motionControl.vectorController (module) handlers.pose.basicSimPose (module)

handlers.pose.NullPose (module) handlers.pose.rosPose (module) handlers.pose.viconPose (module) handlers.share.dummyActuator (module) handlers.share.dummySensor (module) HandlerSubsystem (class in handlerSubsystem) handlerSubsystem (module) highlight() (specEditor.SpecEditorFrame method) highlightCores() (specEditor.SpecEditorFrame method)

I

importHandlers() (handlerSubsystem.HandlerSubsystem method) (project.Project method) indexOfRegionWithName() (regions.RegionFileInterface method) initDialogue() (simGUI.SimGUI_Frame method) initialize() (execute.LTLMoPExecutor method)

initializeNewSpec() (specEditor.SpecEditorFrame method) intAllPoints() (parseLP.parseLP method) isRunning() (execute.LTLMoPExecutor method) iterateOverStates() (strategy.Strategy method)

J

jplot() (handlers.motionControl.RRTController.motionControlHandler method)

K

kill() (asyncProcesses.AsynchronousProcessThread method)

L

lineLineIntersection() (decomposition.decomposition method) linePolyIntersection() (decomposition.decomposition method) loadAllConfigFiles() (handlerSubsystem.ConfigFileParser method) (handlerSubsystem.HandlerSubsystem method) loadAllHandlers() (handlerSubsystem.HandlerParser method) (handlerSubsystem.HandlerSubsystem method) loadAllRobots() (handlerSubsystem.HandlerSubsystem method) (handlerSubsystem.RobotFileParser method) loadAutFile() (execute.LTLMoPExecutor method) loadConfig() (project.Project method) loadConfigFile() (handlerSubsystem.ConfigFileParser method) loadContents() (regionEditor.DrawingFrame method) loadFromFile() (strategy.Strategy method) loadHandler() (handlerSubsystem.HandlerParser method)

loadProject() (project.Project method) loadRegionFile() (project.Project method) (simGUI.SimGUI_Frame method) loadRegionMapping() (project.Project method) loadRobotData() (handlerSubsystem.RobotFileParser method) loadRobotFile() (handlerSubsystem.RobotFileParser 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)

MethodObject (class in handlerSubsystem) motionControlHandler (class in handlers.motionControl.heatController) (class in handlers.motionControl.RRTController) (class in handlers.motionControl.vectorController) 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) 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) orientation_bound() (handlers.motionControl.RRTController.motionControlHandler method)

P

ParameterObject (class in handlerSubsystem) parseAfterEachTime() (in module parseEnglishToLTL) parseCond() (in module parseEnglishToLTL) parseConditional() (in module parseEnglishToLTL) parseEnglishToLTL (module) parseEvent() (in module parseEnglishToLTL) parseHandlers() (handlerSubsystem.HandlerParser method) 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) plotMap() (handlers.motionControl.RRTController.motionControlHandler method) plotPoly() (handlers.motionControl.RRTController.motionControlHandler method) Point (class in regions) pointLineIntersection() (in module regions)

pointPointDistance() (decomposition.decomposition method) polyContainsPoint() (regions.Region method) populateTree() (specEditor.AnalysisResultsDialog method) poseHandler (class in handlers.pose.basicSimPose) (class in handlers.pose.NullPose) (class in handlers.pose.rosPose) (class in handlers.pose.viconPose) postEvent() (execute.LTLMoPExecutor method) postprocessLTL() (specCompiler.SpecCompiler method) prettierJSONEncoder (class in regions) prime() (bdd.BDDStrategy method) printHandler() (handlerSubsystem.HandlerParser 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) regionBit() (handlers.share.dummySensor.sensorHandler method) 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) resetValue() (handlerSubsystem.ParameterObject method) resume() (execute.LTLMoPExecutor method) resynthesis (module) resynthesizeFromNewSpecification() (resynthesis.ExecutorResynthesisExtensions method) reversePolyOrientation() (decomposition.decomposition method) RobotFileParser (class in handlerSubsystem) RobotObject (class in handlerSubsystem) run() (asyncProcesses.AsynchronousProcessThread method) (execute.LTLMoPExecutor method)

S

satAll() (bdd.BDDStrategy method) satisfies() (strategy.State method) satOne() (bdd.BDDStrategy method) saveAllConfigFiles() (handlerSubsystem.ConfigFileParser method) saveConfig() (handlerSubsystem.ConfigObject 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) sensorHandler (class in handlers.share.dummySensor) setActuator() (handlers.share.dummyActuator.actuatorHandler method) setData() (regions.Region method) setDataOld() (regions.Region method) SetFromName() (regions.Color method) setPose() (handlers.pose.NullPose.poseHandler method) setPropValue() (strategy.State method) setPropValues() (strategy.State method) setSilent() (project.Project method) setStepInfo() (calibrate.CalibrateFrame method)

setToDefaultName() (regions.RegionFileInterface method) setType() (handlerSubsystem.HandlerObject method) setValue() (handlerSubsystem.ParameterObject method) setVelocity() (handlers.drive.differentialDrive.driveHandler method) (handlers.drive.holonomicDrive.driveHandler 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) toString() (handlerSubsystem.HandlerObject method) 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) 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)