State encoding

• Flatten nested AND and nested OR states

• One variable for each OR state

  • An enumerated type of the alternatives

• VAR S: {A,B,C}; T: {D,E}; U: {F,G};

Previous slide

Next slide

Back to first slide

View graphic version