Class VariableManager<TVar>

Registry for propositional variables within an argument, shared across all premises.

Enforces uniqueness of both variable IDs and symbols. This class is an internal building block owned by ArgumentEngine and passed by reference to each PremiseEngine. It is not part of the public API.

Type Parameters

TVar extends TCorePropositionalVariable = TCorePropositionalVariable

Index

Constructors

constructor

Methods

addVariable getVariable getVariableBySymbol hasVariable removeVariable renameVariable snapshot toArray updateVariable validate fromSnapshot

Constructors

constructor

new VariableManager<
    TVar extends
        | {
            argumentId: string;
            argumentVersion: number;
            checksum: string;
            claimId: string;
            claimVersion: number;
            id: string;
            symbol: string;
        }
        | {
            argumentId: string;
            argumentVersion: number;
            boundArgumentId: string;
            boundArgumentVersion: number;
            boundPremiseId: string;
            checksum: string;
            id: string;
            symbol: string;
        } = | {
        argumentId: string;
        argumentVersion: number;
        checksum: string;
        claimId: string;
        claimVersion: number;
        id: string;
        symbol: string;
    }
    | {
        argumentId: string;
        argumentVersion: number;
        boundArgumentId: string;
        boundArgumentVersion: number;
        boundPremiseId: string;
        checksum: string;
        id: string;
        symbol: string;
    },
>(
    config?: TLogicEngineOptions,
): VariableManager<TVar>
Type Parameters
- TVar extends
      | {
          argumentId: string;
          argumentVersion: number;
          checksum: string;
          claimId: string;
          claimVersion: number;
          id: string;
          symbol: string;
      }
      | {
          argumentId: string;
          argumentVersion: number;
          boundArgumentId: string;
          boundArgumentVersion: number;
          boundPremiseId: string;
          checksum: string;
          id: string;
          symbol: string;
      } =
      | {
          argumentId: string;
          argumentVersion: number;
          checksum: string;
          claimId: string;
          claimVersion: number;
          id: string;
          symbol: string;
      }
      | {
          argumentId: string;
          argumentVersion: number;
          boundArgumentId: string;
          boundArgumentVersion: number;
          boundPremiseId: string;
          checksum: string;
          id: string;
          symbol: string;
      }
Parameters
- Optionalconfig: TLogicEngineOptions
Returns VariableManager<TVar>
- Defined in src/lib/core/variable-manager.ts:40

Methods

addVariable

addVariable(variable: TVar): void
Registers a variable.
Parameters
- variable: TVar
Returns void
Throws
If the symbol is already in use.

Throws
If the ID already exists.
- Defined in src/lib/core/variable-manager.ts:59

getVariable

getVariable(variableId: string): TVar | undefined
Returns the variable with the given ID, or undefined if not found.
Parameters
- variableId: string
Returns TVar | undefined
- Defined in src/lib/core/variable-manager.ts:94

getVariableBySymbol

getVariableBySymbol(symbol: string): TVar | undefined
Returns the variable with the given symbol, or undefined if not found.
Parameters
- symbol: string
Returns TVar | undefined
- Defined in src/lib/core/variable-manager.ts:99

hasVariable

hasVariable(variableId: string): boolean
Returns true if a variable with the given ID is registered.
Parameters
- variableId: string
Returns boolean
- Defined in src/lib/core/variable-manager.ts:89

removeVariable

removeVariable(variableId: string): TVar | undefined
Removes a variable by ID.
Parameters
- variableId: string
Returns TVar | undefined
The removed variable, or undefined if not found.
- Defined in src/lib/core/variable-manager.ts:77

renameVariable

renameVariable(variableId: string, newSymbol: string): void
Changes the symbol of an existing variable.
Parameters
- variableId: string
- newSymbol: string
Returns void
Throws
If the variable does not exist.

Throws
If the new symbol is already in use by a different variable.
- Defined in src/lib/core/variable-manager.ts:111

snapshot

