-------------------------------------------------------------------------------- -- Amethyst: Neural Network Verification in Agda -- -- This module re-exports the submodules for piecewise-linear functions: -- -- - Amethyst.PiecewiseLinear.Base -- - Amethyst.PiecewiseLinear.As.Float -- - Amethyst.PiecewiseLinear.As.Schmitty -- -------------------------------------------------------------------------------- module Amethyst.PiecewiseLinear where open import Amethyst.PiecewiseLinear.Base public open import Amethyst.PiecewiseLinear.As.Float public open import Amethyst.PiecewiseLinear.As.Schmitty public