toysolver-0.0.2: src/Converter/ObjType.hs
{-# OPTIONS_GHC -Wall #-}
-----------------------------------------------------------------------------
-- |
-- Module : Converter.ObjType
-- Copyright : (c) Masahiro Sakai 2011-2012
-- License : BSD-style
--
-- Maintainer : masahiro.sakai@gmail.com
-- Stability : experimental
-- Portability : portable
--
-----------------------------------------------------------------------------
module Converter.ObjType
( ObjType (..)
) where
data ObjType = ObjNone | ObjMaxOne | ObjMaxZero
deriving Eq