Package zebra4j.fact

Class Different

java.lang.Object

zebra4j.fact.CommutativeFact

zebra4j.fact.Different

All Implemented Interfaces:

Fact

@Immutable
public class Different
extends CommutativeFact

Nested Class Summary

Nested classes/interfaces inherited from class zebra4j.fact.CommutativeFact

CommutativeFact.Source

Nested classes/interfaces inherited from interface zebra4j.fact.Fact

Fact.Type

Field Summary

Fields

Modifier and Type	Field	Description
static Fact.Type	TYPE

Constructor Summary

Constructors

Constructor	Description
Different(Attribute left, Attribute right)

Method Summary

Modifier and Type	Method	Description
boolean	appliesTo(PuzzleSolution solution)
Attribute	getLeft()
Attribute	getRight()
void	postTo(ZebraModel model)
String	toString()

Methods inherited from class zebra4j.fact.CommutativeFact

appliesTo, attributeTypes, describe, equals, hashCode

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Details

TYPE

public static Fact.Type TYPE

Constructor Details

Different

public Different(Attribute left,
 Attribute right)

Method Details

postTo

public void postTo(ZebraModel model)

appliesTo

public boolean appliesTo(PuzzleSolution solution)

Parameters:

solution - required

Returns:

if the fact is true about the people in the given solution

toString

public String toString()

Overrides:

toString in class Object

getLeft

public Attribute getLeft()

Specified by:

getLeft in class CommutativeFact

getRight

public Attribute getRight()

Specified by:

getRight in class CommutativeFact