Options
All
  • Public
  • Public/Protected
  • All
Menu

Class Graph

Hierarchy

  • Graph

Index

Constructors

constructor

Properties

eventsHandlers

eventsHandlers: Record<EventID, function>

generator

generator: GeneratorNode

generatorEdge

generatorEdge: GeneratorEdge

stateIdToStateNode

stateIdToStateNode: Map<StateID, StateNode>

svg

transitionIdToTransitionEdge

transitionIdToTransitionEdge: Map<TransitionID, TransitionEdge>

turingMachine

turingMachine: TuringMachine

viewBox

viewBox: object

Type declaration

  • height: number
  • width: number
  • x: number
  • y: number

Static sizeNode

sizeNode: number = parseInt(getComputedStyle(document.documentElement).getPropertyValue('--node-size'))

Methods

addEdge

addNode

  • addNode(state: State): void

deleteEdge

deleteNode

  • deleteNode(state: State): void

editEdge

editFinalNode

  • editFinalNode(state: State, isFinal: boolean): void

editInitialNode

  • editInitialNode(state: State, isInitial: boolean): void

editNode

  • editNode(state: State): void

getEdgesGroup

  • getEdgesGroup(): Selection<SVGGElement, any, any, any>
  • Returns Selection<SVGGElement, any, any, any>

    the group containing the edges.

getNodesGroup

  • getNodesGroup(): Selection<SVGGElement, any, any, any>
  • Returns Selection<SVGGElement, any, any, any>

    the group containing the nodes.

getSVG

getSVGElement

  • getSVGElement(): SVGSVGElement

init

  • init(): void

moveNode

  • moveNode(state: State, x: number, y: number): void

newCurrentNode

  • newCurrentNode(state: State): void

removeHandler

  • removeHandler(): void

resize

  • resize(): void

scaleViewBoxTo

  • scaleViewBoxTo(width: number, height: number): void

setEdgeCurved

setResetViewBoxButton

  • setResetViewBoxButton(): void

setupListeners

  • setupListeners(): void

setupUI

  • setupUI(): void

translateViewBoxBy

  • translateViewBoxBy(dx: number, dy: number): void

updateViewBox

  • updateViewBox(): void

Generated using TypeDoc