abstractions

parent ed64537e
......@@ -17,10 +17,12 @@ class AbstractField {
}
};
template <typename Field, typename T> // T is the CRTP parameter
// T is the CRTP parameter
// Field is a concrete field
template <typename Field, typename T>
class AbstractFieldElement {
static_assert(std::is_base_of<AbstractField<Field>, Field>::value,
"Field should be derived from AbstractField");
"Field should be derived from AbstractField");
public:
typedef Field Parent;
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment