public String toString() {return getClass().getSimpleName() + "(fields=" + fields.size() + ",delegate=" + postingsReader + ")";}

public String toString ( ) { return getClass ( ) . getSimpleName ( ) + "(fields=" + fields . size ( ) + ",delegate=" + postingsReader + ")" ; }
public override string ToString(){return "arc=" + arc + " state=" + state;}
