예제 #1
0
 private static bool IsSatisfied(Literal literal, IList<bool> assignment)
 {
     return literal.Negation != assignment[literal.Index];
 }
 private static bool IsFalse(Literal literal, int variable, bool value)
 {
     return literal != null && literal.Index == variable && literal.Negation == value;
 }
예제 #3
0
 private static int GetNodeIndex(Literal literal)
 {
     return literal.Negation ? GetNegativeLiteralNodeIndex(literal.Index) : literal.Index;
 }