Combined Fragment
A combined fragment is defined by an interaction operator and corresponding interaction operands. Through the use of combined fragments the user will be able to describe a number of traces in a compact and concise manner.
The different types are seq, alt, opt, break, par, strict, loop, region, neg, assert, ignore and consider.
Translations
Products