set_disjunction_permission.h 4.85 KB