Merge branch 'master' of ssh://demsky.eecs.uci.edu/home/git/constraint_compiler into...
[satune.git] / src / Encoders / functionencoding.cc
1 #include "functionencoding.h"
2
3 FunctionEncoding::FunctionEncoding(Element *function) :
4         type(FUNC_UNASSIGNED)
5 {
6         op.function = function;
7 }
8
9 FunctionEncoding::FunctionEncoding(Boolean *predicate) :
10         type(FUNC_UNASSIGNED)
11 {
12         op.predicate = predicate;
13 }
14
15 void FunctionEncoding::setFunctionEncodingType(FunctionEncodingType _type) {
16         type = _type;
17 }