Options
All
  • Public
  • Public/Protected
  • All
Menu

Represents a flag class, and how it changes on element-change operations.

Hierarchy

  • FlagClass

Index

Constructors

Properties

Methods

Constructors

constructor

Properties

elementChanges

elementChanges: ElementChange[]

Specifies how a flag changes when a certain element-change operation is applied.

Methods

push

  • push(newClassNumber: number, generators: number[]): void

Generated using TypeDoc, the 1/31/2021 at 6:18:55 AM