Module Goblint_lib.AutoTuneSource

Sourcemodule FunctionSet : sig ... end
Sourcemodule FunctionCallMap : sig ... end
Sourceval addOrCreateMap : FunctionSet.elt -> (FunctionSet.t * int) option -> (FunctionSet.t * int) option
Sourceval calledFunctions : FunctionCallMap.key -> FunctionSet.t
Sourceval callingFunctions : FunctionCallMap.key -> FunctionSet.t
Sourceval timesCalled : FunctionCallMap.key -> int
Sourceval functionArgs : FunctionCallMap.key -> GoblintCil.exp list option
Sourceval findMallocWrappers : unit -> unit
Sourceval isExtern : GoblintCil.storage -> bool
Sourceval setCongruenceRecursive : GoblintCil.fundec -> int -> (GoblintCil.varinfo -> FunctionSet.t) -> unit
Sourceexception ModFound
Sourceclass modVisitor : object ... end
Sourceclass modFunctionAnnotatorVisitor : object ... end
Sourceval addModAttributes : GoblintCil.file -> unit
Sourceval disableIntervalContextsInRecursiveFunctions : unit -> unit
Sourceval notNeccessaryThreadAnalyses : string list
Sourceval reduceThreadAnalyses : unit -> unit
Sourceval focusOnSpecification : unit -> unit
Sourceexception EnumFound
Sourceclass enumVisitor : object ... end
Sourceval hasEnums : GoblintCil.file -> bool
Sourceclass addTypeAttributeVisitor : object ... end
Sourceval selectArrayDomains : GoblintCil.file -> unit
Sourcetype option = {
  1. value : int;
  2. cost : int;
  3. activate : unit -> unit;
}
Sourcemodule VariableMap : sig ... end
Sourcemodule VariableSet : sig ... end
Sourceval isComparison : GoblintCil.binop -> bool
Sourceval extractVar : GoblintCil.exp -> GoblintCil.varinfo option
Sourceval extractOctagonVars : GoblintCil.exp -> [> `Left of GoblintCil.varinfo * GoblintCil.varinfo | `Right of GoblintCil.varinfo ] option
Sourceval addOrCreateVarMapping : int VariableMap.t ref -> GoblintCil.varinfo -> int -> bool -> unit
Sourceval handle : int VariableMap.t ref -> int -> bool -> [< `Left of GoblintCil.varinfo * GoblintCil.varinfo | `Right of GoblintCil.varinfo ] option -> unit
Sourceclass octagonVariableVisitor : (int VariableMap.t ref * bool) -> object ... end
Sourceval topVars : int -> 'a VariableMap.t -> VariableMap.key list
Sourceclass octagonFunctionVisitor : (VariableMap.key list list ref * int) -> object ... end
Sourceval congruenceOption : AutoTune0.complexityFactors -> 'a -> option
Sourceval apronOctagonOption : AutoTune0.complexityFactors -> GoblintCil.file -> option
Sourceval wideningOption : AutoTune0.complexityFactors -> 'a -> option
Sourceval estimateComplexity : AutoTune0.complexityFactors -> 'a -> int
Sourceval totalTarget : int
Sourceval chooseFromOptions : int -> option list -> option list
Sourceval isActivated : string -> bool
Sourceval chooseConfig : GoblintCil.file -> unit
Sourceval reset_lazy : unit -> unit