compress_ltl_syntax

Determines whether the Log Transfer Interface component compresses LTL statements using abbreviated syntax.

Default

true

Values

true – The Log Transfer Interface compresses LTL statements using abbreviated syntax.

false – The Log Transfer Interface uses uncompressed LTL syntax when generating LTL statements.

Comments