package sudoku;

import common.graph.Graph;
import java.util.stream.Stream;

/**
 * <p>A graph or subgraph of a sudoku puzzle.</p>
 * @author fiveham
 */
public interface Sudoku extends Graph<NodeSet<?,?>>{
	
  /**
   * <p>Returns true if this Sudoku is solved, false otherwise. A Sudoku is solved if all its
   * Facts contain only one truth-claim.</p>
   * @return true if this Sudoku is solved, false otherwise
   */
	public boolean isSolved();
	
  /**
   * <p>Returns a {@code Stream<Fact>} providing access to all of this {@code Sudoku}'s underlying
   * {@link common.graph.Graph Graph}'s Facts.</p>
   * @return a {@code Stream<Fact>} providing access to all of this {@code Sudoku}'s underlying
   * {@link common.graph.Graph Graph}'s Facts.
   */
	public Stream<Fact> factStream();
	
  /**
   * <p>Returns a Stream of the Claims in this Sudoku's underlying Graph.</p>
   * @return a Stream of the Claims in this Sudoku's underlying Graph.
   */
	public Stream<Claim> claimStream();
	
  /**
   * <p>Returns the fundamental order of this Sudoku. For a Puzzle, this is the square root of the 
   * {@link #sideLength() side length}.</p>
   * @return the fundamental order of this Sudoku
   */
	public int magnitude();
	
  /**
   * <p>Returns the square of the {@link #magnitude() magnitude}. FOr a Puzzle, this is length of a 
   * side of this puzzle.</p>
   * @return the square of the magnitude
   */
	public int sideLength();
}

@@ -471,282 +471,105 @@
 s a 
-%7B@code Stream%3CFact%3E%7D providing access to all of this %7B@code Sudoku%7D's underlying%0A   * %7B@link common.graph.Graph Graph%7D's Facts.%3C/p%3E%0A   * @return a %7B@code Stream%3CFact%3E%7D providing access to all of this %7B@code Sudoku%7D's underlying%0A   * %7B@link common.graph.Graph Graph%7D's Facts.
+Stream of all the Facts in this Sudoku.%3C/p%3E%0A   * @return a Stream of all the Facts in this Sudoku
 %0A   
@@ -634,32 +634,36 @@
 rns a Stream of 
+all 
 the Claims in th
@@ -671,35 +671,16 @@
 s Sudoku
-'s underlying Graph
 .%3C/p%3E%0A  
@@ -698,24 +698,28 @@
 a Stream of 
+all 
 the Claims i
@@ -735,28 +735,8 @@
 doku
-'s underlying Graph.
 %0A   
@@ -1087,9 +1087,9 @@
 %7D. F
-O
+o
 r a 

update Sudoku javadoc