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());
}
