// Path: src/jbenchmarker/woot/WootIdentifier.java
// public class WootIdentifier implements Comparable<WootIdentifier> {
//     public static final WootIdentifier IB = new WootIdentifier(-1,0);
//     public static final WootIdentifier IE = new WootIdentifier(-1,1);;
// 
//     public WootIdentifier(int replica, int clock) {
//         this.replica = replica;
//         this.clock = clock;
//     }
//     
//     private int replica;
//     private int clock;
// 
//     public int getClock() {
//         return clock;
//     }
// 
//     public int getReplica() {
//         return replica;
//     }
// 
// 
//     @Override
//     public int compareTo(WootIdentifier t) {
//         if (this.replica == t.replica) 
//             return this.clock - t.clock;
//         else 
//             return this.replica - t.replica;
//     }
//     
//     public WootIdentifier clone() {
//         return new WootIdentifier(replica,clock);
//     }
// 
//     @Override
//     public boolean equals(Object obj) {
//         if (obj == null) {
//             return false;
//         }
//         if (getClass() != obj.getClass()) {
//             return false;
//         }
//         final WootIdentifier other = (WootIdentifier) obj;
//         if (this.replica != other.replica) {
//             return false;
//         }
//         if (this.clock != other.clock) {
//             return false;
//         }
//         return true;
//     }
// 
//     @Override
//     public int hashCode() {
//         int hash = 7;
//         hash = 13 * hash + this.replica;
//         hash = 13 * hash + this.clock;
//         return hash;
//     }
// }
// 
// Path: src/jbenchmarker/woot/WootNode.java
// public abstract class WootNode { 
//     
//     private WootIdentifier id; // own identifier
// 
//     private char content;
//     private boolean visible;
// 
//     public WootNode(WootIdentifier id, char content, boolean visible) {
//         this.id = id;
//         this.content = content;
//         this.visible = visible;
//     }
// 
//     public WootIdentifier getId() {
//         return id;
//     }
// 
//     public char getContent() {
//         return content;
//     }
// 
//     public boolean isVisible() {
//         return visible;
//     }
// 
//     public void setVisible(boolean visible) {
//         this.visible = visible;
//     }
// }


import jbenchmarker.woot.WootIdentifier;
import jbenchmarker.woot.WootNode;
/**
 *   This file is part of ReplicationBenchmark.
 *
 *   ReplicationBenchmark is free software: you can redistribute it and/or modify
 *   it under the terms of the GNU General Public License as published by
 *   the Free Software Foundation, either version 3 of the License, or
 *   (at your option) any later version.
 *
 *   ReplicationBenchmark is distributed in the hope that it will be useful,
 *   but WITHOUT ANY WARRANTY; without even the implied warranty of
 *   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 *   GNU General Public License for more details.
 *
 *   You should have received a copy of the GNU General Public License
 *   along with ReplicationBenchmark.  If not, see <http://www.gnu.org/licenses/>.
 *
 **/

/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */

package jbenchmarker.woot.original;


/**
 *
 * @author urso
 */
public class WootOriginalNode extends WootNode {
    private WootOriginalNode cp; // previous node
    private WootOriginalNode cn; // next node
    
// Path: src/jbenchmarker/woot/WootIdentifier.java
// public class WootIdentifier implements Comparable<WootIdentifier> {
//     public static final WootIdentifier IB = new WootIdentifier(-1,0);
//     public static final WootIdentifier IE = new WootIdentifier(-1,1);;
// 
//     public WootIdentifier(int replica, int clock) {
//         this.replica = replica;
//         this.clock = clock;
//     }
//     
//     private int replica;
//     private int clock;
// 
//     public int getClock() {
//         return clock;
//     }
// 
//     public int getReplica() {
//         return replica;
//     }
// 
// 
//     @Override
//     public int compareTo(WootIdentifier t) {
//         if (this.replica == t.replica) 
//             return this.clock - t.clock;
//         else 
//             return this.replica - t.replica;
//     }
//     
//     public WootIdentifier clone() {
//         return new WootIdentifier(replica,clock);
//     }
// 
//     @Override
//     public boolean equals(Object obj) {
//         if (obj == null) {
//             return false;
//         }
//         if (getClass() != obj.getClass()) {
//             return false;
//         }
//         final WootIdentifier other = (WootIdentifier) obj;
//         if (this.replica != other.replica) {
//             return false;
//         }
//         if (this.clock != other.clock) {
//             return false;
//         }
//         return true;
//     }
// 
//     @Override
//     public int hashCode() {
//         int hash = 7;
//         hash = 13 * hash + this.replica;
//         hash = 13 * hash + this.clock;
//         return hash;
//     }
// }
// 
// Path: src/jbenchmarker/woot/WootNode.java
// public abstract class WootNode { 
//     
//     private WootIdentifier id; // own identifier
// 
//     private char content;
//     private boolean visible;
// 
//     public WootNode(WootIdentifier id, char content, boolean visible) {
//         this.id = id;
//         this.content = content;
//         this.visible = visible;
//     }
// 
//     public WootIdentifier getId() {
//         return id;
//     }
// 
//     public char getContent() {
//         return content;
//     }
// 
//     public boolean isVisible() {
//         return visible;
//     }
// 
//     public void setVisible(boolean visible) {
//         this.visible = visible;
//     }
// }


// Path: src/jbenchmarker/woot/original/WootOriginalNode.java
import jbenchmarker.woot.WootIdentifier;
import jbenchmarker.woot.WootNode;

/**
 *   This file is part of ReplicationBenchmark.
 *
 *   ReplicationBenchmark is free software: you can redistribute it and/or modify
 *   it under the terms of the GNU General Public License as published by
 *   the Free Software Foundation, either version 3 of the License, or
 *   (at your option) any later version.
 *
 *   ReplicationBenchmark is distributed in the hope that it will be useful,
 *   but WITHOUT ANY WARRANTY; without even the implied warranty of
 *   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 *   GNU General Public License for more details.
 *
 *   You should have received a copy of the GNU General Public License
 *   along with ReplicationBenchmark.  If not, see <http://www.gnu.org/licenses/>.
 *
 **/

/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */

package jbenchmarker.woot.original;


/**
 *
 * @author urso
 */
public class WootOriginalNode extends WootNode {
    private WootOriginalNode cp; // previous node
    private WootOriginalNode cn; // next node
    
    public static final WootOriginalNode CB = new WootOriginalNode(WootIdentifier.IB, null, null, ' ', false);