parameters: (world, pre)
return_statement: return False
docstring: Checks if there is any way that this precondition can be satisfied, ever
docstring_summary: Checks if there is any way that this precondition can be satisfied, ever
docstring_tokens: Checks if there is any way that this precondition can be satisfied ever
function: def precondition_reachable(world, pre):
      """ Checks if there is any way that this precondition can be satisfied, ever """
      if pre.reached(world):
          return True
  
      for key,action in world.actions.iteritems():
          for ground in action.grounds:
              for p in ground.post:
                  if strong_match(p, pre):
                      return True
      return False
function_tokens: def precondition_reachable ( world , pre ) : if pre . reached ( world ) : return True for key , action in world . actions . iteritems ( ) : for ground in action . grounds : for p in ground . post : if strong_match ( p , pre ) : return True return False