Copyright | (c) Masahiro Sakai 2013 |
---|---|
License | BSD-style |
Maintainer | masahiro.sakai@gmail.com |
Stability | experimental |
Portability | portable |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
Documentation
Instances
Bounded ObjType Source # | |
Enum ObjType Source # | |
Show ObjType Source # | |
Eq ObjType Source # | |
Ord ObjType Source # | |
Defined in ToySolver.Converter.ObjType |