File seed.h

↰ Parent directory (/home/runner/work/coverage-plan/coverage-plan/include/coverage_plan/util)

Utility functions for random seeding.

Definition (/home/runner/work/coverage-plan/coverage-plan/include/coverage_plan/util/seed.h)

• Program Listing for File seed.h

Detailed Description

Charlie Street

Includes

• random (File random_coverage_robot.h)

Included By

• File imac_executor.h

• File coverage_bounds.h

Namespaces

• Namespace SeedHelpers

Functions

• Function SeedHelpers::doubleToUInt64

• Function SeedHelpers::genRandomDeviceSeed