module Aorai_option: sig
.. end
true
if the user declares that its ya automaton is deterministic.
include struct ... end
module Ltl_File: EmptyString
(
sig
end
)
module To_Buchi: EmptyString
(
sig
end
)
module Buchi: EmptyString
(
sig
end
)
module Ya: EmptyString
(
sig
end
)
module Output_Spec: False
(
sig
end
)
module Output_C_File: EmptyString
(
sig
end
)
module Dot: False
(
sig
end
)
module DotSeparatedLabels: False
(
sig
end
)
module AbstractInterpretation: False
(
sig
end
)
module AbstractInterpretationOff: False
(
sig
end
)
module Axiomatization: True
(
sig
end
)
module ConsiderAcceptance: False
(
sig
end
)
module AutomataSimplification: True
(
sig
end
)
module Test: Zero
(
sig
end
)
module AddingOperationNameAndStatusInSpecification: False
(
sig
end
)
module Deterministic: State_builder.Ref
(
Datatype.Bool
)
(
sig
end
)
true
if the user declares that its ya automaton is deterministic.
val reset : unit -> unit
Resets all options
Since Nitrogen-20111001
val is_on : unit -> bool
val init : unit -> unit
val promela_file : unit -> To_Buchi.t
val advance_abstract_interpretation : unit -> bool