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;
}
private static int GetNodeIndex(Literal literal)
{
return literal.Negation ? GetNegativeLiteralNodeIndex(literal.Index) : literal.Index;
}