C# (CSharp) Scc.AddEdge Examples

Example #1

 // 1..n for true, -1..-n for false
 // adding clause v1 or v2
 public void AddClause(int v1, int v2)
 {
     scc.AddEdge(getNum(-v1), getNum(v2));
     scc.AddEdge(getNum(-v2), getNum(v1));
 }