hgeometry-0.9.0.0: Geometric Algorithms, Data structures, and Data types.

Algorithms.Geometry.LinearProgramming.Types

Description

2D Linear programming in expected linear time.

Synopsis

# Documentation

data LPSolution d r Source #

Data type representing the solution to a linear program

Constructors

 NoSolution Single !(Point d r) UnBounded (HalfLine d r)
Instances
 (Arity d, Eq r) => Eq (LPSolution d r) Source # Instance details Methods(==) :: LPSolution d r -> LPSolution d r -> Bool #(/=) :: LPSolution d r -> LPSolution d r -> Bool # (Arity d, Show r) => Show (LPSolution d r) Source # Instance details MethodsshowsPrec :: Int -> LPSolution d r -> ShowS #show :: LPSolution d r -> String #showList :: [LPSolution d r] -> ShowS #

_UnBounded :: forall d r. Prism' (LPSolution d r) (HalfLine d r) Source #

_Single :: forall d r. Prism' (LPSolution d r) (Point d r) Source #

_NoSolution :: forall d r. Prism' (LPSolution d r) () Source #

data LinearProgram d r Source #

Constructors

 LinearProgram Fields_objective :: !(Vector d r) _constraints :: [HalfSpace d r]
Instances
 Arity d => Functor (LinearProgram d) Source # Instance details Methodsfmap :: (a -> b) -> LinearProgram d a -> LinearProgram d b #(<\$) :: a -> LinearProgram d b -> LinearProgram d a # (Arity d, Eq r) => Eq (LinearProgram d r) Source # Instance details Methods(==) :: LinearProgram d r -> LinearProgram d r -> Bool #(/=) :: LinearProgram d r -> LinearProgram d r -> Bool # (Arity d, Show r) => Show (LinearProgram d r) Source # Instance details MethodsshowsPrec :: Int -> LinearProgram d r -> ShowS #show :: LinearProgram d r -> String #showList :: [LinearProgram d r] -> ShowS #

objective :: forall d r. Lens' (LinearProgram d r) (Vector d r) Source #

constraints :: forall d r. Lens' (LinearProgram d r) [HalfSpace d r] Source #