18 using namespace flopc;
25 ((D->S1(I1)*D->S2(I2)*D->S3(I3)*D->S4(I4)*D->S5(I5)).such_that(B)).Forall(
this);
30 return operator=(
Constant(const_cast<DataRef*>(&r)));
34 evaluate_lhs(C->evaluate());
44 int i1 = D->S1.check(I1->evaluate());
45 int i2 = D->S2.check(I2->evaluate());
46 int i3 = D->S3.check(I3->evaluate());
47 int i4 = D->S4.check(I4->evaluate());
48 int i5 = D->S5.check(I5->evaluate());
50 int i = D->f(i1,i2,i3,i4,i5);
61 int i1 = D->S1.checkStage(I1->evaluate());
62 int i2 = D->S2.checkStage(I2->evaluate());
63 int i3 = D->S3.checkStage(I3->evaluate());
64 int i4 = D->S4.checkStage(I4->evaluate());
65 int i5 = D->S5.checkStage(I5->evaluate());
68 if (i1>stage) stage = i1;
69 if (i2>stage) stage = i2;
70 if (i3>stage) stage = i3;
71 if (i4>stage) stage = i4;
72 if (i5>stage) stage = i5;
75 return stage+stochastic;
80 int i1 = D->S1.check(I1->evaluate());
81 int i2 = D->S2.check(I2->evaluate());
82 int i3 = D->S3.check(I3->evaluate());
83 int i4 = D->S4.check(I4->evaluate());
84 int i5 = D->S5.check(I5->evaluate());
86 int i = D->f(i1,i2,i3,i4,i5);
98 cout<<
" "<<v[f(i1.evaluate(),i2.evaluate(),i3.evaluate(),
99 i4.evaluate(),i5.evaluate())] << endl;
104 ((S1)(i1)*(S2)(i2)*(S3)(i3)*(S4)(i4)*(S5)(i5)).Forall(
this);
void evaluate_lhs(double v) const
static MP_set & getEmpty()
gets the distinct 'empty' MP_set.
const DataRef & operator=(const DataRef &r)
static double outOfBoundData
const int outOfBound
Distinct return value on conditions where an index goes out of bounds.
Reference to a set of data.
Reference counted class for all "boolean" types of data.This contains counters to ConstantBase pointe...
DataRef & such_that(const MP_boolean &b)
Reference counted class for all "constant" types of data.
void display(std::string s="")
For displaying data in a human readable format.