TYPE open_closed = ENUMERATION ( open, closed ); END_TYPE; -- open_closed |
Usersfinite_real_interval.max_closurefinite_real_interval.min_closure maths_enum_atom maths_atom maths_enum_literal.lit_value real_interval_from_min.min_closure real_interval_to_max.max_closure |
public final class EOpen_closedstatic final int OPEN = 1static final int CLOSED = 2 static String[] values = {"OPEN", "CLOSED"} static int toInt(String str) static String toString(int value) |