public TreeSearchState < E > getChildStateForOperator ( Operator < Tree < E > > op ) { /*log.fine("public Traversable getChildStateForOperator(Operator op): called");*/ // Extract the child tree from the operator and create a new tree search state from it. return new TreeSearchState < E > ( op . getOp ( ) ) ; }
Returns the state obtained by applying the specified operation . If the operation is not valid then this should return null .