Searched refs:NoTiming (Results 1 – 5 of 5) sorted by relevance
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Data/SBV/Utils/ |
H A D | TDiff.hs | 31 data Timing = NoTiming | PrintTiming | SaveTiming (IORef NominalDiffTime) constructor
|
/dports/cad/netgen/netgen-6.2.2105/libsrc/meshing/ |
H A D | delaunay.cpp | 238 static Timer t("Meshing3::AddDelaunayPoint", NoTracing, NoTiming); RegionTimer reg(t); in AddDelaunayPoint() 239 static Timer tsearch("addpoint, search", NoTracing, NoTiming); in AddDelaunayPoint() 240 static Timer tfind("addpoint, find all tets", NoTracing, NoTiming); in AddDelaunayPoint() 241 static Timer tnewtets("addpoint, build new tets", NoTracing, NoTiming); in AddDelaunayPoint() 242 static Timer tinsert("addpoint, insert", NoTracing, NoTiming); in AddDelaunayPoint()
|
/dports/cad/netgen/netgen-6.2.2105/libsrc/core/ |
H A D | profiler.hpp | 167 static TNoTiming NoTiming; variable
|
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Data/SBV/SMT/ |
H A D | SMT.hs | 974 NoTiming -> return ()
|
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Data/SBV/Provers/ |
H A D | Prover.hs | 82 , timing = NoTiming
|