enum value java code example Example: enum java private enum VarState { INIT, TRUE, FALSE, UNSATISFIABLE }