public CspTerm[] TheGermanSmokesPrince() { return(HouseNumbers.Select(houseNumber => Solver.Equal( SmokeMatrix[houseNumber][(int)Smoke.Prince], NationalityMatrix[houseNumber][(int)Nationality.German])) .ToArray()); }
public CspTerm[] InTheYellowHouseTheySmokeDunhill() { return(HouseNumbers.Select(houseNumber => Solver.Equal( SmokeMatrix[houseNumber][(int)Smoke.Dunhill], ColourMatrix[houseNumber][(int)HouseColour.Yellow])) .ToArray()); }
public CspTerm[] TheManWhoSmokesBlueMasterDrinksBeer() { return(HouseNumbers.Select(houseNumber => Solver.Equal( SmokeMatrix[houseNumber][(int)Smoke.BlueMaster], DrinkMatrix[houseNumber][(int)Drink.Beer])) .ToArray()); }
public CspTerm[] TheManWhoSmokesPallMallHasBirds() { return(HouseNumbers.Select(houseNumber => Solver.Equal( SmokeMatrix[houseNumber][(int)Smoke.PallMall], PetMatrix[houseNumber][(int)Pet.Bird])) .ToArray()); }
public CspTerm[] TheyDrinkCoffeeInTheGreenHouse() { return(HouseNumbers.Select(houseNumber => Solver.Equal( DrinkMatrix[houseNumber][(int)Drink.Coffee], ColourMatrix[houseNumber][(int)HouseColour.Green])) .ToArray()); }
public CspTerm[] TheEnglishManLivesInTheRedHouse() { return(HouseNumbers.Select(houseNumber => Solver.Equal( ColourMatrix[houseNumber][(int)HouseColour.Red], NationalityMatrix[houseNumber][(int)Nationality.English])) .ToArray()); }
public CspTerm[] TheSwedeHasADog() { return(HouseNumbers.Select(houseNumber => Solver.Equal( PetMatrix[houseNumber][(int)Pet.Dog], NationalityMatrix[houseNumber][(int)Nationality.Swedish])) .ToArray()); }
public CspTerm[] TheDaneDrinksTea() { return(HouseNumbers.Select(houseNumber => Solver.Equal( Solver.Equal(DrinkMatrix[houseNumber][(int)Drink.Tea], NationalityMatrix[houseNumber][(int)Nationality.Danish]))) .ToArray()); }