sat-d ~master (2022-04-03T07:32:45.429282)

Assignment.unassigned

satd assignment Assignment

Undocumented in source.

struct Assignment

RedBlackTree!Literal unassigned;

Meta

Source

See Implementation

satd assignment Assignment constructors

this

functions

assign
clear
fillUnassignedLiterals
getTruthOfVariable
getUnassignedLiteral
toDIMACSFormat
toString

variables

_assignment
unassigned

Page generated by adrdox