toysolver-0.6.0: Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc

Copyright(c) Masahiro Sakai 2016
LicenseBSD-style
Maintainermasahiro.sakai@gmail.com
Stabilityprovisional
Portabilityportable
Safe HaskellNone
LanguageHaskell2010

ToySolver.Arith.Simplex.Simple

Description

 
Synopsis

Documentation

data OptDir #

The OptDir type represents optimization directions.

Constructors

OptMin

minimization

OptMax

maximization

Instances
Bounded OptDir 
Instance details

Defined in Data.OptDir

Enum OptDir 
Instance details

Defined in Data.OptDir

Eq OptDir 
Instance details

Defined in Data.OptDir

Methods

(==) :: OptDir -> OptDir -> Bool #

(/=) :: OptDir -> OptDir -> Bool #

Data OptDir 
Instance details

Defined in Data.OptDir

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> OptDir -> c OptDir #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c OptDir #

toConstr :: OptDir -> Constr #

dataTypeOf :: OptDir -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c OptDir) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c OptDir) #

gmapT :: (forall b. Data b => b -> b) -> OptDir -> OptDir #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> OptDir -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> OptDir -> r #

gmapQ :: (forall d. Data d => d -> u) -> OptDir -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> OptDir -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> OptDir -> m OptDir #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> OptDir -> m OptDir #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> OptDir -> m OptDir #

Ord OptDir 
Instance details

Defined in Data.OptDir

Read OptDir 
Instance details

Defined in Data.OptDir

Show OptDir 
Instance details

Defined in Data.OptDir

Ix OptDir 
Instance details

Defined in Data.OptDir

Hashable OptDir 
Instance details

Defined in Data.OptDir

Methods

hashWithSalt :: Int -> OptDir -> Int #

hash :: OptDir -> Int #

data OptResult Source #

results of optimization

Constructors

Optimum 
Unsat 
Unbounded 
ObjLimit