コード例 #1
0
ファイル: Papadimitriou.cs プロジェクト: korzenikov/Projects 
 private static bool IsSatisfied(Literal literal, IList<bool> assignment)
 {
     return literal.Negation != assignment[literal.Index];
 }
コード例 #2
0
 private static bool IsFalse(Literal literal, int variable, bool value)
 {
     return literal != null && literal.Index == variable && literal.Negation == value;
 }
コード例 #3
0
ファイル: TwoSatSolver.cs プロジェクト: korzenikov/Projects 
 private static int GetNodeIndex(Literal literal)
 {
     return literal.Negation ? GetNegativeLiteralNodeIndex(literal.Index) : literal.Index;
 }