def state_cpfs(self) -> List[CPF]:
        '''Returns list of state-fluent CPFs.'''
        _, cpfs = self.cpfs
        state_cpfs = []
        for cpf in cpfs:
            name = utils.rename_next_state_fluent(cpf.name)
            if name in self.state_fluents:
                state_cpfs.append(cpf)
        state_cpfs = sorted(state_cpfs, key=lambda cpf: cpf.name)
        return state_cpfs
def state_cpfs ( self ) -> List [ CPF ] : _ , cpfs = self . cpfs state_cpfs = [ ] for cpf in cpfs : name = utils . rename_next_state_fluent ( cpf . name ) if name in self . state_fluents : state_cpfs . append ( cpf ) state_cpfs = sorted ( state_cpfs , key = lambda cpf : cpf . name ) return state_cpfs
Returns list of state-fluent CPFs.