deduce_domain.cpp 7.4 KB