Generalize ConstLocalFunction to any Grid Function
These patches generalize ConstLocalFunction to arbitrary grid functions. As a detail, it renames the old ConstLocalFunction to ConstDiscreteLocalFunction.
These patches generalize ConstLocalFunction to arbitrary grid functions. As a detail, it renames the old ConstLocalFunction to ConstDiscreteLocalFunction.