5 #include "serializer.h"
7 FunctionOperator::FunctionOperator(ArithOp _op, Set **domain, uint numDomain, Set *_range, OverFlowBehavior _overflowbehavior) :
8 Function(OPERATORFUNC),
10 domains(domain, numDomain),
12 overflowbehavior(_overflowbehavior) {
15 FunctionTable::FunctionTable (Table *_table, UndefinedBehavior _undefBehavior) :
18 undefBehavior(_undefBehavior) {
21 uint64_t FunctionOperator::applyFunctionOperator(uint numVals, uint64_t *values) {
25 return values[0] + values[1];
28 return values[0] - values[1];
35 bool FunctionOperator::isInRangeFunction(uint64_t val) {
36 return range->exists(val);
39 Function *FunctionOperator::clone(CSolver *solver, CloneMap *map) {
40 Function *f = (Function *) map->get(this);
44 Set *array[domains.getSize()];
45 for (uint i = 0; i < domains.getSize(); i++) {
46 array[i] = domains.get(i)->clone(solver, map);
48 Set *rcopy = range->clone(solver, map);
49 f = solver->createFunctionOperator(op, array, domains.getSize(), rcopy, overflowbehavior);
54 Function *FunctionTable::clone(CSolver *solver, CloneMap *map) {
55 Function *f = (Function *) map->get(this);
59 Table *tcopy = table->clone(solver, map);
60 f = solver->completeTable(tcopy, undefBehavior);
65 Set * FunctionTable::getRange() {
66 return table->getRange();
69 void FunctionTable::serialize(Serializer* serializer){
70 if(serializer->isSerialized(this))
72 serializer->addObject(this);
74 table->serialize(serializer);
76 ASTNodeType type = FUNCTABLETYPE;
77 serializer->mywrite(&type, sizeof(ASTNodeType));
78 FunctionTable* This = this;
79 serializer->mywrite(&This, sizeof(FunctionTable*));
80 serializer->mywrite(&table, sizeof(Table *));
81 serializer->mywrite(&undefBehavior, sizeof(UndefinedBehavior));
85 void FunctionOperator::serialize(Serializer* serializer){
86 if(serializer->isSerialized(this))
88 serializer->addObject(this);
90 uint size = domains.getSize();
91 for(uint i=0; i<size; i++){
92 Set* domain = domains.get(i);
93 domain->serialize(serializer);
95 range->serialize(serializer);
97 ASTNodeType nodeType = FUNCOPTYPE;
98 serializer->mywrite(&nodeType, sizeof(ASTNodeType));
99 FunctionOperator* This = this;
100 serializer->mywrite(&This, sizeof(FunctionOperator*));
101 serializer->mywrite(&op, sizeof(ArithOp));
102 serializer->mywrite(&size, sizeof(uint));
103 for(uint i=0; i<size; i++){
104 Set *domain = domains.get(i);
105 serializer->mywrite(&domain, sizeof(Set *));
107 serializer->mywrite(&range, sizeof(Set *));
108 serializer->mywrite(&overflowbehavior, sizeof(OverFlowBehavior));