| 36 | /// Convert a \a DynamicStack<T,A> into an \a ArgArray<T> |
| 37 | template <class T, class A> |
| 38 | ArgArray<T> |
| 39 | dynamicStackToArgArray(const Support::DynamicStack<T,A>& s) { |
| 40 | ArgArray<T> a(s.entries()); |
| 41 | for (int i = 0 ; i < s.entries() ; ++i) { |
| 42 | a[i] = s[i]; |
| 43 | } |
| 44 | return a; |
| 45 | } |
| 46 | |
| 47 | template<class View> |
| 48 | SymmetryImp<View>::~SymmetryImp(void) {} |