MCPcopy Create free account
hub / github.com/NASU41/AtCoderLibraryForJava / addClause

Method addClause

2SAT/TwoSAT.java:18–23  ·  view source on GitHub ↗
(int x, boolean f, int y, boolean g)

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

Callers 3

addImplicationMethod · 0.95
addNandMethod · 0.95
setMethod · 0.95

Calls 2

rangeCheckMethod · 0.95
addEdgeMethod · 0.45

Tested by

no test coverage detected