Skip to content

Interface: ThomasStudyRequest

@kortexya/reasoninglayer


@kortexya/reasoninglayer / ThomasStudyRequest

Defined in: src/types/thomas.ts:231

Study a Thomas network.

optional interventions?: InterventionDto[]

Defined in: src/types/thomas.ts:268

Interventions to apply — a target silenced, held or capped.

Applied AFTER the parameters are identified from the untreated model. With any given, ThomasStudyResponse.pathways and ThomasStudyResponse.reachable describe the TREATED network, and ThomasStudyResponse.effect carries the difference.


smb: string

Defined in: src/types/thomas.ts:239

The model, in SMBioNet/TotemBioNet .smb syntax.

VAR declares each variable’s range and REG the multiplexes; ENV_VAR, PARA, INIT, CTL, FAIRCTL and HOARE are optional.


optional state?: Record<string, number>

Defined in: src/types/thomas.ts:249

The state to report pathways from, as variable name to level.

A variable left out rests at zero. Omit the whole map and the model’s INIT block decides; failing that, every variable starts at zero.

The keys are the model’s own variable names and reach the engine verbatim.


optional walk?: boolean

Defined in: src/types/thomas.ts:258

Also walk the dynamics and return the states and steps reached.

Bounded — read ReachableDto.truncated on the answer.

false