Index A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | R | S | T | U | V | W | X A accepts_children_after_compile (cramph.composites.CompositeNodeChoosingItsChild attribute) (cramph.node.CompositeNode attribute) adapter (cramph.visualization.RerunVisualization attribute) add_extension() (cramph.context.StatechartContext method) add_keyboard_shortcuts() (cramph.plotters.statechart_inspector.DotGraphViewer method) add_node() (cramph.composites.ControlStructureNode method) (cramph.statechart.Statechart method) add_nodes() (cramph.statechart.Statechart method) add_nodes_from_json() (cramph.statechart.Statechart method) add_observer() (cramph.state_history.StateHistory method) add_recompile_callback() (cramph.compiler.StatechartCompiler method) add_transitions() (cramph.compiler.StatechartCompiler method) adopt_chosen_child() (cramph.composites.CompositeNodeChoosingItsChild method) adopt_handed_children() (cramph.composites.ControlStructureNode method) (cramph.node.CompositeNode method) after_compile() (cramph.executor.ExecutorExtension method) (cramph.visualization.WorldVisualization method) after_recompile() (cramph.compiler.RecompileCallback method) (cramph.executor.StatechartExecutor method) (cramph.executor.TickingExecutorExtension method) after_run() (cramph.executor.ExecutorExtension method) (cramph.visualization.WorldVisualization method) after_tick() (cramph.executor.TickingExecutorExtension method) AmbiguousContextExtensionError append() (cramph.state_history.StateHistory method) append_default_value() (cramph.state.State method) apply_artifacts() (cramph.node.StatechartNode method) arrow_size (cramph.plotters.styles.DrawingMetrics attribute) artifacts (cramph.node.StatechartNode property) as_cases() (cramph.node.LifeCycleTransitions method) attribute_name (cramph.data_types.LifeCyclePredicate property) (cramph.data_types.ObservationPredicate property) (cramph.node.ConditionVariableReference attribute) attribute_name() (cramph.node.LastObservationVariable method) B badge (cramph.data_types.LifeCycleValues attribute) (cramph.data_types.ObservationStateValues attribute) before_recompile() (cramph.compiler.RecompileCallback method) (cramph.executor.StatechartExecutor method) (cramph.executor.TickingExecutorExtension method) before_replacing() (cramph.statechart.ReplacedNode class method) before_tick() (cramph.executor.TickingExecutorExtension method) belongs_to_statechart() (cramph.node.StatechartNode method) BorderStyle (class in cramph.plotters.styles) branch_root (cramph.world_modification_nodes.MoveBranch attribute) build() (cramph.node.StatechartNode method) build_artifacts() (cramph.composites.CompositeNodeChoosingItsChild method) (cramph.composites.MonitoredCompositeNode method) (cramph.composites.Parallel method) (cramph.composites.RepeatUntil method) (cramph.composites.Sequence method) (cramph.composites.StoppedWhenTrue method) (cramph.composites.TryAll method) (cramph.composites.TryInOrder method) (cramph.monitors.CheckTickCount method) (cramph.node.CancelStatechart method) (cramph.node.EndStatechart method) (cramph.node.StatechartNode method) (cramph.nodes_for_testing.CompositeNodeCancellingIfChildRunsAfterItsEnd method) (cramph.nodes_for_testing.CompositeNodeCancellingIfPausedChildResumesAfterItsEnd method) (cramph.nodes_for_testing.CompositeNodeCuttingOffItsChild method) (cramph.nodes_for_testing.CompositeNodeCuttingOffItsChildAtItsGoal method) (cramph.nodes_for_testing.CompositeNodeCuttingOffItsGrandchild method) (cramph.nodes_for_testing.CompositeNodeCuttingOffItsUndecidedChild method) (cramph.nodes_for_testing.CompositeNodeObservingItsCancellingChildRun method) (cramph.nodes_for_testing.CompositeNodeObservingItsSecondChildRun method) (cramph.nodes_for_testing.CompositeNodeResumingItsPausedChildren method) (cramph.nodes_for_testing.CompositeNodeWithChainedChildren method) (cramph.nodes_for_testing.CompositeNodeWithChildFailingOnItsOwn method) (cramph.nodes_for_testing.CompositeNodeWithChildInterruptedBySibling method) (cramph.nodes_for_testing.CompositeNodeWithChildStartingLate method) (cramph.nodes_for_testing.CompositeNodeWithChildSucceedingBeforeItStarts method) (cramph.nodes_for_testing.CompositeNodeWithChildSucceedingOnItsOwn method) (cramph.nodes_for_testing.CompositeNodeWithNestedCompositeChild method) (cramph.nodes_for_testing.ConstFalseNode method) (cramph.nodes_for_testing.ConstTrueNode method) (cramph.nodes_for_testing.NodeDeclaringItsOwnFailure method) (cramph.nodes_for_testing.NodeObservingAFixedValue method) (cramph.nodes_for_testing.NodeObservingAnObservationPredicate method) (cramph.nodes_for_testing.NodeObservingAPredicate method) (cramph.nodes_for_testing.NodeObservingAWrittenVariable method) (cramph.nodes_for_testing.NodeObservingLastObservation method) (cramph.nodes_for_testing.NodeObservingNothingYet method) (cramph.nodes_for_testing.NodeObservingTheOppositeOfAnObservationPredicate method) (cramph.nodes_for_testing.NodeObservingTrueOnlyOnTick method) (cramph.nodes_for_testing.NodeRecordingItsCallbacks method) (cramph.nodes_for_testing.NodeWritingAVariableOnStart method) (cramph.world_modification_nodes.MoveBranch method) C callbacks (cramph.nodes_for_testing.NodeRecordingItsCallbacks attribute) can_fail_on_its_own (cramph.composites.CompositeNodeChoosingItsChild property) (cramph.node.StatechartNode property) can_trigger_from() (cramph.data_types.TransitionKind method) cancel (cramph.nodes_for_testing.CompositeNodeCancellingIfChildRunsAfterItsEnd attribute) (cramph.nodes_for_testing.CompositeNodeCancellingIfPausedChildResumesAfterItsEnd attribute) (cramph.nodes_for_testing.CompositeNodeObservingItsCancellingChildRun attribute) (cramph.nodes_for_testing.CompositeNodeResumingItsPausedChildren attribute) CancelledByNode CancelledByNodeFailing CancelledByNodeReachingItsGoal CancelledWhenTrue (class in cramph.composites) CancelStatechart (class in cramph.node) candidate_limit (cramph.composites.StatementNode attribute) changed_since_compile (cramph.compiler.StatechartCompiler attribute) ChangeStateOnEvents (class in cramph.nodes_for_testing) check_children() (cramph.composites.ControlStructureNode method) (cramph.composites.RepeatUntil method) (cramph.composites.TryInOrder method) (cramph.node.CompositeNode method) check_context_holds() (cramph.statechart.Statechart method) CheckTickCount (class in cramph.monitors) child (cramph.exceptions.ChildCannotFailError attribute) (cramph.exceptions.ChildTransitionAlreadyWiredError attribute) (cramph.exceptions.NodeAlreadyAChildError attribute) (cramph.exceptions.NodeIsNotAChildError attribute) (cramph.nodes_for_testing.CompositeNodeCuttingOffItsChild attribute) (cramph.nodes_for_testing.CompositeNodeCuttingOffItsChildAtItsGoal attribute) (cramph.nodes_for_testing.CompositeNodeCuttingOffItsUndecidedChild attribute) (cramph.nodes_for_testing.CompositeNodeWithARecordingChild attribute) (cramph.nodes_for_testing.CompositeNodeWithChildFailingOnItsOwn attribute) (cramph.nodes_for_testing.CompositeNodeWithChildInterruptedBySibling attribute) (cramph.nodes_for_testing.CompositeNodeWithChildStartingLate attribute) (cramph.nodes_for_testing.CompositeNodeWithChildSucceedingOnItsOwn attribute) ChildCannotFailError ChildChooser (class in cramph.composites) ChildChooserAccess (class in cramph.composites) CHILDREN (cramph.data_types.StatechartJSONKey attribute) children (cramph.node.CompositeNode property) (cramph.node.StatechartNode property) ChildTransitionAlreadyWiredError choose_child() (cramph.composites.ChildChooser method) (cramph.composites.CompositeNodeChoosingItsChild method) choose_child_with() (cramph.composites.CompositeNodeChoosingItsChild method) chooser_for() (cramph.composites.ChildChooserAccess method) choosers (cramph.composites.ChildChooserAccess attribute) (cramph.exceptions.NoChildChooserForNodeError attribute) (cramph.exceptions.SeveralChildChoosersForNodeError attribute) chosen_children (cramph.composites.CompositeNodeChoosingItsChild property) cleanup() (cramph.composites.ChildChooser method) (cramph.composites.ChildChooserAccess method) (cramph.composites.StatementNode method) (cramph.context.ContextExtension method) (cramph.context.StatechartContext method) (cramph.node.StatechartNode method) (cramph.node.ThreadPayloadMonitor method) cleanup_nodes() (cramph.statechart.Statechart method) closest_above() (cramph.composites.ControlStructureNode static method) collapse_children (cramph.plotters.plot_specs.NodePlotSpec attribute) collision_visualization (cramph.visualization.RvizVisualization attribute) color (cramph.data_types.LifeCycleValues attribute) (cramph.data_types.ObservationStateValues attribute) (cramph.plotters.styles.ObservationDrawingStyle attribute) compact (cramph.plotters.graphviz.StatechartGraphviz attribute) compact_bottom_padding_factor (cramph.plotters.styles.DrawingMetrics attribute) compact_separation_factor (cramph.plotters.styles.DrawingMetrics attribute) compile() (cramph.compiled_tick.CompiledTick method) (cramph.compiler.StatechartCompiler method) (cramph.executor.Executor method) (cramph.executor.StatechartExecutor method) compile_if_changed() (cramph.compiler.StatechartCompiler method) compiled_tick (cramph.compiler.StatechartCompiler attribute) CompiledTick (class in cramph.compiled_tick) compiler (cramph.statechart.Statechart attribute) COMPOSITE (cramph.plotters.styles.NodeDrawingStyle attribute) CompositeNode (class in cramph.node) CompositeNodeCancellingIfChildRunsAfterItsEnd (class in cramph.nodes_for_testing) CompositeNodeCancellingIfPausedChildResumesAfterItsEnd (class in cramph.nodes_for_testing) CompositeNodeChoosingItsChild (class in cramph.composites) CompositeNodeCuttingOffItsChild (class in cramph.nodes_for_testing) CompositeNodeCuttingOffItsChildAtItsGoal (class in cramph.nodes_for_testing) CompositeNodeCuttingOffItsGrandchild (class in cramph.nodes_for_testing) CompositeNodeCuttingOffItsUndecidedChild (class in cramph.nodes_for_testing) CompositeNodeEndingItsChildren (class in cramph.composites) CompositeNodeObservingItsCancellingChildRun (class in cramph.nodes_for_testing) CompositeNodeObservingItsSecondChildRun (class in cramph.nodes_for_testing) CompositeNodeResumingItsPausedChildren (class in cramph.nodes_for_testing) CompositeNodeWithARecordingChild (class in cramph.nodes_for_testing) CompositeNodeWithChainedChildren (class in cramph.nodes_for_testing) CompositeNodeWithChildFailingOnItsOwn (class in cramph.nodes_for_testing) CompositeNodeWithChildInterruptedBySibling (class in cramph.nodes_for_testing) CompositeNodeWithChildStartingLate (class in cramph.nodes_for_testing) CompositeNodeWithChildSucceedingBeforeItStarts (class in cramph.nodes_for_testing) CompositeNodeWithChildSucceedingOnItsOwn (class in cramph.nodes_for_testing) CompositeNodeWithNestedCompositeChild (class in cramph.nodes_for_testing) CompositeNodeWithoutChildrenError compute_observation() (cramph.node.ThreadPayloadMonitor method) condition (cramph.exceptions.InvalidConditionError attribute) condition_owner (cramph.plotters.graphviz.ConditionDependency attribute) condition_prefix() (cramph.plotters.graphviz.StatechartGraphviz static method) condition_variables (cramph.node.StatechartNode property) ConditionDependency (class in cramph.plotters.graphviz) CONDITIONS (cramph.data_types.StatechartJSONKey attribute) conditions (cramph.node.StatechartNode property) (cramph.plotters.graphviz.ConditionDependency attribute) ConditionScopeError ConditionVariable (class in cramph.node) ConditionVariableReference (class in cramph.node) ConflictingTickDurationError ConstFalseNode (class in cramph.nodes_for_testing) ConstTrueNode (class in cramph.nodes_for_testing) context (cramph.executor.Executor attribute) (cramph.node.StatechartNode property) (cramph.plotters.gantt_chart_plotter.HistoryGanttChartPlotter attribute) (cramph.statechart.Statechart attribute) context_extensions_required_to_expand() (cramph.node.CompositeNode method) ContextExtension (class in cramph.context) ControlStructureNode (class in cramph.composites) ControlStructureNodeRunningItsChildrenInTurn (class in cramph.composites) count_ticks1 (cramph.nodes_for_testing.CompositeNodeResumingItsPausedChildren attribute) count_ticks2 (cramph.nodes_for_testing.CompositeNodeResumingItsPausedChildren attribute) CountNodeResets (class in cramph.monitors) CountSeconds (class in cramph.monitors) CountSimulationTimeSeconds (class in cramph.monitors) CountTicks (class in cramph.monitors) cramph module cramph.compiled_tick module cramph.compiler module cramph.composites module cramph.context module cramph.data_types module cramph.exceptions module cramph.executor module cramph.monitors module cramph.node module cramph.nodes_for_testing module cramph.orm module cramph.plotters module cramph.plotters.gantt_chart_plotter module cramph.plotters.graphviz module cramph.plotters.interactive_graph module cramph.plotters.plot_specs module cramph.plotters.statechart_inspector module cramph.plotters.styles module cramph.reported_statechart module cramph.state module cramph.state_history module cramph.statechart module cramph.threaded_nodes module cramph.visualization module cramph.world_modification_nodes module create() (cramph.compiled_tick.PassInput class method) create_cancel_style() (cramph.plotters.plot_specs.NodePlotSpec class method) create_collapsed_composite_node_style() (cramph.plotters.plot_specs.NodePlotSpec class method) create_composite_node_style() (cramph.plotters.plot_specs.NodePlotSpec class method) create_end_style() (cramph.plotters.plot_specs.NodePlotSpec class method) create_exception() (cramph.node.CancelStatechart method) create_false() (cramph.node.TransitionCondition class method) create_life_cycle_forced_by_parent() (cramph.node.StatechartNode method) create_lifecycle_transitions() (cramph.node.StatechartNode method) create_monitor_style() (cramph.plotters.plot_specs.NodePlotSpec class method) create_structure_copy() (cramph.node.CancelStatechart method) (cramph.node.CompositeNode method) (cramph.node.EndStatechart method) (cramph.node.StatechartNode method) (cramph.nodes_for_testing.NodeWithOwnStructureCopy method) (cramph.statechart.Statechart method) create_task_style() (cramph.plotters.plot_specs.NodePlotSpec class method) create_true() (cramph.node.TransitionCondition class method) create_visualizer() (cramph.plotters.interactive_graph.StatechartGraphVisualizer method) CURRENT (cramph.data_types.ObservationReading attribute) current_goal_index (cramph.plotters.statechart_inspector.DotGraphViewer attribute) current_message_index (cramph.plotters.statechart_inspector.DotGraphViewer attribute) cycle (cramph.exceptions.CyclicNodeDependencyError attribute) cycle_duration (cramph.executor.RealTimePacer property) (cramph.executor.ScheduledPacer property) (cramph.executor.SimulationPacer property) CyclicNodeDependencyError D DASHED_ROUNDED (cramph.plotters.styles.BorderStyle attribute) data (cramph.compiled_tick.PassInput attribute) (cramph.state.State attribute) decides_its_own_success (cramph.node.StatechartNode property) default_context_extensions() (cramph.executor.Executor method) (cramph.executor.StatechartExecutor method) default_executor_extensions() (cramph.executor.Executor method) (cramph.executor.StatechartExecutor method) default_value() (cramph.state.LastObservationState method) (cramph.state.LifeCycleState method) (cramph.state.ObservationState method) (cramph.state.State method) delay_in_ticks (cramph.nodes_for_testing.CompositeNodeWithChildStartingLate attribute) dependency (cramph.exceptions.ConditionScopeError attribute) depth (cramph.node.StatechartNode property) DerivedConditionVariable (class in cramph.node) descendants (cramph.node.StatechartNode property) DeserializedNodeTracker (class in cramph.node) detail (cramph.nodes_for_testing.SpecializedNodeWithOwnStructureCopy attribute) disabled_condition_color (cramph.plotters.graphviz.StatechartGraphviz attribute) display_graph() (cramph.plotters.statechart_inspector.DotGraphViewer method) display_name (cramph.node.DerivedConditionVariable property) (cramph.node.LastObservationVariable property) (cramph.node.NodeStateVariable property) DotGraphViewer (class in cramph.plotters.statechart_inspector) draw() (cramph.statechart.Statechart method) DrawingMetrics (class in cramph.plotters.styles) DuplicateContextExtensionError E edges (cramph.statechart.Statechart property) effective_condition() (cramph.node.StatechartNode method) effective_conditions (cramph.node.StatechartNode property) EmptyStatechartError END (cramph.nodes_for_testing.LifeCycleCallback attribute) end_tick (cramph.plotters.gantt_chart_plotter.StateSpan attribute) (cramph.state_history.RunTicks attribute) end_time (cramph.node.StatechartNode property) EndedByOwner (class in cramph.node) EndInCompositeNodeError ending_kinds() (cramph.data_types.TransitionKind class method) EndStatechart (class in cramph.node) ensure_extension() (cramph.context.StatechartContext method) error_message() (cramph.exceptions.AmbiguousContextExtensionError method) (cramph.exceptions.CancelledByNodeFailing method) (cramph.exceptions.CancelledByNodeReachingItsGoal method) (cramph.exceptions.ChildCannotFailError method) (cramph.exceptions.ChildTransitionAlreadyWiredError method) (cramph.exceptions.CompositeNodeWithoutChildrenError method) (cramph.exceptions.ConflictingTickDurationError method) (cramph.exceptions.CyclicNodeDependencyError method) (cramph.exceptions.DuplicateContextExtensionError method) (cramph.exceptions.EmptyStatechartError method) (cramph.exceptions.EndInCompositeNodeError method) (cramph.exceptions.ExecutionFailure method) (cramph.exceptions.InvalidConditionError method) (cramph.exceptions.MissingContextExtensionError method) (cramph.exceptions.MissingExecutorExtensionError method) (cramph.exceptions.NoChildChooserForNodeError method) (cramph.exceptions.NoControlStructureNodeAboveError method) (cramph.exceptions.NodeAlreadyAChildError method) (cramph.exceptions.NodeAlreadyBelongsToDifferentNodeError method) (cramph.exceptions.NodeIsNotAChildError method) (cramph.exceptions.NodeNotBuiltError method) (cramph.exceptions.NodeNotFoundError method) (cramph.exceptions.NodesMissingContextExtensionsError method) (cramph.exceptions.NodeStateVariableNotSerializableError method) (cramph.exceptions.NonPositiveRealTimeFactorError method) (cramph.exceptions.NotHeldByControlStructureNodeError method) (cramph.exceptions.NotInStatechartError method) (cramph.exceptions.PlanCancelled method) (cramph.exceptions.PrerequisiteNotExpandedError method) (cramph.exceptions.RemovedNodeStillReferencedError method) (cramph.exceptions.RepetitionsExhausted method) (cramph.exceptions.RvizUnavailableError method) (cramph.exceptions.SeveralChildChoosersForNodeError method) (cramph.exceptions.StatechartAlreadyCompiledError method) (cramph.exceptions.StatechartOfDifferentContextError method) (cramph.exceptions.TickDoesNotSettleError method) (cramph.exceptions.TickDurationUnknownError method) (cramph.exceptions.TickLimitReachedError method) (cramph.exceptions.TransitionHasNoOutcomeError method) (cramph.exceptions.UnknownConditionVariableError method) (cramph.exceptions.UnknownTransitionKindError method) (cramph.exceptions.UnsupportedConditionSyntaxError method) (cramph.nodes_for_testing.NodeAssertionError method) exception (cramph.composites.CancelledWhenTrue attribute) (cramph.composites.RepeatUntil attribute) (cramph.node.CancelStatechart attribute) execute() (cramph.executor.Executor method) (cramph.executor.StatechartExecutor method) ExecutionFailure Executor (class in cramph.executor) ExecutorExtension (class in cramph.executor) expand() (cramph.composites.CancelledWhenTrue method) (cramph.composites.MonitoredCompositeNode method) (cramph.composites.RepeatUntil method) (cramph.node.CompositeNode method) (cramph.nodes_for_testing.CompositeNodeCancellingIfChildRunsAfterItsEnd method) (cramph.nodes_for_testing.CompositeNodeCancellingIfPausedChildResumesAfterItsEnd method) (cramph.nodes_for_testing.CompositeNodeCuttingOffItsChild method) (cramph.nodes_for_testing.CompositeNodeCuttingOffItsChildAtItsGoal method) (cramph.nodes_for_testing.CompositeNodeCuttingOffItsGrandchild method) (cramph.nodes_for_testing.CompositeNodeCuttingOffItsUndecidedChild method) (cramph.nodes_for_testing.CompositeNodeObservingItsCancellingChildRun method) (cramph.nodes_for_testing.CompositeNodeObservingItsSecondChildRun method) (cramph.nodes_for_testing.CompositeNodeResumingItsPausedChildren method) (cramph.nodes_for_testing.CompositeNodeWithARecordingChild method) (cramph.nodes_for_testing.CompositeNodeWithChainedChildren method) (cramph.nodes_for_testing.CompositeNodeWithChildFailingOnItsOwn method) (cramph.nodes_for_testing.CompositeNodeWithChildInterruptedBySibling method) (cramph.nodes_for_testing.CompositeNodeWithChildStartingLate method) (cramph.nodes_for_testing.CompositeNodeWithChildSucceedingBeforeItStarts method) (cramph.nodes_for_testing.CompositeNodeWithChildSucceedingOnItsOwn method) (cramph.nodes_for_testing.CompositeNodeWithNestedCompositeChild method) (cramph.nodes_for_testing.NodeDeclaringItsOwnFailure method) (cramph.nodes_for_testing.SequenceCreatingItsSteps method) expanded_child_field() (in module cramph.node) expected_extension (cramph.exceptions.MissingContextExtensionError attribute) (cramph.exceptions.MissingExecutorExtensionError attribute) EXPRESSION (cramph.data_types.TransitionConditionJSONKey attribute) expression (cramph.node.TransitionCondition attribute) expression() (cramph.data_types.LifeCyclePredicateDefinition method) (cramph.data_types.ObservationPredicateDefinition method) (cramph.node.DerivedConditionVariable method) (cramph.node.LifeCyclePredicateVariable method) (cramph.node.ObservationPredicateVariable method) extend_context() (cramph.executor.ExecutorExtension method) extension_type (cramph.exceptions.DuplicateContextExtensionError attribute) extensions (cramph.context.StatechartContext attribute) (cramph.executor.Executor attribute) extra_border_styles (cramph.plotters.plot_specs.NodePlotSpec attribute) F FAIL (cramph.data_types.TransitionKind attribute) fail_condition (cramph.node.StatechartNode property) FAILED (cramph.data_types.LifeCycleValues attribute) FailsOnObservingFalse (class in cramph.node) failure_monitors_for() (cramph.composites.ChildChooser method) failure_monitors_of() (cramph.composites.CompositeNodeChoosingItsChild method) failure_reasons (cramph.composites.CompositeNodeChoosingItsChild property) failure_reasons_of() (cramph.composites.CompositeNodeChoosingItsChild method) failure_types (cramph.threaded_nodes.FunctionCall attribute) FALSE (cramph.data_types.ObservationStateValues attribute) (cramph.plotters.styles.ObservationDrawingStyle attribute) figure_height (cramph.plotters.gantt_chart_plotter.HistoryGanttChartPlotter property) figure_width (cramph.plotters.gantt_chart_plotter.HistoryGanttChartPlotter property) final_state_band_height_in_cm (cramph.plotters.gantt_chart_plotter.HistoryGanttChartPlotter attribute) finish_run() (cramph.executor.Executor method) (cramph.executor.StatechartExecutor method) first (cramph.nodes_for_testing.CompositeNodeObservingItsSecondChildRun attribute) float_variable_data (cramph.context.StatechartContext attribute) FloatEnum (class in cramph.data_types) Font (class in cramph.plotters.styles) font_size (cramph.plotters.styles.DrawingMetrics attribute) for_node() (cramph.node.DerivedConditionVariable method) (cramph.node.LifeCyclePredicateVariable method) (cramph.node.ObservationPredicateVariable method) format_condition_text() (in module cramph.plotters.graphviz) formatted_name() (cramph.node.StatechartNode method) former_conditions (cramph.statechart.ReplacedNode attribute) former_parent (cramph.statechart.ReplacedNode attribute) frame_prefix (cramph.visualization.RvizVisualization attribute) from_statechart() (cramph.node.DeserializedNodeTracker class method) function (cramph.threaded_nodes.FunctionCall attribute) FunctionCall (class in cramph.threaded_nodes) G gap_between_axes_in_inches (cramph.plotters.gantt_chart_plotter.HistoryGanttChartPlotter attribute) GenericChoosingNode (in module cramph.composites) GenericContextExtension (in module cramph.context) GenericExecutorExtension (in module cramph.executor) GenericStatechartNode (in module cramph.node) get_condition() (cramph.node.StatechartNode method) get_current_run_ticks_of_node() (cramph.state_history.StateHistory method) get_extension() (cramph.context.StatechartContext method) get_life_cycle_history_of_node() (cramph.state_history.StateHistory method) get_node_by_index() (cramph.statechart.Statechart method) get_nodes_by_type() (cramph.statechart.Statechart method) get_observation_history_of_node() (cramph.state_history.StateHistory method) get_preceding_node_by_type() (cramph.statechart.Statechart method) get_preceding_nodes_by_type() (cramph.statechart.Statechart method) give_up() (cramph.composites.CompositeNodeChoosingItsChild method) give_up_on_child_when() (cramph.composites.CompositeNodeChoosingItsChild method) GOAL_ID (cramph.data_types.StatechartPayloadKey attribute) goals (cramph.plotters.statechart_inspector.DotGraphViewer attribute) grandchild (cramph.nodes_for_testing.CompositeNodeCuttingOffItsGrandchild property) graph (cramph.plotters.graphviz.StatechartGraphviz attribute) graphs_by_goal (cramph.plotters.statechart_inspector.DotGraphViewer attribute) grounded_nodes (cramph.composites.StatementNode property) H handle_new_message() (cramph.plotters.statechart_inspector.DotGraphViewer method) has_choice_for() (cramph.composites.ChildChooser method) has_finished (cramph.threaded_nodes.ThreadedNode property) HAS_TICK_OBSERVATION (cramph.compiled_tick.PassInputKind attribute) HistoryGanttChartPlotter (class in cramph.plotters.gantt_chart_plotter) I index (cramph.node.StatechartNode attribute) inherent_fail_condition (cramph.composites.CompositeNodeChoosingItsChild property) (cramph.composites.MonitoredCompositeNode property) (cramph.composites.Parallel property) (cramph.node.FailsOnObservingFalse property) (cramph.node.StatechartNode property) inherent_success_condition (cramph.node.EndedByOwner property) (cramph.node.StatechartNode property) (cramph.node.SucceedsOnObservingTrue property) inner (cramph.nodes_for_testing.CompositeNodeWithNestedCompositeChild attribute) inner_node (cramph.nodes_for_testing.CompositeNodeCuttingOffItsGrandchild attribute) InputNotExpressionError insert_after() (cramph.composites.ControlStructureNode method) insert_before() (cramph.composites.ControlStructureNode method) INTERRUPT (cramph.data_types.TransitionKind attribute) interrupt_condition (cramph.node.StatechartNode property) INTERRUPTED (cramph.data_types.LifeCycleValues attribute) InvalidConditionError is_compiled (cramph.compiler.StatechartCompiler property) is_ended() (cramph.statechart.Statechart method) IS_FAILED (cramph.data_types.LifeCyclePredicate attribute) is_failed (cramph.node.StatechartNode property) is_failed_or_interrupted (cramph.node.StatechartNode property) IS_INTERRUPTED (cramph.data_types.LifeCyclePredicate attribute) is_interrupted (cramph.node.StatechartNode property) is_leaf (cramph.node.StatechartNode property) IS_NOT_STARTED (cramph.data_types.LifeCyclePredicate attribute) is_not_started (cramph.node.StatechartNode property) IS_PAUSED (cramph.data_types.LifeCyclePredicate attribute) is_paused (cramph.node.StatechartNode property) is_rendering (cramph.visualization.RerunVisualization property) (cramph.visualization.RvizVisualization property) (cramph.visualization.WorldVisualization property) IS_RUNNING (cramph.data_types.LifeCyclePredicate attribute) is_running (cramph.node.StatechartNode property) IS_SUCCEEDED (cramph.data_types.LifeCyclePredicate attribute) is_succeeded (cramph.node.StatechartNode property) is_terminal (cramph.data_types.LifeCycleValues property) IS_TERMINATED (cramph.data_types.LifeCyclePredicate attribute) is_terminated (cramph.node.StatechartNode property) is_waiting_for_a_child (cramph.composites.CompositeNodeChoosingItsChild property) item_before_latest (cramph.state_history.StateHistory property) items (cramph.state_history.StateHistory attribute) items() (cramph.state.State method) items_recording() (cramph.state_history.StateHistory method) J JOINED_NODES (cramph.data_types.StatechartPayloadKey attribute) K keys() (cramph.state.State method) KIND (cramph.data_types.TransitionConditionJSONKey attribute) kind (cramph.node.TransitionCondition attribute) L LAST (cramph.data_types.ObservationReading attribute) last_goal_id (cramph.plotters.statechart_inspector.DotGraphViewer attribute) last_observation (cramph.node.StatechartNode property) LAST_OBSERVATION_STATE (cramph.data_types.StatechartPayloadKey attribute) last_observation_state (cramph.node.StatechartNode property) (cramph.statechart.Statechart attribute) last_observation_symbols() (cramph.state.State method) LAST_OBSERVED_TRUE (cramph.data_types.ObservationPredicate attribute) last_observed_true (cramph.node.StatechartNode property) LastObservationState (class in cramph.state) LastObservationVariable (class in cramph.node) latest_child (cramph.composites.CompositeNodeChoosingItsChild property) latest_compile_covers() (cramph.compiler.StatechartCompiler method) latest_item (cramph.state_history.StateHistory property) layers (cramph.statechart.Statechart property) left_neighbour (cramph.node.StatechartNode property) left_siblings (cramph.node.StatechartNode property) length (cramph.monitors.Pulse attribute) LIFE_CYCLE_AT_CYCLE_START (cramph.compiled_tick.PassInputKind attribute) life_cycle_predicate_expression() (cramph.node.StatechartNode method) life_cycle_spans() (cramph.plotters.gantt_chart_plotter.HistoryGanttChartPlotter method) LIFE_CYCLE_STATE (cramph.data_types.StatechartPayloadKey attribute) life_cycle_state (cramph.node.StatechartNode property) (cramph.state_history.StateHistoryItem attribute) (cramph.statechart.Statechart attribute) life_cycle_symbols() (cramph.state.State method) life_cycle_variable (cramph.node.StatechartNode property) LifeCycleCallback (class in cramph.nodes_for_testing) LifeCycleChange (class in cramph.compiled_tick) LifeCyclePredicate (class in cramph.data_types) LifeCyclePredicateDefinition (class in cramph.data_types) LifeCyclePredicateVariable (class in cramph.node) LifeCycleState (class in cramph.state) LifeCycleTransitions (class in cramph.node) LifeCycleValues (class in cramph.data_types) LifeCycleVariable (class in cramph.node) line_width (cramph.plotters.styles.DrawingMetrics attribute) line_width() (cramph.plotters.styles.ObservationDrawingStyle method) line_width_factor (cramph.plotters.styles.ObservationDrawingStyle attribute) list_in_place_of() (cramph.node.CompositeNode method) load() (cramph.plotters.statechart_inspector.SvgGrahpicsView method) logger (in module cramph.executor) (in module cramph.node) (in module cramph.plotters.gantt_chart_plotter) (in module cramph.statechart) (in module cramph.threaded_nodes) M main() (in module cramph.plotters.statechart_inspector) marker_alpha (cramph.visualization.RvizVisualization attribute) marker_topic (cramph.visualization.RvizVisualization attribute) matching_extensions (cramph.exceptions.AmbiguousContextExtensionError attribute) maximum_repetitions (cramph.exceptions.RepetitionsExhausted attribute) message (cramph.monitors.Print attribute) metrics (cramph.plotters.graphviz.StatechartGraphviz attribute) minimum_rank_distance() (cramph.plotters.graphviz.ConditionDependency method) (cramph.plotters.styles.DrawingMetrics method) minimum_success (cramph.composites.Parallel attribute) MissingContextExtensionError MissingExecutorExtensionError mode (cramph.visualization.RerunVisualization attribute) modify() (cramph.statechart.Statechart method) module cramph cramph.compiled_tick cramph.compiler cramph.composites cramph.context cramph.data_types cramph.exceptions cramph.executor cramph.monitors cramph.node cramph.nodes_for_testing cramph.orm cramph.plotters cramph.plotters.gantt_chart_plotter cramph.plotters.graphviz cramph.plotters.interactive_graph cramph.plotters.plot_specs cramph.plotters.statechart_inspector cramph.plotters.styles cramph.reported_statechart cramph.state cramph.state_history cramph.statechart cramph.threaded_nodes cramph.visualization cramph.world_modification_nodes monitor (cramph.composites.MonitoredCompositeNode attribute) (cramph.exceptions.PlanCancelled attribute) MONITOR (cramph.plotters.styles.NodeDrawingStyle attribute) monitored_node (cramph.composites.MonitoredCompositeNode attribute) MonitoredCompositeNode (class in cramph.composites) MONOSPACE (cramph.plotters.styles.Font attribute) MoveBranch (class in cramph.world_modification_nodes) mutex (cramph.plotters.statechart_inspector.SvgGrahpicsView attribute) N name (cramph.exceptions.NodeNotFoundError attribute) (cramph.exceptions.NotInStatechartError attribute) (cramph.node.StatechartNode attribute) new_expression (cramph.exceptions.InvalidConditionError attribute) new_message_signal (cramph.plotters.statechart_inspector.DotGraphViewer attribute) new_node (cramph.exceptions.NodeAlreadyBelongsToDifferentNodeError attribute) new_parent (cramph.world_modification_nodes.MoveBranch attribute) new_state (cramph.compiled_tick.LifeCycleChange attribute) next_candidate() (cramph.composites.StatementNode method) NoChildChooserForNodeError NoControlStructureNodeAboveError node (cramph.compiled_tick.LifeCycleChange attribute) (cramph.exceptions.CancelledByNode attribute) (cramph.exceptions.NoChildChooserForNodeError attribute) (cramph.exceptions.NodeInitializationError attribute) (cramph.exceptions.SeveralChildChoosersForNodeError attribute) (cramph.monitors.CountNodeResets attribute) (cramph.statechart.ReplacedNode attribute) node1 (cramph.nodes_for_testing.CompositeNodeWithChildSucceedingBeforeItStarts attribute) node2 (cramph.nodes_for_testing.CompositeNodeWithChildSucceedingBeforeItStarts attribute) node3 (cramph.nodes_for_testing.CompositeNodeWithChildSucceedingBeforeItStarts attribute) node_dependencies (cramph.node.TransitionCondition property) NODE_ID (cramph.data_types.NodeJSONKey attribute) node_id (cramph.node.ConditionVariableReference attribute) node_separation (cramph.plotters.styles.DrawingMetrics attribute) node_type() (cramph.composites.ChildChooser method) NodeAlreadyAChildError NodeAlreadyBelongsToDifferentNodeError NodeArtifacts (class in cramph.node) NodeAssertionError NodeDeclaringItsOwnFailure (class in cramph.nodes_for_testing) NodeDeclaringNoWayToSucceed (class in cramph.nodes_for_testing) NodeDrawingStyle (class in cramph.plotters.styles) NodeFailingOnObservingFalse (class in cramph.nodes_for_testing) NodeInitializationError NodeIsNotAChildError NodeJSONKey (class in cramph.data_types) NodeNotBuiltError NodeNotFoundError NodeObservingAFixedValue (class in cramph.nodes_for_testing) NodeObservingAnObservationPredicate (class in cramph.nodes_for_testing) NodeObservingAPredicate (class in cramph.nodes_for_testing) NodeObservingAWrittenVariable (class in cramph.nodes_for_testing) NodeObservingLastObservation (class in cramph.nodes_for_testing) NodeObservingNothingYet (class in cramph.nodes_for_testing) NodeObservingTheOppositeOfAnObservationPredicate (class in cramph.nodes_for_testing) NodeObservingTrueOnlyOnTick (class in cramph.nodes_for_testing) NodePlotSpec (class in cramph.plotters.plot_specs) NodeRecordingItsCallbacks (class in cramph.nodes_for_testing) NodeReferringToAWorldEntity (class in cramph.nodes_for_testing) nodes (cramph.composites.ControlStructureNode attribute) NODES (cramph.data_types.StatechartJSONKey attribute) nodes (cramph.node.CompositeNode attribute) (cramph.nodes_for_testing.SequenceCreatingItsSteps attribute) (cramph.statechart.Statechart property) nodes_by_missing_extension (cramph.exceptions.NodesMissingContextExtensionsError attribute) nodes_ended_in_latest_item() (cramph.state_history.StateHistory method) nodes_from_to_json() (cramph.statechart.Statechart method) nodes_started_in_latest_item() (cramph.state_history.StateHistory method) nodes_to_rebuild (cramph.compiler.StatechartCompiler attribute) NodesMissingContextExtensionsError NodeStateVariable (class in cramph.node) NodeStateVariableNotSerializableError NodeSucceedingOnObservingTrue (class in cramph.nodes_for_testing) NodeWithOwnStructureCopy (class in cramph.nodes_for_testing) NodeWritingAVariableOnStart (class in cramph.nodes_for_testing) NonPositiveRealTimeFactorError NoPacing (class in cramph.executor) NOT_STARTED (cramph.data_types.LifeCycleValues attribute) not_started (cramph.node.LifeCycleTransitions attribute) NotHeldByControlStructureNodeError NotInStatechartError num_bars (cramph.plotters.gantt_chart_plotter.HistoryGanttChartPlotter property) O observation (cramph.node.NodeArtifacts attribute) (cramph.node.ObservationPredicateVariable property) (cramph.nodes_for_testing.NodeObservingAFixedValue attribute) observation_spans() (cramph.plotters.gantt_chart_plotter.HistoryGanttChartPlotter method) OBSERVATION_STATE (cramph.data_types.StatechartPayloadKey attribute) observation_state (cramph.node.StatechartNode property) (cramph.state_history.StateHistoryItem attribute) (cramph.statechart.Statechart attribute) observation_symbols() (cramph.state.State method) observation_variable (cramph.node.StatechartNode property) ObservationDrawingStyle (class in cramph.plotters.styles) ObservationPredicate (class in cramph.data_types) ObservationPredicateDefinition (class in cramph.data_types) ObservationPredicateVariable (class in cramph.node) ObservationReading (class in cramph.data_types) ObservationState (class in cramph.state) ObservationStateValues (class in cramph.data_types) ObservationVariable (class in cramph.node) observed_node (cramph.plotters.graphviz.ConditionDependency attribute) observed_value (cramph.data_types.ObservationPredicateDefinition attribute) observers (cramph.state_history.StateHistory attribute) OBSERVES_FALSE (cramph.data_types.ObservationPredicate attribute) observes_false (cramph.node.StatechartNode property) OBSERVES_TRUE (cramph.data_types.ObservationPredicate attribute) observes_true (cramph.node.StatechartNode property) of_observation() (cramph.plotters.styles.ObservationDrawingStyle class method) on_end() (cramph.node.StatechartNode method) (cramph.nodes_for_testing.ChangeStateOnEvents method) (cramph.nodes_for_testing.NodeRecordingItsCallbacks method) on_new_message_received() (cramph.plotters.statechart_inspector.DotGraphViewer method) on_pause() (cramph.node.StatechartNode method) (cramph.nodes_for_testing.ChangeStateOnEvents method) (cramph.nodes_for_testing.NodeRecordingItsCallbacks method) on_reset() (cramph.composites.CompositeNodeChoosingItsChild method) (cramph.node.StatechartNode method) (cramph.nodes_for_testing.ChangeStateOnEvents method) (cramph.nodes_for_testing.NodeRecordingItsCallbacks method) on_start() (cramph.monitors.CountSeconds method) (cramph.monitors.Pulse method) (cramph.monitors.TickCounter method) (cramph.node.CancelStatechart method) (cramph.node.StatechartNode method) (cramph.nodes_for_testing.ChangeStateOnEvents method) (cramph.nodes_for_testing.NodeRecordingItsCallbacks method) (cramph.nodes_for_testing.NodeWritingAVariableOnStart method) (cramph.threaded_nodes.ThreadedNode method) (cramph.world_modification_nodes.MoveBranch method) on_state_change() (cramph.state_history.StateHistoryObserver method) on_tick() (cramph.monitors.CountNodeResets method) (cramph.monitors.CountSeconds method) (cramph.monitors.Print method) (cramph.monitors.Pulse method) (cramph.monitors.TickCounter method) (cramph.node.StatechartNode method) (cramph.nodes_for_testing.NodeObservingTrueOnlyOnTick method) (cramph.threaded_nodes.FunctionCall method) on_tick_calls (cramph.nodes_for_testing.NodeObservingTrueOnlyOnTick attribute) on_topic_selected() (cramph.plotters.statechart_inspector.DotGraphViewer method) on_topic_selector_clicked() (cramph.plotters.statechart_inspector.DotGraphViewer method) on_unpause() (cramph.node.StatechartNode method) (cramph.nodes_for_testing.ChangeStateOnEvents method) (cramph.nodes_for_testing.NodeRecordingItsCallbacks method) outcome (cramph.data_types.TransitionKind property) OWN_TRANSITION_TAKEN (cramph.compiled_tick.PassInputKind attribute) OWNER (cramph.data_types.TransitionConditionJSONKey attribute) owner (cramph.node.TransitionCondition attribute) owner_wired_kinds() (cramph.data_types.TransitionKind class method) P pace_ticks_of() (cramph.executor.NoPacing method) (cramph.executor.Pacer method) Pacer (class in cramph.executor) pacer (cramph.executor.StatechartExecutor attribute) Parallel (class in cramph.composites) parent (cramph.exceptions.NotHeldByControlStructureNodeError attribute) parent_node (cramph.node.StatechartNode property) parent_node_index (cramph.node.StatechartNode attribute) parse() (cramph.node.ConditionVariableReference class method) pass_limit (cramph.exceptions.TickDoesNotSettleError attribute) (cramph.statechart.Statechart attribute) passes_per_nesting_level (cramph.statechart.Statechart attribute) passes_taken (cramph.exceptions.TickDoesNotSettleError attribute) PassInput (class in cramph.compiled_tick) PassInputKind (class in cramph.compiled_tick) path (cramph.node.StatechartNode property) PAUSE (cramph.data_types.TransitionKind attribute) (cramph.nodes_for_testing.LifeCycleCallback attribute) pause_condition (cramph.node.StatechartNode property) PAUSED (cramph.data_types.LifeCycleValues attribute) paused (cramph.node.LifeCycleTransitions attribute) PausedUntilTrue (class in cramph.composites) PausedWhileTrue (class in cramph.composites) PlanCancelled plot_gantt_chart() (cramph.plotters.gantt_chart_plotter.HistoryGanttChartPlotter method) (cramph.statechart.Statechart method) plot_motion_statechart() (cramph.plotters.statechart_inspector.DotGraphViewer method) plot_specification_field() (in module cramph.plotters.plot_specs) plot_specifications (cramph.node.CancelStatechart attribute) (cramph.node.CompositeNode attribute) (cramph.node.EndStatechart attribute) (cramph.node.StatechartNode attribute) predicate (cramph.node.DerivedConditionVariable attribute) (cramph.node.LifeCyclePredicateVariable attribute) (cramph.node.ObservationPredicateVariable attribute) prepare_chosen_child() (cramph.composites.ChildChooser method) prerequisite (cramph.exceptions.PrerequisiteNotExpandedError attribute) prerequisite_nodes (cramph.node.StatechartNode property) (cramph.nodes_for_testing.NodeObservingAWrittenVariable property) PrerequisiteNotExpandedError previous_state (cramph.compiled_tick.LifeCycleChange attribute) Print (class in cramph.monitors) publisher (cramph.visualization.RvizVisualization attribute) Pulse (class in cramph.monitors) pulse (cramph.nodes_for_testing.CompositeNodeCancellingIfPausedChildResumesAfterItsEnd attribute) put_back() (cramph.statechart.ReplacedNode method) R raise_pending_exception() (cramph.node.CancelStatechart method) ran_out_of_children (cramph.composites.CompositeNodeChoosingItsChild property) rank_separation (cramph.plotters.styles.DrawingMetrics attribute) reached_candidate_limit (cramph.composites.StatementNode property) reading (cramph.data_types.ObservationPredicateDefinition attribute) real_time_factor (cramph.exceptions.NonPositiveRealTimeFactorError attribute) (cramph.executor.SimulationPacer attribute) RealTimePacer (class in cramph.executor) reason (cramph.nodes_for_testing.NodeAssertionError attribute) reason() (cramph.exceptions.ConditionScopeError method) (cramph.exceptions.InputNotExpressionError method) (cramph.exceptions.InvalidConditionError method) (cramph.exceptions.SelfInStartConditionError method) (cramph.exceptions.TerminalNodeInConditionError method) (cramph.exceptions.UnsupportedConditionVariableError method) RecompileCallback (class in cramph.compiler) records() (cramph.state_history.StateHistoryItem method) reference (cramph.node.DerivedConditionVariable property) referencing_node (cramph.exceptions.RemovedNodeStillReferencedError attribute) refresh_topics() (cramph.plotters.statechart_inspector.DotGraphViewer method) remove_node() (cramph.statechart.Statechart method) remove_observer() (cramph.state_history.StateHistory method) removed_node (cramph.exceptions.RemovedNodeStillReferencedError attribute) RemovedNodeStillReferencedError repeated_node (cramph.exceptions.RepetitionsExhausted attribute) RepeatUntil (class in cramph.composites) RepetitionsExhausted replace() (cramph.statechart.Statechart method) ReplacedNode (class in cramph.statechart) replacement (cramph.statechart.ReplacedNode attribute) reported_statechart (cramph.plotters.statechart_inspector.DotGraphViewer attribute) ReportedStatechart (class in cramph.reported_statechart) request_rebuild() (cramph.statechart.Statechart method) requested_tick_duration (cramph.exceptions.ConflictingTickDurationError attribute) requested_type (cramph.exceptions.AmbiguousContextExtensionError attribute) require_extension() (cramph.context.StatechartContext method) (cramph.executor.Executor method) require_tick_duration() (cramph.context.StatechartContext method) required_context_extensions() (cramph.composites.CompositeNodeChoosingItsChild method) (cramph.node.StatechartNode method) required_successes (cramph.composites.Parallel property) RerunVisualization (class in cramph.visualization) RESET (cramph.data_types.TransitionKind attribute) (cramph.nodes_for_testing.LifeCycleCallback attribute) reset_condition (cramph.node.StatechartNode property) resets (cramph.monitors.CountNodeResets attribute) resolve() (cramph.node.ConditionVariable method) (cramph.node.ConditionVariableReference method) (cramph.node.LastObservationVariable method) (cramph.node.LifeCyclePredicateVariable method) (cramph.node.LifeCycleVariable method) (cramph.node.NodeStateVariable method) (cramph.node.ObservationPredicateVariable method) (cramph.node.ObservationVariable method) right_neighbour (cramph.node.StatechartNode property) right_siblings (cramph.node.StatechartNode property) ros_node (cramph.visualization.RvizVisualization attribute) ROUNDED (cramph.plotters.styles.BorderStyle attribute) run() (cramph.threaded_nodes.FunctionCall method) (cramph.threaded_nodes.ThreadedNode method) run_callback() (cramph.compiled_tick.LifeCycleChange method) RUNNING (cramph.data_types.LifeCycleValues attribute) running (cramph.node.LifeCycleTransitions attribute) RunTicks (class in cramph.state_history) RvizUnavailableError RvizVisualization (class in cramph.visualization) rx_graph (cramph.statechart.Statechart attribute) S sanity_check() (cramph.statechart.Statechart method) SANS_SERIF (cramph.plotters.styles.Font attribute) scene (cramph.plotters.statechart_inspector.SvgGrahpicsView attribute) ScheduledPacer (class in cramph.executor) second (cramph.nodes_for_testing.CompositeNodeObservingItsSecondChildRun attribute) second_width_in_cm (cramph.plotters.gantt_chart_plotter.HistoryGanttChartPlotter attribute) seconds (cramph.monitors.CountSeconds attribute) (cramph.monitors.CountSimulationTimeSeconds attribute) SelfInStartConditionError separator() (cramph.node.ConditionVariableReference method) Sequence (class in cramph.composites) SequenceCreatingItsSteps (class in cramph.nodes_for_testing) set_condition() (cramph.node.StatechartNode method) set_tick_duration() (cramph.context.StatechartContext method) set_up() (cramph.node.StatechartNode method) (cramph.nodes_for_testing.NodeWritingAVariableOnStart method) settle() (cramph.compiled_tick.CompiledTick method) setup_gui_components() (cramph.plotters.statechart_inspector.DotGraphViewer method) setup_layout() (cramph.plotters.statechart_inspector.DotGraphViewer method) setup_navigation_buttons() (cramph.plotters.statechart_inspector.DotGraphViewer method) setup_qt() (cramph.plotters.statechart_inspector.DotGraphViewer method) setup_topic_refresh_timer() (cramph.plotters.statechart_inspector.DotGraphViewer method) SeveralChildChoosersForNodeError shape (cramph.plotters.plot_specs.NodePlotSpec attribute) (cramph.plotters.styles.NodeDrawingStyle attribute) show_first_image() (cramph.plotters.statechart_inspector.DotGraphViewer method) show_latest_image() (cramph.plotters.statechart_inspector.DotGraphViewer method) show_next_goal() (cramph.plotters.statechart_inspector.DotGraphViewer method) show_next_image() (cramph.plotters.statechart_inspector.DotGraphViewer method) show_prev_goal() (cramph.plotters.statechart_inspector.DotGraphViewer method) show_previous_image() (cramph.plotters.statechart_inspector.DotGraphViewer method) siblings (cramph.node.StatechartNode property) side_by_side_rank_distance (cramph.plotters.styles.DrawingMetrics attribute) simulation (cramph.executor.SteppedSimulationPacer attribute) SimulationPacer (class in cramph.executor) sleep() (cramph.executor.NoPacing method) (cramph.executor.Pacer method) (cramph.executor.ScheduledPacer method) (cramph.executor.SteppedSimulationPacer method) snapshot() (cramph.state.State method) source_states (cramph.data_types.TransitionKind property) SpecializedNodeWithOwnStructureCopy (class in cramph.nodes_for_testing) stacked_rank_distance (cramph.plotters.styles.DrawingMetrics attribute) standstill_time_limit (cramph.executor.SteppedSimulationPacer attribute) standstill_velocity (cramph.executor.SteppedSimulationPacer attribute) START (cramph.data_types.TransitionKind attribute) (cramph.nodes_for_testing.LifeCycleCallback attribute) start() (cramph.visualization.WorldVisualization method) start_condition (cramph.node.StatechartNode property) start_tick (cramph.plotters.gantt_chart_plotter.StateSpan attribute) (cramph.state_history.RunTicks attribute) start_time (cramph.node.StatechartNode property) State (class in cramph.state) state (cramph.nodes_for_testing.ChangeStateOnEvents attribute) (cramph.plotters.gantt_chart_plotter.StateSpan attribute) state_history (cramph.statechart.Statechart attribute) Statechart (class in cramph.statechart) statechart (cramph.compiled_tick.CompiledTick attribute) (cramph.compiler.StatechartCompiler attribute) STATECHART (cramph.data_types.StatechartPayloadKey attribute) statechart (cramph.executor.Executor attribute) (cramph.node.StatechartNode property) (cramph.plotters.gantt_chart_plotter.HistoryGanttChartPlotter attribute) (cramph.plotters.graphviz.StatechartGraphviz attribute) (cramph.plotters.interactive_graph.StatechartGraphVisualizer attribute) (cramph.reported_statechart.ReportedStatechart attribute) (cramph.state.State attribute) (cramph.statechart.StatechartModification attribute) statechart_node (cramph.node.NodeStateVariable attribute) StatechartAlreadyCompiledError StatechartCompiler (class in cramph.compiler) StatechartContext (class in cramph.context) StatechartError StatechartExecutor (class in cramph.executor) StatechartGraphVisualizer (class in cramph.plotters.interactive_graph) StatechartGraphviz (class in cramph.plotters.graphviz) StatechartJSONKey (class in cramph.data_types) StatechartModification (class in cramph.statechart) StatechartNode (class in cramph.node) StatechartOfDifferentContextError StatechartPayloadKey (class in cramph.data_types) StateHistory (class in cramph.state_history) StateHistoryItem (class in cramph.state_history) StateHistoryObserver (class in cramph.state_history) statement (cramph.composites.StatementNode attribute) StatementNode (class in cramph.composites) StateSpan (class in cramph.plotters.gantt_chart_plotter) step_holding() (cramph.composites.ControlStructureNode static method) SteppedSimulationPacer (class in cramph.executor) stop() (cramph.visualization.WorldVisualization method) stop_grounding() (cramph.composites.StatementNode method) stop_retry_monitor (cramph.composites.RepeatUntil attribute) StoppedWhenTrue (class in cramph.composites) StructureCopyCompositeNode (class in cramph.node) StructureCopyNode (class in cramph.node) style (cramph.plotters.plot_specs.NodePlotSpec attribute) (cramph.plotters.styles.NodeDrawingStyle attribute) sub_node1 (cramph.nodes_for_testing.CompositeNodeWithChainedChildren attribute) sub_node2 (cramph.nodes_for_testing.CompositeNodeWithChainedChildren attribute) substitute_in() (cramph.node.DerivedConditionVariable class method) SUCCEED (cramph.data_types.TransitionKind attribute) SUCCEEDED (cramph.data_types.LifeCycleValues attribute) SucceedsOnObservingTrue (class in cramph.node) success_condition (cramph.node.StatechartNode property) suggest_correction() (cramph.exceptions.AmbiguousContextExtensionError method) (cramph.exceptions.CancelledByNode method) (cramph.exceptions.ChildCannotFailError method) (cramph.exceptions.ChildTransitionAlreadyWiredError method) (cramph.exceptions.CompositeNodeWithoutChildrenError method) (cramph.exceptions.ConditionScopeError method) (cramph.exceptions.ConflictingTickDurationError method) (cramph.exceptions.CyclicNodeDependencyError method) (cramph.exceptions.DuplicateContextExtensionError method) (cramph.exceptions.EmptyStatechartError method) (cramph.exceptions.EndInCompositeNodeError method) (cramph.exceptions.ExecutionFailure method) (cramph.exceptions.InputNotExpressionError method) (cramph.exceptions.InvalidConditionError method) (cramph.exceptions.MissingContextExtensionError method) (cramph.exceptions.MissingExecutorExtensionError method) (cramph.exceptions.NoChildChooserForNodeError method) (cramph.exceptions.NoControlStructureNodeAboveError method) (cramph.exceptions.NodeAlreadyAChildError method) (cramph.exceptions.NodeAlreadyBelongsToDifferentNodeError method) (cramph.exceptions.NodeIsNotAChildError method) (cramph.exceptions.NodeNotBuiltError method) (cramph.exceptions.NodeNotFoundError method) (cramph.exceptions.NodesMissingContextExtensionsError method) (cramph.exceptions.NodeStateVariableNotSerializableError method) (cramph.exceptions.NonPositiveRealTimeFactorError method) (cramph.exceptions.NotHeldByControlStructureNodeError method) (cramph.exceptions.NotInStatechartError method) (cramph.exceptions.PlanCancelled method) (cramph.exceptions.PrerequisiteNotExpandedError method) (cramph.exceptions.RemovedNodeStillReferencedError method) (cramph.exceptions.RepetitionsExhausted method) (cramph.exceptions.RvizUnavailableError method) (cramph.exceptions.SeveralChildChoosersForNodeError method) (cramph.exceptions.StatechartAlreadyCompiledError method) (cramph.exceptions.StatechartOfDifferentContextError method) (cramph.exceptions.TerminalNodeInConditionError method) (cramph.exceptions.TickDoesNotSettleError method) (cramph.exceptions.TickDurationUnknownError method) (cramph.exceptions.TickLimitReachedError method) (cramph.exceptions.TransitionHasNoOutcomeError method) (cramph.exceptions.UnknownConditionVariableError method) (cramph.exceptions.UnknownTransitionKindError method) (cramph.exceptions.UnsupportedConditionSyntaxError method) (cramph.exceptions.UnsupportedConditionVariableError method) (cramph.nodes_for_testing.NodeAssertionError method) svg_item (cramph.plotters.statechart_inspector.SvgGrahpicsView attribute) SvgGrahpicsView (class in cramph.plotters.statechart_inspector) T take_callbacks() (cramph.nodes_for_testing.NodeRecordingItsCallbacks method) take_over() (cramph.node.CompositeNode method) (cramph.reported_statechart.ReportedStatechart method) target (cramph.monitors.CountNodeResets attribute) (cramph.visualization.RerunVisualization attribute) target_frequency (cramph.executor.Pacer attribute) task (cramph.composites.RepeatUntil attribute) TASK (cramph.plotters.styles.NodeDrawingStyle attribute) terminal (cramph.node.LifeCycleTransitions attribute) terminal_node (cramph.exceptions.TerminalNodeInConditionError attribute) terminal_states() (cramph.data_types.LifeCycleValues class method) TerminalNode (class in cramph.node) TerminalNodeInConditionError TFPublisher (in module cramph.visualization) ThreadedNode (class in cramph.threaded_nodes) ThreadPayloadMonitor (class in cramph.node) threshold (cramph.monitors.CheckTickCount attribute) tick() (cramph.executor.StatechartExecutor method) (cramph.statechart.Statechart method) tick_count (cramph.context.StatechartContext property) TICK_COUNT (cramph.data_types.StatechartPayloadKey attribute) tick_count (cramph.executor.StatechartExecutor property) (cramph.state_history.StateHistoryItem attribute) tick_duration (cramph.context.StatechartContext attribute) (cramph.exceptions.ConflictingTickDurationError attribute) tick_limit (cramph.exceptions.TickLimitReachedError attribute) TICK_OBSERVATION (cramph.compiled_tick.PassInputKind attribute) tick_until_end() (cramph.executor.StatechartExecutor method) tick_variable (cramph.context.StatechartContext attribute) TickCounter (class in cramph.monitors) TickDoesNotSettleError TickDurationUnknownError ticking1 (cramph.nodes_for_testing.CompositeNodeCancellingIfChildRunsAfterItsEnd attribute) (cramph.nodes_for_testing.CompositeNodeCancellingIfPausedChildResumesAfterItsEnd attribute) ticking2 (cramph.nodes_for_testing.CompositeNodeCancellingIfChildRunsAfterItsEnd attribute) (cramph.nodes_for_testing.CompositeNodeCancellingIfPausedChildResumesAfterItsEnd attribute) ticking3 (cramph.nodes_for_testing.CompositeNodeCancellingIfPausedChildResumesAfterItsEnd attribute) ticking_extensions (cramph.executor.StatechartExecutor property) TickingExecutorExtension (class in cramph.executor) TickLimitReachedError ticks (cramph.monitors.CountTicks attribute) time (cramph.executor.StatechartExecutor property) time_span_seconds (cramph.plotters.gantt_chart_plotter.HistoryGanttChartPlotter property) to_dot_graph() (cramph.plotters.graphviz.StatechartGraphviz method) to_dot_graph_pdf() (cramph.plotters.graphviz.StatechartGraphviz method) to_json() (cramph.composites.StatementNode method) (cramph.node.StatechartNode method) (cramph.node.TransitionCondition method) (cramph.state.State method) (cramph.statechart.Statechart method) tolerance (cramph.monitors.CountSeconds attribute) top_level_nodes (cramph.statechart.Statechart property) total_ticks (cramph.plotters.gantt_chart_plotter.HistoryGanttChartPlotter property) transition_kind (cramph.exceptions.ChildTransitionAlreadyWiredError attribute) (cramph.exceptions.TransitionHasNoOutcomeError attribute) (cramph.exceptions.UnknownTransitionKindError attribute) TransitionCondition (class in cramph.node) TransitionConditionJSONKey (class in cramph.data_types) TransitionHasNoOutcomeError TransitionKind (class in cramph.data_types) trigger (cramph.nodes_for_testing.CompositeNodeObservingItsCancellingChildRun attribute) (cramph.nodes_for_testing.CompositeNodeWithChildFailingOnItsOwn attribute) (cramph.nodes_for_testing.CompositeNodeWithChildInterruptedBySibling attribute) (cramph.nodes_for_testing.CompositeNodeWithChildSucceedingOnItsOwn attribute) TRUE (cramph.data_types.ObservationStateValues attribute) (cramph.plotters.styles.ObservationDrawingStyle attribute) true_states (cramph.data_types.LifeCyclePredicateDefinition attribute) truth_value() (cramph.data_types.LifeCyclePredicateDefinition method) (cramph.data_types.ObservationPredicateDefinition method) TryAll (class in cramph.composites) TryInOrder (class in cramph.composites) U unique_edges (cramph.statechart.Statechart property) unique_name (cramph.node.StatechartNode property) UNKNOWN (cramph.data_types.ObservationStateValues attribute) (cramph.plotters.styles.ObservationDrawingStyle attribute) UnknownConditionVariableError UnknownTransitionKindError UNPAUSE (cramph.nodes_for_testing.LifeCycleCallback attribute) unsettled_nodes (cramph.exceptions.TickDoesNotSettleError attribute) unsupported_part (cramph.exceptions.UnsupportedConditionSyntaxError attribute) unsupported_variable (cramph.exceptions.UnsupportedConditionVariableError attribute) UnsupportedConditionSyntaxError UnsupportedConditionVariableError unwired_condition (cramph.data_types.TransitionKind property) update_expression() (cramph.node.TransitionCondition method) update_position_label() (cramph.plotters.statechart_inspector.DotGraphViewer method) use_seconds_for_x_axis (cramph.plotters.gantt_chart_plotter.HistoryGanttChartPlotter property) V values() (cramph.state.State method) variable (cramph.exceptions.NodeStateVariableNotSerializableError attribute) (cramph.nodes_for_testing.NodeWritingAVariableOnStart attribute) variable_name (cramph.exceptions.UnknownConditionVariableError attribute) variables (cramph.compiled_tick.PassInput attribute) (cramph.node.TransitionCondition property) visible (cramph.plotters.plot_specs.NodePlotSpec attribute) visualize() (cramph.statechart.Statechart method) visualizer_classes() (cramph.plotters.interactive_graph.StatechartGraphVisualizer method) W wait_for_standstill() (cramph.executor.Pacer method) (cramph.executor.SteppedSimulationPacer method) wait_until_finished() (cramph.threaded_nodes.ThreadedNode method) watched_node (cramph.nodes_for_testing.NodeObservingAnObservationPredicate attribute) (cramph.nodes_for_testing.NodeObservingAPredicate attribute) (cramph.nodes_for_testing.NodeObservingLastObservation attribute) (cramph.nodes_for_testing.NodeObservingTheOppositeOfAnObservationPredicate attribute) wheelEvent() (cramph.plotters.statechart_inspector.SvgGrahpicsView method) when_all_true() (cramph.node.CancelStatechart class method) (cramph.node.EndStatechart class method) when_any_true() (cramph.node.CancelStatechart class method) (cramph.node.EndStatechart class method) when_failed() (cramph.node.CancelStatechart class method) (cramph.node.EndStatechart class method) when_false() (cramph.node.EndStatechart class method) when_held_still() (cramph.compiler.StatechartCompiler method) when_true() (cramph.node.CancelStatechart class method) (cramph.node.EndStatechart class method) wire_monitor() (cramph.composites.MonitoredCompositeNode method) (cramph.composites.PausedUntilTrue method) (cramph.composites.PausedWhileTrue method) (cramph.composites.StoppedWhenTrue method) with_extensions() (cramph.context.StatechartContext class method) world (cramph.context.StatechartContext attribute) (cramph.node.StatechartNode property) world_entity (cramph.nodes_for_testing.NodeReferringToAWorldEntity attribute) WorldVisualization (class in cramph.visualization) writer (cramph.nodes_for_testing.NodeObservingAWrittenVariable attribute) X x_width_per_tick (cramph.plotters.gantt_chart_plotter.HistoryGanttChartPlotter property)