ImplicationGraph.Node

dlevel とは、decision level のことをさす。

struct ImplicationGraph

alias Node = Tuple!(Literal, "literal", size_t, "dlevel")

Meta

Source

See Implementation

satd solvers cdcl ImplicationGraph aliases

Node

constructors

this

functions

variables