Function_space

MATHEMATICAL_FUNCTIONS_SCHEMA (jsdai.SMathematical_functions_schema)

ENTITY function_space
SUBTYPE OF (maths_space, generic_literal);
domain_constraint : space_constraint_type;
domain_argument : maths_space;
range_constraint : space_constraint_type;
range_argument : maths_space;
WHERE
wr1: expression_is_constant ( domain_argument ) AND expression_is_constant ( range_argument ) ;
wr2: ( domain_argument <> the_empty_space ) AND ( range_argument <> the_empty_space ) ;
wr3: ( domain_constraint <> sc_member ) OR NOT member_of ( the_empty_space , domain_argument ) ;
wr4: ( range_constraint <> sc_member ) OR NOT member_of ( the_empty_space , range_argument ) ;
wr5: NOT ( any_space_satisfies ( domain_constraint , domain_argument ) AND any_space_satisfies ( range_constraint , range_argument ) ) ;
END_ENTITY; -- function_space

Entity data types and their attributes

generic_expression
-
maths_space
-
simple_generic_expression
-
generic_literal
-
function_space
domain_constraint: space_constraint_type;
domain_argument: maths_space;
range_constraint: space_constraint_type;
range_argument: maths_space;

Users

generic_expression
abstracted_expression_function.expr
analysis_item.items
analysed_item
upfrompm_ap233_analysed_item
groupable_item
parameter_value_select_groupable_item
parameter_value_select
application_defined_function.parameters
maths_value
applied_action_method_assignment.items
action_method_items
fbb2_action_method_items
parameter_value_select
applied_certification_assignment.items
certification_item
upfrompm_ap233_certification_item
groupable_item
generic_expression_groupable_item
applied_experience_type_assignment.items
experience_type_item
upfrompm_ap233_experience_type_item
groupable_item
parameter_value_select_groupable_item
parameter_value_select
applied_group_assignment.items
groupable_item
parameter_value_select_groupable_item
parameter_value_select
applied_person_type_assignment.items
person_type_item
upfrompm_ap233_person_type_item
groupable_item
parameter_value_select_groupable_item
parameter_value_select
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
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
function_application.arguments
maths_value
function_application.operands
functional_terminal_group_assignment.items
groupable_item
generic_expression_groupable_item
index_expression.index
index_expression.operand
interval_expression.interval_high
interval_expression.interval_item
interval_expression.interval_low
issue_reference_mapping.items
issue_reference_item
upfromsm_ap233_issue_reference_item
listed_data.values
maths_value
mathematical_description.described
maths_expression
maths_tuple_literal.lit_value
maths_value
multiple_arity_generic_expression.operands
parallel_composed_function.operands
partial_derivative_expression.derivand
rational_representation_item_xim.operands
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
verification_evidence.items
verification_evidence_item
smpushup_ap233_verification_evidence_item
groupable_item
generic_expression_groupable_item
maths_space
constant_function.source_of_domain
maths_space_or_function
extended_tuple_space.extender
externally_listed_data.value_range
function_space.domain_argument
function_space.range_argument
listed_data.value_range
listed_product_space.factors
maths_variable.values_space
parallel_composed_function.source_of_domain
maths_space_or_function
restriction_function.operand
selector_function.source_of_domain
maths_space_or_function
uniform_product_space.base
generic_expression
abstracted_expression_function.expr
analysis_item.items
analysed_item
upfrompm_ap233_analysed_item
groupable_item
parameter_value_select_groupable_item
parameter_value_select
application_defined_function.parameters
maths_value
applied_action_method_assignment.items
action_method_items
fbb2_action_method_items
parameter_value_select
applied_certification_assignment.items
certification_item
upfrompm_ap233_certification_item
groupable_item
generic_expression_groupable_item
applied_experience_type_assignment.items
experience_type_item
upfrompm_ap233_experience_type_item
groupable_item
parameter_value_select_groupable_item
parameter_value_select
applied_group_assignment.items
groupable_item
parameter_value_select_groupable_item
parameter_value_select
applied_person_type_assignment.items
person_type_item
upfrompm_ap233_person_type_item
groupable_item
parameter_value_select_groupable_item
parameter_value_select
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
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
function_application.arguments
maths_value
function_application.operands
functional_terminal_group_assignment.items
groupable_item
generic_expression_groupable_item
index_expression.index
index_expression.operand
interval_expression.interval_high
interval_expression.interval_item
interval_expression.interval_low
issue_reference_mapping.items
issue_reference_item
upfromsm_ap233_issue_reference_item
listed_data.values
maths_value
mathematical_description.described
maths_expression
maths_tuple_literal.lit_value
maths_value
multiple_arity_generic_expression.operands
parallel_composed_function.operands
partial_derivative_expression.derivand
rational_representation_item_xim.operands
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
verification_evidence.items
verification_evidence_item
smpushup_ap233_verification_evidence_item
groupable_item
generic_expression_groupable_item
simple_generic_expression
generic_literal
literal_assignment.literal_value
function_space

Global rules for this entity data type

public interface EFunction_space extends EMaths_space, EGeneric_literal

domain_constraint (explicit attribute)

boolean testDomain_constraint(EFunction_space type)
int getDomain_constraint(EFunction_space type)
void setDomain_constraint(EFunction_space type, int value)
void unsetDomain_constraint(EFunction_space type)

domain_argument (explicit attribute)

boolean testDomain_argument(EFunction_space type)
EMaths_space getDomain_argument(EFunction_space type)
void setDomain_argument(EFunction_space type, EMaths_space value)
void unsetDomain_argument(EFunction_space type)

range_constraint (explicit attribute)

boolean testRange_constraint(EFunction_space type)
int getRange_constraint(EFunction_space type)
void setRange_constraint(EFunction_space type, int value)
void unsetRange_constraint(EFunction_space type)

range_argument (explicit attribute)

boolean testRange_argument(EFunction_space type)
EMaths_space getRange_argument(EFunction_space type)
void setRange_argument(EFunction_space type, EMaths_space value)
void unsetRange_argument(EFunction_space type)

public class CFunction_space implements EFunction_space

static EAttribute attributeDomain_constraint(EFunction_space type)
static EAttribute attributeDomain_argument(EFunction_space type)
static int usedinDomain_argument(EFunction_space type, EMaths_space instance, ASdaiModel domain, AFunction_space result)
static EAttribute attributeRange_constraint(EFunction_space type)
static EAttribute attributeRange_argument(EFunction_space type)
static int usedinRange_argument(EFunction_space type, EMaths_space instance, ASdaiModel domain, AFunction_space result)

public class AFunction_space extends AEntity

public EFunction_space getByIndex(int index)
public EFunction_space getCurrentMember(SdaiIterator it)