ENTITY maths_boolean_variable

(* SCHEMA step_merged_ap_schema; *)

-- IN AP238 STEP-NC/AP242
ENTITY maths_boolean_variable
   SUBTYPE OF (maths_variable, boolean_variable);
   WHERE
      WR1:
         subspace_of_es(SELF\maths_variable.values_space, es_booleans);
END_ENTITY;

Explicit Attributes

Entity maths_boolean_variable has the following local and inherited explicit attributes:

Attribute	Type	Defined By
values_space	maths_space (ENTITY)	maths_variable
name	label (STRING)	maths_variable

Derived Attributes

No derived attributes

Inverse Attributes

Entity maths_boolean_variable has the following local and inherited inverse attributes:

Attribute	Type	Defined By
interpretation	environment (ENTITY)	generic_variable

Supertypes

Entity maths_boolean_variable inherits from the following supertypes:
  generic_expression
    simple_generic_expression
      generic_variable
        maths_variable
  generic_expression
    expression
      boolean_expression
        simple_boolean_expression
          boolean_variable
  generic_expression
    simple_generic_expression
  generic_expression
    simple_generic_expression
      generic_variable
        variable

Subtypes

No subtypes

Referenced By

Entity maths_boolean_variable and its supertypes are referenced by the following definitions:

