/** {@inheritDoc} */ public Traversable<ResolutionState> getChildStateForOperator(Operator<ResolutionState> op) { return op.getOp(); }
/** {@inheritDoc} */ public Term getChildStateForOperator(Operator<Term> op) { return op.getOp(); }
/** {@inheritDoc} */ public Term getChildStateForOperator(Operator<Term> op) { return op.getOp(); }
/** {@inheritDoc} */ public Traversable<LabelState> getChildStateForOperator(Operator<LabelState> op) { return op.getOp(); }
/** * Returns the state obtained by applying the specified operation. If the operation is not valid then this should * return null. * * @param op The operator to apply to the traversable state. * * @return The new traversable state generated by applying the specified operator. */ 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. * * @param op The operator to apply to the traversable state. * * @return The new traversable state generated by applying the specified operator. */ 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 search state associated with the named hierarchy label element that is a child of this one. * * @param operator The child hierarchy label element to get the search state for. * * @return The search state associated with the named hierarchy label element that is a child of this one. */ public HierarchyLabelState getChildStateForOperator(Operator operator) { // log.debug("public Traversable getChildStateForOperator(String operator): called"); // log.debug("operator = " + operator); // log.debug(this); for (HierarchyLabelType nextLabel : label.getHierarchyLabel()) { if (operator.getOp().equals(nextLabel.getName())) { List<String> newPath = new ArrayList<String>(path); newPath.add(nextLabel.getName()); // log.debug("Generated state: label = " + nextLabel.getName() + ", path = " + newPath); return new HierarchyLabelState(nextLabel, newPath); } } // Should never get here as only valid operator names are supplied by the validOperators method. return null; }
char opc = ((String) op.getOp()).charAt(0);
char opc = ((String) op.getOp()).charAt(0);
char playedMove = ((String) searchNode.getAppliedOp().getOp()).charAt(0);
char playedMove = ((String) searchNode.getAppliedOp().getOp()).charAt(0);