sig
val tand :
Promelaast.typed_condition ->
Promelaast.typed_condition -> Promelaast.typed_condition
val tor :
Promelaast.typed_condition ->
Promelaast.typed_condition -> Promelaast.typed_condition
val tnot : Promelaast.typed_condition -> Promelaast.typed_condition
val simplifyCond :
Promelaast.typed_condition ->
Promelaast.typed_condition * Promelaast.typed_condition list list
val simplifyTrans :
Promelaast.typed_condition Promelaast.trans list ->
Promelaast.typed_condition Promelaast.trans list *
Promelaast.typed_condition list list list
val dnfToCond :
Promelaast.typed_condition list list -> Promelaast.typed_condition
val simplifyDNFwrtCtx :
Promelaast.typed_condition list list ->
Cil_types.kernel_function ->
Promelaast.funcStatus -> Promelaast.typed_condition
end