1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
|
// -*- Mode: C++; tab-width: 2; -*-
// vi: set ts=2:
//
// $Id: expressionPredicate.C,v 1.6 2003/08/26 09:17:49 oliver Exp $
//
#include <BALL/KERNEL/expressionPredicate.h>
namespace BALL
{
ExpressionPredicate::ExpressionPredicate()
: UnaryPredicate<Atom>(),
argument_("")
{
}
ExpressionPredicate::ExpressionPredicate
(const ExpressionPredicate& predicate)
: UnaryPredicate<Atom>(predicate),
argument_(predicate.argument_)
{
}
ExpressionPredicate::ExpressionPredicate(const String& argument)
: UnaryPredicate<Atom>(),
argument_(argument)
{
}
ExpressionPredicate::~ExpressionPredicate()
{
clear();
}
ExpressionPredicate& ExpressionPredicate::operator = (const ExpressionPredicate& predicate)
{
UnaryPredicate<Atom>::operator = (predicate);
argument_ = predicate.argument_;
return *this;
}
void ExpressionPredicate::clear()
{
argument_ = "";
}
bool ExpressionPredicate::operator == (const ExpressionPredicate& predicate) const
{
return (argument_ == predicate.argument_);
}
bool ExpressionPredicate::operator () (const Atom& /* atom */) const
{
return true;
}
void ExpressionPredicate::setArgument(const String& args)
{
argument_ = args;
}
const String& ExpressionPredicate::getArgument() const
{
return argument_;
}
}
|
