public boolean proofStep(ResolutionState state)
    {
        if (TRACE)
        {
            /*trace.fine(state.getTraceIndenter().generateTraceIndent() + "Cutting choice points...");*/
        }

        Queue<ResolutionState> choicePointStates = parentChoicePointState.getChoicePoints();

        if (choicePointStates != null)
        {
            for (ResolutionState choicePointState : choicePointStates)
            {
                choicePointState.cut();
            }
        }

        state.getGoalStack().poll();

        return true;
    }
public boolean proofStep ( ResolutionState state ) { if ( TRACE ) { } Queue < ResolutionState > choicePointStates = parentChoicePointState . getChoicePoints ( ) ; if ( choicePointStates != null ) { for ( ResolutionState choicePointState : choicePointStates ) { choicePointState . cut ( ) ; } } state . getGoalStack ( ) . poll ( ) ; return true ; }
{@inheritDoc}