impl dtd models cmnode cmnode type ftype type isnullable type ftype cmstateset firstpos ffirstpos ffirstpos cmstateset fmaxstates calcfirstpos ffirstpos ffirstpos cmstateset lastpos flastpos flastpos cmstateset fmaxstates calclastpos flastpos flastpos setfollowpos cmstateset settoadopt ffollowpos settoadopt setmaxstates maxstates fmaxstates maxstates iscompactedforupa fcompactedforupa setiscompactupamodel fcompactedforupa calcfirstpos cmstateset calclastpos cmstateset ftype cmstateset ffirstpos cmstateset ffollowpos cmstateset flastpos fmaxstates fcompactedforupa