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