Slot: evict_equation

Optional reverse recurrence for a sliding-window reduction: the per-step downdate that removes the sample leaving the window, the inverse of equation (which folds an arriving sample in). Only meaningful when equation_type: recurrence on an observation’s auxiliary dynamics. When present, the observer is a windowed reduction — its state is maintained by equation (add) and evict_equation (evict) and rebuilt exactly from the window on resync — rather than a cumulative accumulator over the whole trajectory (equation alone). Absent for ordinary state variables and cumulative reductions.

URI: tvbo:slot/evict_equation

Applicable Classes

Name Description Modifies Slot
StateVariable no
FieldStateVariable no

Properties

Type and Range

Property Value
Range Equation
Domain Of StateVariable

Cardinality and Requirements

Property Value

Slot Characteristics

Property Value
Owner StateVariable

Identifier and Mapping Information

Schema Source

  • from schema: https://w3id.org/tvbo

Mappings

Mapping Type Mapped Value
self tvbo:evict_equation
native tvbo:evict_equation

LinkML Source

name: evict_equation
description: 'Optional reverse recurrence for a **sliding-window** reduction: the
  per-step downdate that removes the sample leaving the window, the inverse of ``equation``
  (which folds an arriving sample in). Only meaningful when ``equation_type: recurrence``
  on an observation''s auxiliary ``dynamics``. When present, the observer is a windowed
  reduction — its state is maintained by ``equation`` (add) and ``evict_equation``
  (evict) and rebuilt exactly from the window on resync — rather than a cumulative
  accumulator over the whole trajectory (``equation`` alone). Absent for ordinary
  state variables and cumulative reductions.'
from_schema: https://w3id.org/tvbo
rank: 1000
owner: StateVariable
domain_of:
- StateVariable
range: Equation