PXP Reference : Pxp_dtd.dtd_notation

# Class Pxp_dtd.dtd_notation

    class dtd_notation : string -> Pxp_core_types.I.ext_id -> Pxp_core_types.I.rep_encoding -> object .. end

A single notation declaration that can be added to the DTD object. Notation declarations are created by

     new dtd_notation a_name an_external_ID init_encoding

This creates a new dtd_notation object with the given name and the given external ID.

    method name : string

    method ext_id : Pxp_core_types.I.ext_id

    method encoding : Pxp_core_types.I.rep_encoding