public override int CompareTo(PDLSet set) { var pp = set as PDLPredSet; if (pp != null) { return(pred.CompareTo(pp.pred)); } return(name.CompareTo(set.name)); }
public override int CompareTo(PDLSet set) { var pp = set as PDLSetCmpPos; if (pp != null && name == set.name) { return(pos.CompareTo(pp.pos)); } return(name.CompareTo(set.name)); }
public override int CompareTo(PDLSet set) { var pp = set as PDLIndicesOf; if (pp != null) { return(str.CompareTo(pp.str)); } return(name.CompareTo(set.name)); }
public override int CompareTo(PDLSet set) { var pp = set as PDLSetVar; if (pp != null) { return(var.CompareTo(pp.var)); } return(name.CompareTo(set.name)); }
public override int CompareTo(PDLSet set) { return(name.CompareTo(set.name)); }
public abstract MSOFormula Contains(FreshGen fg, string v); // FO variable v public abstract int CompareTo(PDLSet set);