Satyros.CNF.Variable

Documentation

data Variable where

Bundled Patterns

pattern Variable :: Word -> Variable

Instances

Eq Variable

Defined in Satyros.CNF.Variable

Methods

(==) :: Variable -> Variable -> Bool

(/=) :: Variable -> Variable -> Bool

Ord Variable

Defined in Satyros.CNF.Variable

Methods

compare :: Variable -> Variable -> Ordering

(<) :: Variable -> Variable -> Bool

(<=) :: Variable -> Variable -> Bool

(>) :: Variable -> Variable -> Bool

(>=) :: Variable -> Variable -> Bool

max :: Variable -> Variable -> Variable

min :: Variable -> Variable -> Variable

Show Variable

Defined in Satyros.CNF.Variable

Methods

showsPrec :: Int -> Variable -> ShowS

show :: Variable -> String

showList :: [Variable] -> ShowS

HasVariableLevels (Storage s) [(Maybe Variable, Set Variable)]

Defined in Satyros.DPLL.Storage

Methods

variableLevels :: Lens' (Storage s) [(Maybe Variable, Set Variable)]

HasUnassignedVariables (Storage s) (Set Variable)

Defined in Satyros.DPLL.Storage

Methods

unassignedVariables :: Lens' (Storage s) (Set Variable)