SAT.Solver.Mios.Data.Singleton

Bool

type BoolSingleton

newBool

getBool

setBool

modifyBool

Int

type IntSingleton

newInt

getInt

setInt

modifyInt

Double

type DoubleSingleton

newDouble

getDouble

setDouble

modifyDouble