expressionPredicate.h

Go to the documentation of this file.

// -*- Mode: C++; tab-width: 2; -*-
// vi: set ts=2:
//
// $Id: expressionPredicate.h,v 1.12 2005/10/23 12:02:18 oliver Exp $
//

#ifndef BALL_KERNEL_EXPRESSIONPREDICATE_H
#define BALL_KERNEL_EXPRESSIONPREDICATE_H

#ifndef BALL_KERNEL_ATOM_H
# include <BALL/KERNEL/atom.h>
#endif

namespace BALL
{
  class BALL_EXPORT ExpressionPredicate
    : public UnaryPredicate<Atom>
  {
    public:

    BALL_CREATE(ExpressionPredicate)

    

    ExpressionPredicate();
      
    ExpressionPredicate(const ExpressionPredicate& predicate);

    ExpressionPredicate(const String& argument);

    virtual ~ExpressionPredicate();



    ExpressionPredicate& operator = (const ExpressionPredicate& predicate);

    virtual void clear();



    bool operator == (const ExpressionPredicate& predicate) const;



    virtual bool operator () (const Atom& atom) const;

    virtual void setArgument(const String& argument);

    const String& getArgument() const;

    
    protected:
    
    /*_ The argument of the predicate 
     */
    String argument_;
  };
}

#endif // BALL_KERNEL_EXPRESSIONPREDICATE_H