auditor
Class Partition
java.lang.Object
auditor.Partition
public class Partition
- extends java.lang.Object
Class that helps checking commitments cl/cr
- Author:
- felippo
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 |
in
Instance[] in
Partition
public Partition(int inst,
int ballots)
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)