Just like filterLaws but recursive.
filterLaws
Regular expression will be matched vs. law name.
Input LawSet, but includes only laws with names matching re, with all required LawSets also filtered.
re
LawSet to filter.
Just like
filterLaws
but recursive.