wo enums definieren code example Example: enum java private enum VarState { INIT, TRUE, FALSE, UNSATISFIABLE }