code: def state_fluents(self) -> Dict[str, PVariable]:
          '''Returns state-fluent pvariables.'''
          return { str(pvar): pvar for pvar in self.pvariables if pvar.is_state_fluent() f state_fluents(self) -> Dict[str, PVariable]:
          '''Returns state-fluent pvariables.'''
          return { str(pvar): pvar for pvar in self.pvariables if pvar.is_state_fluent() }
docs: Returns state-fluent pvariables.