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

Generic Assignment

Defined in Satyros.DPLL.Assignment

Associated Types

type Rep Assignment :: Type -> Type

Methods

from :: Assignment -> Rep Assignment x

to :: Rep Assignment x -> Assignment

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 Rep Assignment

Defined in Satyros.DPLL.Assignment

type Rep Assignment = D1 ('MetaData "Assignment" "Satyros.DPLL.Assignment" "satyros-0.3.1.4-3YwMxGnZD0k1OVgpDx5SHB" 'True) (C1 ('MetaCons "Assignment" 'PrefixI 'True) (S1 ('MetaSel ('Just "getAssignment") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map Variable (Bool, Maybe Clause)))))

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)