satyros-0.2.0.0: Step-by-step SAT solver for educational purposes
Safe HaskellNone
LanguageHaskell2010

Satyros.DPLL.Assignment

Documentation

newtype Assignment Source #

Constructors

Assignment 

Fields

Instances

Instances details
Show Assignment Source # 
Instance details

Defined in Satyros.DPLL.Assignment

Methods

showsPrec :: Int -> Assignment -> ShowS #

show :: Assignment -> String #

showList :: [Assignment] -> ShowS #

Ixed Assignment Source # 
Instance details

Defined in Satyros.DPLL.Assignment

Methods

ix :: Index Assignment -> Traversal' Assignment (IxValue Assignment) #

At Assignment Source # 
Instance details

Defined in Satyros.DPLL.Assignment

Methods

at :: Index Assignment -> Lens' Assignment (Maybe (IxValue Assignment)) #

Wrapped Assignment Source # 
Instance details

Defined in Satyros.DPLL.Assignment

Associated Types

type Unwrapped Assignment #

Methods

_Wrapped' :: Iso' Assignment (Unwrapped Assignment) #

HasAssignment (Storage s) Assignment Source # 
Instance details

Defined in Satyros.DPLL.Storage

Methods

assignment :: Lens' (Storage s) Assignment Source #

type Index Assignment Source # 
Instance details

Defined in Satyros.DPLL.Assignment

type Index Assignment = Variable
type IxValue Assignment Source # 
Instance details

Defined in Satyros.DPLL.Assignment

type IxValue Assignment = (Bool, Maybe Clause)
type Unwrapped Assignment Source # 
Instance details

Defined in Satyros.DPLL.Assignment

type Unwrapped Assignment = Map Variable (Bool, Maybe Clause)

assignVariable :: Literal -> Maybe Clause -> Assignment -> Assignment Source #

eraseVariables :: Set Variable -> Assignment -> Assignment Source #

valueOfVariable :: Variable -> Traversal' Assignment Bool Source #

valueOfLiteral :: Literal -> Traversal' Assignment Bool Source #

parentsOfLiteral :: Literal -> Traversal' Assignment (Maybe Clause) Source #