docs: def state_scope(self, state_fluents: Sequence[tf.Tensor]) -> Dict[str, TensorFluent]:
          '''Returns a partial scope with current state-fluents.
  
          Args:
              state_fluents (Sequence[tf.Tensor]): The current state fluents.
  
          Returns:
              A mapping from state fluent names to :obj:`rddl2tf.fluent.TensorFluent`.
          '''
          return dict(zip(self.rddl.domain.state_fluent_ordering, state_fluents))