hu.birot.OTKit.grammarExamples
Class MagicSquare

java.lang.Object
  hu.birot.OTKit.grammarExamples.MagicSquare

public class MagicSquare
extends java.lang.Object

Static methods providing the Gen and Topology of "magic square models". See Biro (2006) chapter 6, as well as recent articles of the author. The nextNeighborOf(Candidate) and nextCandidate(Form) methods are not implemented yet.

Constructor Summary

MagicSquare()

Method Summary

static Gen	MagicSquareGen1() A magic square Gen with four candidates only.
static Topology	MagicSquareTopology1() A magic square topology with four candidates only.
static Topology	MagicSquareTopology2eq() A magic square topology with infinitely many candidates.
static Topology	MagicSquareTopology2sym() A magic square topology with infinitely many candidates.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

MagicSquare

public MagicSquare()

Method Detail

MagicSquareTopology1

public static Topology MagicSquareTopology1()

A magic square topology with four candidates only.

MagicSquareTopology2eq

public static Topology MagicSquareTopology2eq()

A magic square topology with infinitely many candidates. All neighbors with equal probability.

MagicSquareTopology2sym

public static Topology MagicSquareTopology2sym()

A magic square topology with infinitely many candidates. Chance of changing counter 1: 0.25, chance of changing counter 2: 0.25. Chance of changing counter 3: 0.50; that is, if counter 3 ==0, then 0.50 probability to increase it; otherwise, 0.25 chance to increase it and 0.25 to decrease it.

MagicSquareGen1

public static Gen MagicSquareGen1()

A magic square Gen with four candidates only.