toysolver-0.1.0: Assorted decision procedures for SAT, Max-SAT, PB, MIP, etc
ToySolver.Data.Var
Description
Synopsis
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
Instances
type Model r = VarMap r Source
A Model is a map from variables to values.
Model