ToySolver.Data.Var

Description

Synopsis

Documentation

Variables are represented as non-negative integers

Set of variables

Map from variables

collecting free variables

Minimal complete definition

Methods

Instances

Variables Constr Source #
Methods vars :: Constr -> VarSet Source #
Variables Lit Source #
Methods vars :: Lit -> VarSet Source #
Variables a => Variables [a] Source #
Methods vars :: [a] -> VarSet Source #
Variables a => Variables (Formula a) Source #
Methods vars :: Formula a -> VarSet Source #
Variables e => Variables (OrdRel e) Source #
Methods vars :: OrdRel e -> VarSet Source #
Variables (Expr r) Source #
Methods vars :: Expr r -> VarSet Source #
Variables (Expr r) Source #
Methods vars :: Expr r -> VarSet Source #
Variables a => Variables (BoolExpr a) Source #
Methods vars :: BoolExpr a -> VarSet Source #

A Model is a map from variables to values.