All Classes
-
All Classes Interface Summary Class Summary Enum Summary Class Description AbstractPuzzleGenerator<P> AllDifferentType A type of attribute that is guaranteed to be different for all peopleAtHouse Attribute A known attribute for a person like a specific "name", "pet" or if the person is criminalAttributes A library of people attributes, demonstrating different ways to define them.AttributeType A type attribute for a person like a "name", "pet" or if the person is criminalBasicAttributeType Defines an attribute type using a set of labels.BothTrue Cli CLI for zebra4jClothes Criminal Demo Sample appDifferent Fact A fact given as clues to the playersFact.Type A type of factsLocalization NearbyHouse Facts/clues about people with certain attributes living in adjacent or nearby houses.PersonName The name attribute of a personPuzzle A puzzle that asks all attributes inPuzzle.getAttributeSets()to be assigned to people, satisfying rules defined by the attribute sets used in the puzzle (e.g.PuzzleGenerator A generator forPuzzlePuzzleSolution PuzzleSolutionBuilder PuzzleSolver Solver forPuzzleQuestion A question about an attribute of a personQuestionPuzzle A puzzle that looks for answer to the given question given rules defined by the attribute sets used in the puzzle (e.g.QuestionPuzzleGenerator A generator forQuestionPuzzleQuestionPuzzleSolver Solver forQuestionPuzzleSolutionGenerator SolutionPerson ZebraModel Wrapper on ChocoSolverModeladding variable management