List of all items

Structs

• ExecResult
• ExecStats
• NodeId
• StateId
• check::Culprit
• check::PreparedProperty
• property::AtomicProperty
• property::BiOperator
• property::OperatorF
• property::OperatorG
• property::OperatorR
• property::OperatorU
• property::UniOperator
• property::ValueExpression

Enums

• ExecError
• Signedness
• ThreeValued
• check::Conclusion
• property::ComparisonType
• property::Property
• property::TemporalOperator

Constants

• PANIC_MSG_DIV_BY_ZERO
• PANIC_MSG_REM_BY_ZERO
• PANIC_NUM_DIV_BY_ZERO
• PANIC_NUM_FIRST_CUSTOM
• PANIC_NUM_NO_PANIC
• PANIC_NUM_REM_BY_ZERO