Interface DerivationOptions

Controls bounded deterministic parallel rewriting.

interface DerivationOptions {
    cancellation?: CancellationToken;
    globalParameters?: Readonly<Record<string, SymbolParameter>>;
    includeHistory?: boolean;
    iterations: number;
    limits?: Partial<GenerationLimits>;
    observer?: GenerationObserver;
    random?: RandomSource;
    seed?: number;
    strict?: boolean;
    trace?: boolean;
}

Index

Properties

cancellation? globalParameters? includeHistory? iterations limits? observer? random? seed? strict? trace?

Properties

`Optional` `Readonly`cancellation

cancellation?: CancellationToken

`Optional` `Readonly`globalParameters

globalParameters?: Readonly<Record<string, SymbolParameter>>

`Optional` `Readonly`includeHistory

includeHistory?: boolean

`Readonly`iterations

iterations: number

`Optional` `Readonly`limits

limits?: Partial<GenerationLimits>

`Optional` `Readonly`observer

observer?: GenerationObserver

`Optional` `Readonly`random

random?: RandomSource

`Optional` `Readonly`seed

seed?: number

`Optional` `Readonly`strict

strict?: boolean

`Optional` `Readonly`trace

trace?: boolean