Type Alias TVariableManagerSnapshot<TVar>

type TVariableManagerSnapshot<
    TVar extends TCorePropositionalVariable = TCorePropositionalVariable,
> = {
    config?: TLogicEngineOptions;
    variables: TVar[];
}

Type Parameters

TVar extends TCorePropositionalVariable = TCorePropositionalVariable

Index

Properties

config? variables

Properties

`Optional`config

config?: TLogicEngineOptions

variables

variables: TVar[]