sat-d ~master (2022-04-03T07:32:45.429282)
Dub
Repo
Assignment._assignment
satd
assignment
Assignment
Undocumented in source.
struct
Assignment
bool
[
Literal
]
_assignment
;
Meta
Source
See Implementation
satd
assignment
Assignment
constructors
this
functions
assign
clear
fillUnassignedLiterals
getTruthOfVariable
getUnassignedLiteral
toDIMACSFormat
toString
variables
_assignment
unassigned