Module Aorai_option


module Aorai_option: sig .. end

include struct ... end
module Ltl_File: EmptyString(sig
val option_name : string
val arg_name : string
val descr : string
end)
module To_Buchi: EmptyString(sig
val option_name : string
val arg_name : string
val descr : string
end)
module Buchi: EmptyString(sig
val option_name : string
val arg_name : string
val descr : string
end)
module Ya: EmptyString(sig
val option_name : string
val arg_name : string
val descr : string
end)
module Output_Spec: False(sig
val option_name : string
val descr : string
end)
module Output_C_File: EmptyString(sig
val option_name : string
val arg_name : string
val descr : string
end)
module Dot: False(sig
val option_name : string
val descr : string
end)
module DotSeparatedLabels: False(sig
val option_name : string
val descr : string
end)
module AbstractInterpretation: False(sig
val option_name : string
val descr : string
end)
module AbstractInterpretationOff: False(sig
val option_name : string
val descr : string
end)
module Axiomatization: True(sig
val option_name : string
val descr : string
end)
module ConsiderAcceptance: False(sig
val option_name : string
val descr : string
end)
module AutomataSimplification: True(sig
val option_name : string
val descr : string
end)
module Test: Zero(sig
val option_name : string
val arg_name : string
val descr : string
end)
module AddingOperationNameAndStatusInSpecification: False(sig
val option_name : string
val descr : string
end)
val is_on : unit -> bool
val init : unit -> unit
val promela_file : unit -> To_Buchi.t
val advance_abstract_interpretation : unit -> bool