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

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

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

ProtocolInterface {{
  public boolean result(List<Expectation> in, List<Reply> out);
}}

Protocol {{
  // For each Expectation object there is a corresponding Reply object
  // and it is clear from context how the solutions and instances are matched. 
  public boolean result(List<Expectation> in, List<Reply> out) { return true;};

}}