Provide a mappings from a string to a Domain and back.
Description
| Create a new DomainTable. The mapping from strings to domains is provided using keyword argument. For example, the default domain table is created as follows: Example {let public constant default-domain-table:DomainTable =
{DomainTable
bool = {StandardBoolDomain},
datetime = {StandardDateTimeDomain},
date = {StandardDateDomain},
time = {StandardTimeDomain},
int = {StandardIntDomain},
double = {StandardDoubleDomain},
int64 = {StandardInt64Domain},
string = {StandardStringDomain}
}
}
|
| HashTable to map a |
| HashTable to map a name to a |
| If name is known, return the corresponding |
| Return an iterator of all |
| Return the name of the first |
| If domain is known, return the corresponding name otherwise throw |
| Return an iterator of all of the name in this table. |
Create a new DomainTable. The mapping from strings to domains is provided using keyword argument. For example, the default domain table is created as follows:
Example
{let public constant default-domain-table:DomainTable =
{DomainTable
bool = {StandardBoolDomain},
datetime = {StandardDateTimeDomain},
date = {StandardDateDomain},
time = {StandardTimeDomain},
int = {StandardIntDomain},
double = {StandardDoubleDomain},
int64 = {StandardInt64Domain},
string = {StandardStringDomain}
}
}
HashTable to map a
HashTable to map a name to a
If name is known, return the corresponding
Description
Return an iterator of all
Return the name of the first
Description
If domain is known, return the corresponding name otherwise throw
Return an iterator of all of the name in this table.