sat-d ~master (2021-08-24T14:19:06Z)
Dub
Repo
Assignment.getUnassignedLiteral
satd
assignment
Assignment
Undocumented in source. Be warned that the author may not have intended to support it.
struct
Assignment
Literal
getUnassignedLiteral
(
)
Meta
Source
See Implementation
satd
assignment
Assignment
constructors
this
functions
assign
clear
fillUnassignedLiterals
getTruthOfVariable
getUnassignedLiteral
toDIMACSFormat
toString
variables
_assignment
unassigned