include "../domain/domain.beh";

ClaimInterface{{
// what is the quality of Solution s for Instance i?
public double quality();
}}

ProtocolInterface{{
public EP begin(PlayerProxy Alice, PlayerProxy Bob, Claim claim);
}}

Claim {{
public double quality() {
  return 1.0;};
}}

Protocol {{
public void start() {
  return;};
public EP begin(PlayerProxy Alice, PlayerProxy Bob, Claim claim){
  return null ;
  };
public EP step(Transaction response){
  return null;
}
public boolean valid(Transaction response, PlayerProxy Player) {
  return true;
  };
}}