Expand description
Computation Tree Logic properties.
Structs§
- Atomic
Property - An atomic property of Computation Tree Logic.
- BiLogic
Operator - Fixed
Point Operator - Next
Operator - Property
- A Computation Tree Logic property.
- Subproperty
- Subproperty
Entry - Value
Expression - A field name, potentially with indexing and forced signedness.
Enums§
- Comparison
Type - A type of comparison.
- Property
Type