Overview Schemas Index

PARAMETERIZATION_SCHEMA         

          identification: -

REFERENCE FROM ISO13584_GENERIC_EXPRESSIONS_SCHEMA (
          environment,
          generic_variable,
          variable_semantics
);
REFERENCE FROM MATHEMATICAL_FUNCTIONS_SCHEMA (
          finite_space,
          maths_number,
          maths_value,
          maths_variable,
          member_of,
          positive_integer
);
REFERENCE FROM REPRESENTATION_SCHEMA (
          representation_item,
          using_representations
);
REFERENCE FROM SUPPORT_RESOURCE_SCHEMA (
          identifier,
          label,
          text
);
REFERENCE FROM VARIATIONAL_REPRESENTATION_SCHEMA (
          variational_representation_item
);

Iso13584_generic_expressions_schema          
          er environment,
          ei generic_expression,
          ei generic_literal,
          er generic_variable,
          ei simple_generic_expression,
          er variable_semantics
Mathematical_functions_schema          
          di atom_based_tuple,
          di atom_based_value,
          di elementary_function_enumerators,
          di elementary_space_enumerators,
          di extension_options,
          er finite_space,
          di lower_upper,
          di maths_atom,
          di maths_binary,
          di maths_boolean,
          di maths_enum_atom,
          di maths_integer,
          di maths_logical,
          dr maths_number,
          di maths_real,
          di maths_simple_atom,
          ei maths_space,
          di maths_string,
          di maths_tuple,
          dr maths_value,
          er maths_variable,
          fr member_of,
          di nonnegative_integer,
          di open_closed,
          di ordering_type,
          dr positive_integer,
          di repackage_options,
          di space_constraint_type,
          di symmetry_type
Representation_schema          
          ei founded_item,
          di founded_item_select,
          ei representation,
          ei representation_context,
          er representation_item,
          fr using_representations
Support_resource_schema          
          dr identifier,
          dr label,
          dr text
Variational_representation_schema          
          er variational_representation_item

Defined types

          Attribute_identifier

Entities

          Bound_parameter_environment
          Bound_variational_parameter
          Fixed_instance_attribute_set
          Generated_finite_numeric_space
          Instance_attribute_reference
          Unbound_parameter_environment
          Unbound_variational_parameter
          Unbound_variational_parameter_semantics
          Variational_parameter

Functions

          Make_numeric_set
          Validate_attribute_id

Interfacing Schemas

          R Explicit_constraint_schema  
          R Variational_representation_schema