Previous Page Next Page Contents

Dom::BaseDomain -- the root of the domain hierarchy

Introduction

Dom::BaseDomain is the root of the domain hierarchy of the Dom package. Every domain of the package inherits from it.

Domain

Dom::BaseDomain()

Details

Categories

Cat::BaseCategory

Entries

create_dom

This domain entry is used to revive the domain when it is read from a binary MCode stream.

If this entry is present it is written to the MCode stream instead of the contents of the domain. When the stream is read it is used to create the domain.

If this entry does not exist all entries of the domain are written to the stream and read in later to create the domain.

Dom::BaseDomain defines "create_dom" to have the same value as the key of the domain, as stored in the entry "key". All domains of the Dom package inherit this entry, thus they must be created by the reader of the MCode stream by evaluating the expression stored in the key.

Method equal: test for mathematical equality

Method convert_to: convert element

Method TeX: generate TeX output

Method allAxioms: return all axioms

Method allCategories: return all categories

Method allEntries: return the names of all entries

Method allSuperDomains: return all super-domains

Method getAxioms: return axioms stated in the constructor

Method getCategories: return categories stated in the constructor

Method getSuperDomain: return super-domain stated in the constructor

Method hasProp: test for a certain property

Method info: prints short information about this domain

Method printMethods: prints out methods

Method subs: avoid substitution

Method subsex: avoid extended substitution

Method undefinedEntries: return missing entries

Method whichEntry: return the domain or category implementing an entry

Changes




Do you have questions or comments?


Copyright © SciFace Software GmbH & Co. KG 2000