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

Copyright(c) Masahiro Sakai 2011-2013
LicenseBSD-style
Maintainermasahiro.sakai@gmail.com
Stabilityprovisional
Portabilityportable
Safe HaskellSafe-Inferred
LanguageHaskell2010

ToySolver.Data.Var

Description

 

Synopsis

Documentation

type Var = Int Source

Variables are represented as non-negative integers

type VarSet = IntSet Source

Set of variables

type VarMap = IntMap Source

Map from variables

class Variables a where Source

collecting free variables

Methods

vars :: a -> VarSet Source

type Model r = VarMap r Source

A Model is a map from variables to values.