) to define discrete state variables that do not have to be continuous in time. They are often used as logical help variables that control what expression to use in a weak expression or constraint.) to define discrete state variables that do not have to be continuous in time. They are often used as logical help variables that control what expression to use in a weak expression or constraint.