Overview Schemas Index

MATHEMATICAL_FUNCTIONS_SCHEMA (jsdai.SMathematical_functions_schema)


TYPE space_constraint_type = ENUMERATION (
          sc_equal,
          sc_subspace,
          sc_member );
END_TYPE; -- space_constraint_type

Users

          function_space.domain_constraint
          function_space.range_constraint
          maths_enum_atom
                    maths_atom
                    maths_enum_literal.lit_value

public final class ESpace_constraint_type

          static final int SC_EQUAL = 1
          static final int SC_SUBSPACE = 2
          static final int SC_MEMBER = 3
          static String[] values = {"SC_EQUAL", "SC_SUBSPACE", "SC_MEMBER"}
          static int toInt(String str)
          static String toString(int value)