Uses of Interface
eu.bandm.tools.ops.PreimageMap

Packages that use PreimageMap

Package	Description
eu.bandm.tools.d2d2.base	D2d allows to write valid XML documents directly in the creative flow of authoring, with minimum typographic noise.
eu.bandm.tools.ops	Types for fundamental mathematical structures, plus libraries of respective constants and operators.
eu.bandm.tools.tdom	Generates typed models of XML documents, see meta-tools TDOM user documentation.

Uses of PreimageMap in eu.bandm.tools.d2d2.base

Fields in eu.bandm.tools.d2d2.base declared as PreimageMap

Modifier and Type	Field	Description
protected final PreimageMap<Definition,String>	UserdocUninstantiated.defs2tag	Maps every found definition to its tag String.
protected final PreimageMap<Definition,String>	UserdocUninstantiated.defs2tag_global	Sum of UserdocUninstantiated.defs2tag over all modules.

Uses of PreimageMap in eu.bandm.tools.ops

Classes in eu.bandm.tools.ops that implement PreimageMap

Modifier and Type	Class	Description
class	AbstractPreimageMap<A,B>	Generic implementation DOCME
class	HashPreimageMap<A,B>	DOCME

Uses of PreimageMap in eu.bandm.tools.tdom

Fields in eu.bandm.tools.tdom declared as PreimageMap

Modifier and Type	Field	Description
(package private) final PreimageMap<DTD.PI,String>	PackageTemplate.allDocPIs	Maps PI to the docPiKey, for detecting ill-formed.