C# (CSharp) CourseraTasks.CSharp Literal Examples

Example #1

File: Papadimitriou.cs Project: korzenikov/Projects

 private static bool IsSatisfied(Literal literal, IList<bool> assignment)
 {
     return literal.Negation != assignment[literal.Index];
 }

Example #2

File: BacktrackingTwoSatSolver.cs Project: korzenikov/Projects

 private static bool IsFalse(Literal literal, int variable, bool value)
 {
     return literal != null && literal.Index == variable && literal.Negation == value;
 }

Example #3

File: TwoSatSolver.cs Project: korzenikov/Projects

 private static int GetNodeIndex(Literal literal)
 {
     return literal.Negation ? GetNegativeLiteralNodeIndex(literal.Index) : literal.Index;
 }