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

Generic Variable

Defined in Satyros.CNF.Variable

Associated Types

type Rep Variable :: Type -> Type

Methods

from :: Variable -> Rep Variable x

to :: Rep Variable x -> Variable

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)

type Rep Variable

Defined in Satyros.CNF.Variable

type Rep Variable = D1 ('MetaData "Variable" "Satyros.CNF.Variable" "satyros-0.3.1.4-3YwMxGnZD0k1OVgpDx5SHB" 'True) (C1 ('MetaCons "VariableInternal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word)))