TYPE extension_options = ENUMERATION ( eo_none, eo_cont, eo_cont_right, eo_cont_left ); END_TYPE; -- extension_options |
Usersmaths_enum_atommaths_atom maths_enum_literal.lit_value partial_derivative_expression.extension partial_derivative_function.extension |
public final class EExtension_optionsstatic final int EO_NONE = 1static final int EO_CONT = 2 static final int EO_CONT_RIGHT = 3 static final int EO_CONT_LEFT = 4 static String[] values = {"EO_NONE", "EO_CONT", "EO_CONT_RIGHT", "EO_CONT_LEFT"} static int toInt(String str) static String toString(int value) |