towards cloning

[satune.git] / src / AST / function.h

diff --git a/src/AST/function.h b/src/AST/function.h
index 2cd5ccae7f7ef699cfa2b5c3ea080e11ac912069..e00afd30b44b692c8dbb387f660c5dac0e77fb7e 100644 (file)
--- a/src/AST/function.h
+++ b/src/AST/function.h
@@ -11,8 +11,9 @@ class Function {
 public:
        Function(FunctionType _type) : type(_type) {}
        FunctionType type;
-       MEMALLOC;
        virtual ~Function() {}
+       virtual Function * clone(CSolver * solver, CloneMap *map);
+       MEMALLOC;
 };
 
 class FunctionOperator : public Function {
@@ -24,6 +25,7 @@ public:
        FunctionOperator(ArithOp op, Set **domain, uint numDomain, Set *range, OverFlowBehavior overflowbehavior);
        uint64_t applyFunctionOperator(uint numVals, uint64_t *values);
        bool isInRangeFunction(uint64_t val);
+       Function * clone(CSolver * solver, CloneMap *map);
        MEMALLOC;
 };
 
@@ -32,6 +34,7 @@ public:
        Table *table;
        UndefinedBehavior undefBehavior;
        FunctionTable (Table *table, UndefinedBehavior behavior);
+       Function * clone(CSolver * solver, CloneMap *map);
        MEMALLOC;
 };