parameters: (self, pre, post)
docstring: pre, post are expected to be ivy_interp.State objects with a
          self.concept_session.state = Or().universe
docstring_summary: pre, post are expected to be ivy_interp.State objects with a
          self.concept_session.state = Or().universe
docstring_tokens: pre post are expected to be ivy_interp . State objects with a self . concept_session . state = Or () . universe
function: def set_states(self, pre, post):
          """
          pre, post are expected to be ivy_interp.State objects with a
          self.concept_session.state = Or().universe
          """
          self.facts_list.options = []
          if pre is False:
              self.pre_state = (None, Or(), None)
          else:
              self.pre_state = (pre, pre.clauses.to_formula(), get_structure_concept_abstract_value(pre))
          if post is False:
              self.post_state = (None, Or(), None)
          else:
              self.post_state = (post, post.clauses.to_formula(), get_structure_concept_abstract_value(post))
          if pre is False:
              self.concept_session.replace_domain(self.concept_session.domain)
          else:
              self.structure_renaming = get_structure_renaming(pre, self.transitive_relations)
              self.concept_session.replace_domain(get_structure_concept_domain(pre))
function_tokens: def set_states ( self , pre , post ) : self . facts_list . options = [ ] if pre is False : self . pre_state = ( None , Or ( ) , None ) else : self . pre_state = ( pre , pre . clauses . to_formula ( ) , get_structure_concept_abstract_value ( pre ) ) if post is False : self . post_state = ( None , Or ( ) , None ) else : self . post_state = ( post , post . clauses . to_formula ( ) , get_structure_concept_abstract_value ( post ) ) if pre is False : self . concept_session . replace_domain ( self . concept_session . domain ) else : self . structure_renaming = get_structure_renaming ( pre , self . transitive_relations ) self . concept_session . replace_domain ( get_structure_concept_domain ( pre ) )