Member predicate XMLDTD::isPublic

Holds if this DTD is public.

predicate isPublic()