snapshot(): TVariableManagerSnapshot<TVar>
Returns a serializable snapshot of the current state.

Returns TVariableManagerSnapshot<TVar>
- Defined in src/lib/core/variable-manager.ts:240

toArray

toArray(): TVar[]
Returns all registered variables sorted by ID for deterministic output.

Returns TVar[]
- Defined in src/lib/core/variable-manager.ts:47

updateVariable

updateVariable(variableId: string, updates: Partial<TVar>): TVar | undefined
Updates fields on an existing variable. Handles symbol updates via the symbol index; all other provided fields are spread onto the stored variable.
Parameters
- variableId: string
- updates: Partial<TVar>
Returns TVar | undefined
The updated variable, or undefined if not found.

Throws
If the new symbol is already in use by a different variable.
- Defined in src/lib/core/variable-manager.ts:138

validate

validate(): TInvariantValidationResult
Validates all managed variables, collecting every invariant violation. Checks: schema conformance, duplicate IDs, duplicate symbols, and checksum integrity.

Returns TInvariantValidationResult
- Defined in src/lib/core/variable-manager.ts:167

`Static`fromSnapshot

fromSnapshot<
    TVar extends
        | {
            argumentId: string;
            argumentVersion: number;
            checksum: string;
            claimId: string;
            claimVersion: number;
            id: string;
            symbol: string;
        }
        | {
            argumentId: string;
            argumentVersion: number;
            boundArgumentId: string;
            boundArgumentVersion: number;
            boundPremiseId: string;
            checksum: string;
            id: string;
            symbol: string;
        } = | {
        argumentId: string;
        argumentVersion: number;
        checksum: string;
        claimId: string;
        claimVersion: number;
        id: string;
        symbol: string;
    }
    | {
        argumentId: string;
        argumentVersion: number;
        boundArgumentId: string;
        boundArgumentVersion: number;
        boundPremiseId: string;
        checksum: string;
        id: string;
        symbol: string;
    },
>(
    snapshot: TVariableManagerSnapshot<TVar>,
): VariableManager<TVar>
Creates a new VariableManager from a previously captured snapshot.
Type Parameters
- TVar extends
      | {
          argumentId: string;
          argumentVersion: number;
          checksum: string;
          claimId: string;
          claimVersion: number;
          id: string;
          symbol: string;
      }
      | {
          argumentId: string;
          argumentVersion: number;
          boundArgumentId: string;
          boundArgumentVersion: number;
          boundPremiseId: string;
          checksum: string;
          id: string;
          symbol: string;
      } =
      | {
          argumentId: string;
          argumentVersion: number;
          checksum: string;
          claimId: string;
          claimVersion: number;
          id: string;
          symbol: string;
      }
      | {
          argumentId: string;
          argumentVersion: number;
          boundArgumentId: string;
          boundArgumentVersion: number;
          boundPremiseId: string;
          checksum: string;
          id: string;
          symbol: string;
      }
Parameters
- snapshot: TVariableManagerSnapshot<TVar>
Returns VariableManager<TVar>
- Defined in src/lib/core/variable-manager.ts:255

Class VariableManager<TVar>

Type Parameters

Index

Constructors

Methods

Constructors

constructor

Type Parameters

Parameters

Returns VariableManager<TVar>

Methods

addVariable

Parameters

Returns void

Throws

Throws

getVariable

Parameters

Returns TVar | undefined

getVariableBySymbol

Parameters

Returns TVar | undefined

hasVariable

Parameters

Returns boolean

removeVariable

Parameters

Returns TVar | undefined

renameVariable

Parameters

Returns void

Throws

Throws

snapshot

Returns TVariableManagerSnapshot<TVar>

toArray

Returns TVar[]

updateVariable

Parameters

Returns TVar | undefined

Throws

validate

Returns TInvariantValidationResult

StaticfromSnapshot

Type Parameters

Parameters

Returns VariableManager<TVar>

Settings

On This Page

`Static`fromSnapshot