toysolver-0.4.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
Minimal complete definition
vars
Methods
vars :: a -> VarSet Source #
Instances
vars :: Constr -> VarSet Source #
vars :: Lit -> VarSet Source #
vars :: [a] -> VarSet Source #
vars :: Formula a -> VarSet Source #
vars :: OrdRel e -> VarSet Source #
vars :: Expr r -> VarSet Source #
vars :: BoolExpr a -> VarSet Source #
type Model r = VarMap r Source #
A Model is a map from variables to values.
Model