sat-d ~master (2021-08-24T14:19:06Z)
Dub
Repo
ImplicationGraph.getNode
satd
solvers
cdcl
ImplicationGraph
与えられたリテラルを持つ頂点を取得します。
struct
ImplicationGraph
Node
getNode
(
Literal
lit
)
Meta
Source
See Implementation
satd
solvers
cdcl
ImplicationGraph
aliases
Node
constructors
this
functions
get1UIPCut
getNode
initalize
removeLevel
transformToConflictGraph
variables
decisionLiterals
edges
nodes
predecessors
successors
与えられたリテラルを持つ頂点を取得します。