Struct WorldState 

pub struct WorldState {
    pub drs: Drs,
    /* private fields */
}

The unified discourse state that persists across sentences.

Fields

drs: Drs

The global DRS (box hierarchy for scope tracking)

Implementations

impl WorldState

pub fn new() -> Self

pub fn next_event_var(&mut self) -> String

Generate next event variable (e1, e2, e3…)

pub fn event_history(&self) -> &[String]

Get event history for temporal ordering

pub fn next_reference_time(&mut self) -> String

Generate next reference time (r1, r2, r3…)

pub fn current_reference_time(&self) -> String

Get current reference time

pub fn add_time_constraint( &mut self, left: String, relation: TimeRelation, right: String, )

Add a temporal constraint

pub fn time_constraints(&self) -> &[TimeConstraint]

Get all time constraints

pub fn clear_time_constraints(&mut self)

Clear time constraints (for sentence boundary reset if needed)

pub fn end_sentence(&mut self)

Mark a sentence boundary - collect telescope candidates

pub fn in_discourse_mode(&self) -> bool

Check if we’re in discourse mode (multi-sentence context) In discourse mode, unresolved pronouns should error instead of deictic fallback

pub fn telescope_candidates(&self) -> &[TelescopeCandidate]

Get telescope candidates from previous sentence

pub fn resolve_via_telescope( &mut self, gender: Gender, ) -> Option<TelescopeCandidate>

Try to resolve a pronoun via telescoping

pub fn set_ownership(&mut self, noun_class: Symbol, state: OwnershipState)

Set ownership state for a referent by noun class

pub fn get_ownership(&self, noun_class: Symbol) -> Option<OwnershipState>

Get ownership state for a referent by noun class

pub fn set_ownership_by_var(&mut self, var: Symbol, state: OwnershipState)

Set ownership state for a referent by variable name

pub fn get_ownership_by_var(&self, var: Symbol) -> Option<OwnershipState>

Get ownership state for a referent by variable name

pub fn enter_modal_context(&mut self, is_epistemic: bool, force: f32)

Enter a modal context (e.g., “might”, “would”, “could”)

pub fn exit_modal_context(&mut self)

Exit the current modal context

pub fn in_modal_context(&self) -> bool

Check if we’re currently in a modal context

pub fn has_prior_modal_context(&self) -> bool

Check if there’s a prior modal context for subordination

pub fn can_subordinate(&self) -> bool

Check if current modal can subordinate to prior context “would” can continue a “might” world

pub fn clear(&mut self)

Clear the world state (reset for new discourse)

Trait Implementations

impl Clone for WorldState

fn clone(&self) -> WorldState

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for WorldState

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for WorldState

fn default() -> Self

Returns the “default value” for a type.