Data.Var

Documentation

type Var = Int

Variables are represented as non-negative integers

type VarSet = IntSet

Set of variables

type VarMap = IntMap

Map from variables

class Variables a where

collecting free variables

Methods

vars :: a -> VarSet

Instances

Variables Lit

Variables QFFormula

Variables Lit

Variables a => Variables [a]

Variables e => Variables (Rel e)

Variables (Expr r)

Variables a => Variables (Formula a)

Variables (Expr r)

type Model r = VarMap r

A Model is a map from variables to values.