#ifndef cathlibcpp_hoistupp_H
#define cathlibcpp_hoistupp_H

// File:       hoistupp.h
// Author:     (c) Miles Sabin, 1997
// Purpose:    protocol class for hoisted unary predicates


#ifndef cathlibcpp_bool_H
#include "bool.h"
#endif

#ifndef cathlibcpp_config_H
#include "config.h"
#endif


class HoistUnaryPredicateProtocol
{
  public:

    // constructors
    HoistUnaryPredicateProtocol() {}
    virtual ~HoistUnaryPredicateProtocol();

    // accessors
    virtual bool operator()(void const* x) const = 0;
};

#endif
