package batNavale;

/** Representation de la direction d'un bateau : type enumere {
    vertical, horizontal }. 
    * @author M. Nebut
    */   
public class Direction {

    //@ public invariant this == Direction.HORZ || this == Direction.VERT;

    private Direction() {};

    public final static Direction HORZ = new Direction();
    public final static Direction VERT = new Direction();

}