public boolean isSame(Formula other) {return Arrays.equals(_byteEncoding, other._byteEncoding);}

public boolean isSame ( Formula other ) { return Arrays . equals ( _byteEncoding , other . _byteEncoding ) ; }
public bool IsSame(Formula other){return Arrays.Equals(_byteEncoding, other._byteEncoding);}
