public RevFilter clone() {return new Binary(a.clone(), b.clone());}

public RevFilter clone ( ) { return new Binary ( a . clone ( ) , b . clone ( ) ) ; }
public override TreeFilter Clone(){return new OrTreeFilter.Binary(a.Clone(), b.Clone());}
