Maths_boolean_variable

mathematical_functions_schema

ENTITY maths_boolean_variable
SUBTYPE OF (maths_variable, boolean_variable);
WHERE
WR1: subspace_of_es(SELF\maths_variable.values_space,es_booleans);
END_ENTITY; -- maths_boolean_variable

Entity data types and their attributes

generic_expression
-
simple_generic_expression
-
generic_variable
(INV) interpretation: environment FOR syntactic_representation;
maths_variable
values_space: maths_space;
name: label;
expression
-
boolean_expression
-
simple_boolean_expression
-
variable
-
boolean_variable
-
maths_boolean_variable
-

Users: by entity attributes

generic_expression
abstracted_expression_function.expr
application_defined_function.parameters
maths_value
applied_action_assignment.items
action_items
ds_action_items
syse_action_items
applied_action_method_assignment.items
action_method_items
condition_action_method_items
fbb_condition_action_method_items
parameter_value_select
applied_group_assignment.items
groupable_item
generic_expression_groupable_item
banded_matrix.default_entry
maths_value
basic_sparse_matrix.default_entry
maths_value
binary_generic_expression.operands
bound_variational_parameter.parameter_current_value
maths_value
constant_function.sole_output
maths_value
current_change_element_assignment.items
change_management_object
ap242_change_management_object
action_items
risk_action_items
risk_perception_source_item
rm_risk_perception_source_item
prgm_risk_perception_source_item
syse_risk_perception_source_item
definite_integral_expression.integrand
expression_denoted_function.expr
finite_function.pairs
maths_value
finite_space.members
maths_value
format_function.format_string
format_function.value_to_format
frozen_assignment.items
change_management_object
ap242_change_management_object
action_items
ds_action_items
syse_action_items
function_application.arguments
maths_expression
function_application.operands
index_expression.index
index_expression.operand
interval_expression.interval_high
interval_expression.interval_item
interval_expression.interval_low
listed_data.values
maths_value
mathematical_description.described
maths_expression
maths_tuple_literal.lit_value
maths_value
maths_value_context.abstract_value
maths_value
maths_value_with_unit.value_component
maths_value
multiple_arity_generic_expression.operands
parallel_composed_function.operands
partial_derivative_expression.derivand
previous_change_element_assignment.items
change_management_object
ap242_change_management_object
action_items
ds_action_items
syse_action_items
risk_identification_inputs.items
risk_perception_source_item
rm_risk_perception_source_item
prgm_risk_perception_source_item
syse_risk_perception_source_item
risk_perception_source_assignment.items
risk_perception_source_item
rm_risk_perception_source_item
prgm_risk_perception_source_item
syse_risk_perception_source_item
strict_triangular_matrix.main_diagonal_value
maths_value
substring_expression.index1
substring_expression.index2
substring_expression.operand
symmetric_banded_matrix.default_entry
maths_value
triangular_matrix.default_entry
maths_value
unary_generic_expression.operand
variational_parameter.parameter_current_value
maths_value
simple_generic_expression
generic_variable
abstracted_expression_function.variables
definite_integral_expression.variables
environment.syntactic_representation
quantifier_expression.variables
variable_assignment.the_variable
maths_variable
definite_integral_expression.variable_of_integration
partial_derivative_expression.d_variables
generic_expression
abstracted_expression_function.expr
application_defined_function.parameters
maths_value
applied_action_assignment.items
action_items
ds_action_items
syse_action_items
applied_action_method_assignment.items
action_method_items
condition_action_method_items
fbb_condition_action_method_items
parameter_value_select
applied_group_assignment.items
groupable_item
generic_expression_groupable_item
banded_matrix.default_entry
maths_value
basic_sparse_matrix.default_entry
maths_value
binary_generic_expression.operands
bound_variational_parameter.parameter_current_value
maths_value
constant_function.sole_output
maths_value
current_change_element_assignment.items
change_management_object
ap242_change_management_object
action_items
risk_action_items
risk_perception_source_item
rm_risk_perception_source_item
prgm_risk_perception_source_item
syse_risk_perception_source_item
definite_integral_expression.integrand
expression_denoted_function.expr
finite_function.pairs
maths_value
finite_space.members
maths_value
format_function.format_string
format_function.value_to_format
frozen_assignment.items
change_management_object
ap242_change_management_object
action_items
ds_action_items
syse_action_items
function_application.arguments
maths_expression
function_application.operands
index_expression.index
index_expression.operand
interval_expression.interval_high
interval_expression.interval_item
interval_expression.interval_low
listed_data.values
maths_value
mathematical_description.described
maths_expression
maths_tuple_literal.lit_value
maths_value
maths_value_context.abstract_value
maths_value
maths_value_with_unit.value_component
maths_value
multiple_arity_generic_expression.operands
parallel_composed_function.operands
partial_derivative_expression.derivand
previous_change_element_assignment.items
change_management_object
ap242_change_management_object
action_items
ds_action_items
syse_action_items
risk_identification_inputs.items
risk_perception_source_item
rm_risk_perception_source_item
prgm_risk_perception_source_item
syse_risk_perception_source_item
risk_perception_source_assignment.items
risk_perception_source_item
rm_risk_perception_source_item
prgm_risk_perception_source_item
syse_risk_perception_source_item
strict_triangular_matrix.main_diagonal_value
maths_value
substring_expression.index1
substring_expression.index2
substring_expression.operand
symmetric_banded_matrix.default_entry
maths_value
triangular_matrix.default_entry
maths_value
unary_generic_expression.operand
variational_parameter.parameter_current_value
maths_value
expression
applied_action_assignment.items
action_items
ir_usage_item
design_pdm_ir_usage_item
classification_item
fbb_classification_item
applied_classification_assignment.items
classification_item
fbb_classification_item
applied_description_text_assignment.items
description_item
sbb_description_item
applied_usage_right.items
ir_usage_item
design_pdm_ir_usage_item
classification_item
sbb_classification_item
comparison_expression.operands
current_change_element_assignment.items
change_management_object
ap242_change_management_object
action_items
ir_usage_item
design_pdm_ir_usage_item
classification_item
sbb_classification_item
expression_assignment.assigned_expression
expression_item_representation_item.item
expression_element
expression_relationship.related
expression_relationship.relating
free_form_constraint.constraining_expression
frozen_assignment.items
change_management_object
ap242_change_management_object
action_items
ir_usage_item
design_pdm_ir_usage_item
classification_item
fbb_classification_item
literal_assignment.base
previous_change_element_assignment.items
change_management_object
ap242_change_management_object
action_items
ir_usage_item
design_pdm_ir_usage_item
classification_item
fbb_classification_item
boolean_expression
multiple_arity_boolean_expression.operands
not_expression.operand
xor_expression.operands
generic_expression
abstracted_expression_function.expr
application_defined_function.parameters
maths_value
applied_action_assignment.items
action_items
ds_action_items
syse_action_items
applied_action_method_assignment.items
action_method_items
condition_action_method_items
fbb_condition_action_method_items
parameter_value_select
applied_group_assignment.items
groupable_item
generic_expression_groupable_item
banded_matrix.default_entry
maths_value
basic_sparse_matrix.default_entry
maths_value
binary_generic_expression.operands
bound_variational_parameter.parameter_current_value
maths_value
constant_function.sole_output
maths_value
current_change_element_assignment.items
change_management_object
ap242_change_management_object
action_items
risk_action_items
risk_perception_source_item
rm_risk_perception_source_item
prgm_risk_perception_source_item
syse_risk_perception_source_item
definite_integral_expression.integrand
expression_denoted_function.expr
finite_function.pairs
maths_value
finite_space.members
maths_value
format_function.format_string
format_function.value_to_format
frozen_assignment.items
change_management_object
ap242_change_management_object
action_items
ds_action_items
syse_action_items
function_application.arguments
maths_expression
function_application.operands
index_expression.index
index_expression.operand
interval_expression.interval_high
interval_expression.interval_item
interval_expression.interval_low
listed_data.values
maths_value
mathematical_description.described
maths_expression
maths_tuple_literal.lit_value
maths_value
maths_value_context.abstract_value
maths_value
maths_value_with_unit.value_component
maths_value
multiple_arity_generic_expression.operands
parallel_composed_function.operands
partial_derivative_expression.derivand
previous_change_element_assignment.items
change_management_object
ap242_change_management_object
action_items
ds_action_items
syse_action_items
risk_identification_inputs.items
risk_perception_source_item
rm_risk_perception_source_item
prgm_risk_perception_source_item
syse_risk_perception_source_item
risk_perception_source_assignment.items
risk_perception_source_item
rm_risk_perception_source_item
prgm_risk_perception_source_item
syse_risk_perception_source_item
strict_triangular_matrix.main_diagonal_value
maths_value
substring_expression.index1
substring_expression.index2
substring_expression.operand
symmetric_banded_matrix.default_entry
maths_value
triangular_matrix.default_entry
maths_value
unary_generic_expression.operand
variational_parameter.parameter_current_value
maths_value
simple_generic_expression
simple_boolean_expression
generic_expression
abstracted_expression_function.expr
application_defined_function.parameters
maths_value
applied_action_assignment.items
action_items
ds_action_items
syse_action_items
applied_action_method_assignment.items
action_method_items
condition_action_method_items
fbb_condition_action_method_items
parameter_value_select
applied_group_assignment.items
groupable_item
generic_expression_groupable_item
banded_matrix.default_entry
maths_value
basic_sparse_matrix.default_entry
maths_value
binary_generic_expression.operands
bound_variational_parameter.parameter_current_value
maths_value
constant_function.sole_output
maths_value
current_change_element_assignment.items
change_management_object
ap242_change_management_object
action_items
risk_action_items
risk_perception_source_item
rm_risk_perception_source_item
prgm_risk_perception_source_item
syse_risk_perception_source_item
definite_integral_expression.integrand
expression_denoted_function.expr
finite_function.pairs
maths_value
finite_space.members
maths_value
format_function.format_string
format_function.value_to_format
frozen_assignment.items
change_management_object
ap242_change_management_object
action_items
ds_action_items
syse_action_items
function_application.arguments
maths_expression
function_application.operands
index_expression.index
index_expression.operand
interval_expression.interval_high
interval_expression.interval_item
interval_expression.interval_low
listed_data.values
maths_value
mathematical_description.described
maths_expression
maths_tuple_literal.lit_value
maths_value
maths_value_context.abstract_value
maths_value
maths_value_with_unit.value_component
maths_value
multiple_arity_generic_expression.operands
parallel_composed_function.operands
partial_derivative_expression.derivand
previous_change_element_assignment.items
change_management_object
ap242_change_management_object
action_items
ds_action_items
syse_action_items
risk_identification_inputs.items
risk_perception_source_item
rm_risk_perception_source_item
prgm_risk_perception_source_item
syse_risk_perception_source_item
risk_perception_source_assignment.items
risk_perception_source_item
rm_risk_perception_source_item
prgm_risk_perception_source_item
syse_risk_perception_source_item
strict_triangular_matrix.main_diagonal_value
maths_value
substring_expression.index1
substring_expression.index2
substring_expression.operand
symmetric_banded_matrix.default_entry
maths_value
triangular_matrix.default_entry
maths_value
unary_generic_expression.operand
variational_parameter.parameter_current_value
maths_value
simple_generic_expression
generic_variable
abstracted_expression_function.variables
definite_integral_expression.variables
environment.syntactic_representation
quantifier_expression.variables
variable_assignment.the_variable
variable
boolean_variable
maths_boolean_variable

Users: by defined types, not used by any entity attribute

maths_boolean_variable
-

mathematical_functions_schema

Entity data types and their attributes

Users: by entity attributes

Users: by defined types, not used by any entity attribute

Global rules for this entity data type