ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
sos_semantics.h File Reference
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Enumerations

enum class  SosRule {
  NO_Contact_True , NO_Contact_False , NC_Contact_True , NC_Contact_False ,
  Rising_Contact , Falling_Contact , Output_Coil , Set_Coil ,
  Reset_Coil , TON_Step , TOF_Step , TP_Step ,
  CTU_Step , CTD_Step , Arith_Step
}

Enumeration Type Documentation

◆ SosRule

enum class SosRule
strong
Enumerator
NO_Contact_True 
NO_Contact_False 
NC_Contact_True 
NC_Contact_False 
Rising_Contact 
Falling_Contact 
Output_Coil 
Set_Coil 
Reset_Coil 
TON_Step 
TOF_Step 
TP_Step 
CTU_Step 
CTD_Step 
Arith_Step