| 70 | return dsv[i]; |
| 71 | } |
| 72 | inline void |
| 73 | CpltAssignment::set(int i, const Gecode::FloatVal& val) { |
| 74 | assert((i>=0) && (i<n)); |
| 75 | dsv[i] = val; |
| 76 | } |
| 77 | inline |
| 78 | CpltAssignment::~CpltAssignment(void) { |
| 79 | delete [] dsv; |
no outgoing calls
no test coverage detected