Definition	Type	Referenced Entity
abstracted_expression_function	ENTITY	generic_variable
abstracted_expression_function	ENTITY	generic_expression
acyclic	FUNCTION	generic_expression
all_members_of_es	FUNCTION	generic_expression
binary_generic_expression	ENTITY	generic_expression
boolean_expression	ENTITY	simple_boolean_expression
bound_variational_parameter	ENTITY	generic_variable
comparison_expression	ENTITY	expression
convert_to_operand	FUNCTION	generic_expression
convert_to_operands	FUNCTION	generic_expression
convert_to_operands_prcmfn	FUNCTION	generic_expression
definite_integral_expression	ENTITY	maths_variable
definite_integral_expression	ENTITY	generic_variable
definite_integral_expression	ENTITY	generic_expression
definite_integral_expr_check	FUNCTION	generic_expression
environment	ENTITY	generic_variable
expression	ENTITY	boolean_expression
expression_denoted_function	ENTITY	generic_expression
expression_element	SELECT	expression
expression_is_constant	FUNCTION	generic_expression
format_function	ENTITY	generic_expression
free_form_assignment	ENTITY	maths_variable
free_form_constraint	ENTITY	expression
free_variables_of	FUNCTION	generic_expression
free_variables_of	FUNCTION	generic_variable
function_applicability	FUNCTION	generic_expression
function_application	ENTITY	generic_expression
generic_expression	ENTITY	simple_generic_expression
has_values_space	FUNCTION	generic_expression
index_expression	ENTITY	generic_expression
interval_expression	ENTITY	generic_expression
invalidate_vrep_item	FUNCTION	generic_variable
is_acyclic	FUNCTION	generic_expression
is_sql_mappable	FUNCTION	expression
make_atom_based_literal	FUNCTION	generic_expression
make_atom_based_literal	FUNCTION	simple_generic_expression
make_binary_literal	FUNCTION	generic_expression
make_binary_literal	FUNCTION	simple_generic_expression
make_boolean_literal	FUNCTION	simple_boolean_expression
make_boolean_literal	FUNCTION	boolean_expression
make_boolean_literal	FUNCTION	expression
make_boolean_literal	FUNCTION	simple_generic_expression
make_boolean_literal	FUNCTION	generic_expression
make_cartesian_complex_number_region	FUNCTION	simple_generic_expression
make_cartesian_complex_number_region	FUNCTION	generic_expression
make_complex_number_literal	FUNCTION	generic_expression
make_complex_number_literal	FUNCTION	simple_generic_expression
make_elementary_function	FUNCTION	simple_generic_expression
make_elementary_function	FUNCTION	generic_expression
make_elementary_space	FUNCTION	generic_expression
make_elementary_space	FUNCTION	simple_generic_expression
make_extended_tuple_space	FUNCTION	simple_generic_expression
make_extended_tuple_space	FUNCTION	generic_expression
make_finite_integer_interval	FUNCTION	generic_expression
make_finite_integer_interval	FUNCTION	simple_generic_expression
make_finite_real_interval	FUNCTION	generic_expression
make_finite_real_interval	FUNCTION	simple_generic_expression
make_finite_space	FUNCTION	generic_expression
make_finite_space	FUNCTION	simple_generic_expression
make_function_application	FUNCTION	generic_expression
make_function_space	FUNCTION	generic_expression
make_function_space	FUNCTION	simple_generic_expression
make_int_literal	FUNCTION	generic_expression
make_int_literal	FUNCTION	simple_generic_expression
make_int_literal	FUNCTION	expression
make_listed_product_space	FUNCTION	generic_expression
make_listed_product_space	FUNCTION	simple_generic_expression
make_logical_literal	FUNCTION	generic_expression
make_logical_literal	FUNCTION	simple_generic_expression
make_maths_enum_literal	FUNCTION	simple_generic_expression
make_maths_enum_literal	FUNCTION	generic_expression
make_maths_tuple_literal	FUNCTION	generic_expression
make_maths_tuple_literal	FUNCTION	simple_generic_expression
make_parallel_composed_function	FUNCTION	generic_expression
make_polar_complex_number_region	FUNCTION	generic_expression
make_polar_complex_number_region	FUNCTION	simple_generic_expression
make_real_interval_from_min	FUNCTION	generic_expression
make_real_interval_from_min	FUNCTION	simple_generic_expression
make_real_interval_to_max	FUNCTION	generic_expression
make_real_interval_to_max	FUNCTION	simple_generic_expression
make_real_literal	FUNCTION	generic_expression
make_real_literal	FUNCTION	expression
make_real_literal	FUNCTION	simple_generic_expression
make_string_literal	FUNCTION	expression
make_string_literal	FUNCTION	simple_generic_expression
make_string_literal	FUNCTION	generic_expression
make_uniform_product_space	FUNCTION	generic_expression
make_uniform_product_space	FUNCTION	simple_generic_expression
maths_boolean_variable	ENTITY	maths_variable
maths_expression	SELECT	generic_expression
maths_integer_variable	ENTITY	maths_variable
maths_real_variable	ENTITY	maths_variable
maths_string_variable	ENTITY	maths_variable
maths_value	SELECT	generic_expression
multiple_arity_boolean_expression	ENTITY	boolean_expression
multiple_arity_generic_expression	ENTITY	generic_expression
not_expression	ENTITY	boolean_expression
parallel_composed_function	ENTITY	generic_expression
partial_derivative_expression	ENTITY	maths_variable
partial_derivative_expression	ENTITY	generic_expression
quantifier_expression	ENTITY	generic_variable
simple_boolean_expression	ENTITY	boolean_variable
simple_generic_expression	ENTITY	generic_variable
simplify_function_application	FUNCTION	generic_expression
simplify_generic_expression	FUNCTION	generic_expression
substitute	FUNCTION	generic_expression
substitute	FUNCTION	generic_variable
substring_expression	ENTITY	generic_expression
unary_generic_expression	ENTITY	generic_expression
unbound_variational_parameter	ENTITY	generic_variable
used_variables	FUNCTION	generic_expression
used_variables	FUNCTION	generic_variable
values_space_of	FUNCTION	maths_variable
values_space_of	FUNCTION	generic_expression
variable	ENTITY	boolean_variable
variational_parameter	ENTITY	maths_variable
xor_expression	ENTITY	boolean_expression

[Top Level Definitions] [Exit]

Generated by STEP Tools® EXPRESS to HTML Converter
2020-07-28T17:02:16-04:00