void Forall(const Functor *op) const
Special conditional operation on the domain.
Range over which some other constuct is defined.This is one of the main public interface classes...
static const MP_domain & getEmpty()
returns a reference to the "empty" set.