Software Disclaimer

Enumeration InteractionOperatorKind

Description:

InteractionOperatorKind is an enumeration designating the different kinds of operators of CombinedFragments. The InteractionOperand defines the type of operator of a CombinedFragment.


Values:

SEQ
ALT
OPT
BREAK
PAR
STRICT
LOOP
CRITICAL
NEG
ASSERT
IGNORE
CONSIDER



Send questions or comments to [email protected].