Satyros.DPLL.Assignment

Documentation

newtype Assignment

Constructors

Assignment

Fields

• getAssignment :: Map Variable (Bool, Maybe Clause)

Instances

Show Assignment

Defined in Satyros.DPLL.Assignment

Methods

showsPrec :: Int -> Assignment -> ShowS

show :: Assignment -> String

showList :: [Assignment] -> ShowS

Ixed Assignment

Defined in Satyros.DPLL.Assignment

Methods

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

At Assignment

Defined in Satyros.DPLL.Assignment

Methods

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

Wrapped Assignment

Defined in Satyros.DPLL.Assignment

Associated Types

type Unwrapped Assignment

Methods

_Wrapped' :: Iso' Assignment (Unwrapped Assignment)

HasAssignment (Storage s) Assignment

Defined in Satyros.DPLL.Storage

Methods

assignment :: Lens' (Storage s) Assignment

type Index Assignment

Defined in Satyros.DPLL.Assignment

type Index Assignment = Variable

type IxValue Assignment

Defined in Satyros.DPLL.Assignment

type IxValue Assignment = (Bool, Maybe Clause)

type Unwrapped Assignment

Defined in Satyros.DPLL.Assignment

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

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

eraseVariables :: Set Variable -> Assignment -> Assignment

valueOfVariable :: Variable -> Traversal' Assignment Bool

valueOfLiteral :: Literal -> Traversal' Assignment Bool

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