Index

ApolloRoutes (src/.../app-routing.module.ts)
Canvas (src/.../canvas.ts)
Drag (src/.../drag.ts)
DraggableLink (src/.../draggable-link.ts)
Feedback (src/.../model-checker-request.ts)
FileType (src/.../export-graph.bottom-sheet.ts)
GraphHost (src/.../canvas.ts)
GraphSource (src/.../graph.collection.ts)
Language (src/.../state.ts)
LinkSelection (src/.../link-selection.ts)
NodeDragEvent (src/.../drag.ts)
NodeSelection (src/.../node-selection.ts)
Simulation (src/.../simulation.ts)
State (src/.../http-progress.dialog.ts)
Theme (src/.../state.ts)
Zoom (src/.../zoom.ts)

src/app/app-routing.module.ts

ApolloRoutes

        ApolloRoute[]

src/app/utils/d3/canvas.ts

Canvas

    d3.Selection<SVGGElement | undefined |  | undefined>

GraphHost

    d3.Selection<HTMLDivElement | undefined |  | undefined>

src/app/utils/d3/drag.ts

Drag

        d3.DragBehavior<SVGGElement | D3Node | D3Node>

NodeDragEvent

        D3DragEvent<SVGCircleElement | D3Node | D3Node>

src/app/utils/d3/draggable-link.ts

DraggableLink

    d3.Selection<SVGPathElement | undefined |  | undefined>

src/app/model/api/model-checker-request.ts

Feedback

Feedback level of the ModelChecking algorithm. 'full' includes redundant checks. 'minimal' only includes the result.

    "full" | "relevant" | "minimal"

src/app/bottom-sheets/export-graph/export-graph.bottom-sheet.ts

FileType

    "json" | "yml"

src/app/model/domain/graph.collection.ts

GraphSource

    "graphCache" | "graphStore"

src/app/store/state.ts

Language

Type of available languages.

    "en" | "de"

Theme

Type of available themes.

    "dark-theme" | "light-theme"

src/app/utils/d3/link-selection.ts

LinkSelection

        d3.Selection<SVGGElement | D3Link | SVGGElement | undefined>

src/app/utils/d3/node-selection.ts

NodeSelection

        d3.Selection<SVGGElement | D3Node | SVGGElement | undefined>

src/app/utils/d3/simulation.ts

Simulation

        d3.Simulation<D3Node | D3Link>

src/app/dialogs/http-progress/http-progress.dialog.ts

State

    "sending" | "querying" | "fetching"

src/app/utils/d3/zoom.ts

Zoom

        d3.ZoomBehavior<SVGSVGElement | undefined>