public static class Type.Char extends Type.Discrete
CHAR
Type.
Also see Value.Char
.Type.Atomic, Type.Char, Type.Cts, Type.Discrete, Type.Enum, Type.Function, Type.Int, Type.Model, Type.Option, Type.Structured, Type.Triv, Type.Tuple, Type.TYPE, Type.Vector
Value.Option.GP
Value.Bool, Value.Chars, Value.Defer, Value.Inc_Or, Value.Lambda, Value.List, Value.Maybe, Value.Real, Value.Scannable
BOOL, BOOL_N, CHAR, CHAR_N, CHARS, CTS, CTS_N, DNA, ENUM_N, FUNCTION, FUNCTION_N, INC_OR, INT, INT_N, LIST, MATRIX_CTS, MATRIX_INT, MAYBE, MODEL, MODEL_N, name, OPTION_N, PAIR, TRIPLE, TRIV, TRIV_N, TUPLE_N, TYPE, TYPE_N, VECTOR, VECTOR_CHARS, VECTOR_CTS, VECTOR_INT, VECTOR_N
Constructor and Description |
---|
Char(java.lang.String name) |
Modifier and Type | Method and Description |
---|---|
Value.Char |
int2value(int n)
Convert an int, n, into a Value of 'this' Discrete Type.
|
int |
n()
Return this Option Value's number within its
Option
Type . |
int |
string2n(java.lang.String s)
String s must be a single character; return it's int code.
|
bounded, bounds, hasLwb, hasUpb, lwb_n, lwb, ordered, string2value, unOrdered, upb_n, upb
appendSB, contains, elt, main, nElts, ni, show, show, toString, tuple, type
closes, compareTo, opens, separator
public int n()
Value.Option
Type
.n
in class Value.Option
public Value.Char int2value(int n)
Type.Discrete
string2n
and
string2value
.int2value
in class Type.Discrete
public int string2n(java.lang.String s)
string2n
in class Type.Discrete