auditor
Class Partition

java.lang.Object
  auditor.Partition

public class Partition
extends java.lang.Object

Class that helps checking commitments cl/cr

Author:

felippo

Field Summary

(package private) Instance[]

in

Constructor Summary

Partition(int inst, int ballots)

Method Summary

java.lang.String	getCL(int partition, int instance)
java.lang.String	getCR(int partition, int instance)
void	setCL(int partition, int instance, java.lang.String cmt)
void	setCR(int partition, int instance, java.lang.String cmt)

Methods inherited from class java.lang.Object

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

Field Detail

in

Instance[] in

Constructor Detail

Partition

public Partition(int inst,
                 int ballots)

Method Detail

getCL

public java.lang.String getCL(int partition,
                              int instance)

getCR

public java.lang.String getCR(int partition,
                              int instance)

setCL

public void setCL(int partition,
                  int instance,
                  java.lang.String cmt)

setCR

public void setCR(int partition,
                  int instance,
                  java.lang.String cmt)