// SCG level interfaces (valid,quality)

// scg.beh
InstancePredicateInterface{{
// does instance i belong to Claim c?
public boolean belongs(PG_Claim c, PG_Instance i);
}}

ClaimInterface{{
// returns quality that claim predicts
// double is in [0..1]
public double quality(PG_Claim c); // important to SCG
}}

ValidInterface{{
// is Solution s valid for Instance i?
public boolean valid(PG_Instance i, PG_Solution s);
}}
QualityInterface{{
// what is the quality of Solution s for Instance i?
public double quality(PG_Instance i, PG_Solution s);
}}