text: /*-------------------------------------------------------------------------
   *
   * predtest.h
   *	  prototypes for predtest.c
   *
   *
   * Portions Copyright (c) 1996-2014, PostgreSQL Global Development Group
   * Portions Copyright (c) 1994, Regents of the University of California
   *
   * src/include/optimizer/predtest.h
   *
   *-------------------------------------------------------------------------
   */
  #ifndef PREDTEST_H
  #define PREDTEST_H
  
  #include "nodes/primnodes.h"
  
  
  extern bool predicate_implied_by(List *predicate_list,
  					 List *restrictinfo_list);
  extern bool predicate_refuted_by(List *predicate_list,
  					 List *restrictinfo_list);
  
  #endif   /* PREDTEST_H */
  