List of all items

Structs

• ExecResult
• ExecStats
• NodeId
• StateId
• check::Culprit
• property::AtomicProperty
• property::BiLogicOperator
• property::FixedPointOperator
• property::NextOperator
• property::Property
• property::Subproperty
• property::SubpropertyEntry
• property::ValueExpression

Enums

• ExecError
• ParamValuation
• Signedness
• ThreeValued
• check::Conclusion
• check::KnownConclusion
• property::ComparisonType
• property::PropertyType

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