BALL  1.5.0
expressionPredicate.h
Go to the documentation of this file.
1 // -*- Mode: C++; tab-width: 2; -*-
2 // vi: set ts=2:
3 //
4 // $Id: expressionPredicate.h,v 1.12 2005/10/23 12:02:18 oliver Exp $
5 //
6 
7 #ifndef BALL_KERNEL_EXPRESSIONPREDICATE_H
8 #define BALL_KERNEL_EXPRESSIONPREDICATE_H
9 
10 #ifndef BALL_KERNEL_ATOM_H
11 # include <BALL/KERNEL/atom.h>
12 #endif
13 
14 namespace BALL
15 {
26  : public UnaryPredicate<Atom>
27  {
28  public:
29 
31 
32 
35 
39 
43 
48  ExpressionPredicate(const String& argument);
49 
52  virtual ~ExpressionPredicate();
53 
55 
58 
61  ExpressionPredicate& operator = (const ExpressionPredicate& predicate);
62 
65  virtual void clear();
66 
68 
71 
74  bool operator == (const ExpressionPredicate& predicate) const;
75 
77 
80 
85  virtual bool operator () (const Atom& atom) const;
86 
90  virtual void setArgument(const String& argument);
91 
95  const String& getArgument() const;
96 
98 
99  protected:
100 
101  /*_ The argument of the predicate
102  */
103  String argument_;
104  };
105 }
106 
107 #endif // BALL_KERNEL_EXPRESSIONPREDICATE_H
BALL_EXPORT
#define BALL_EXPORT
Definition: COMMON/global.h:50
BALL::Atom
Definition: atom.h:90
BALL::String
Definition: string.h:57
BALL
Definition: constants.h:13
BALL::UnaryPredicate
Definition: CONCEPT/predicate.h:30
BALL::ExpressionPredicate
Definition: expressionPredicate.h:27
atom.h
BALL_CREATE
#define BALL_CREATE(name)
Definition: create.h:62