void function ( boolean arg0 ) { this . refutationTableOn = arg0 ; }
sets boolean flag deciding if refutation table should be used . concode_field_sep boolean parentsMemorizingChildren concode_elem_sep double depthLimit concode_elem_sep String transpositionTableClassName concode_elem_sep String refutationTableClassName concode_elem_sep boolean transpositionTableOn concode_elem_sep boolean quiescenceOn concode_elem_sep double refutationTableDepthLimit concode_elem_sep IdentifierType identifierType concode_elem_sep long timeLimit concode_elem_sep boolean refutationTableOn concode_field_sep String getRefutationTableClassName concode_elem_sep void setRefutationTableClassName concode_elem_sep void setRefutationTableDepthLimit concode_elem_sep void setTranspositionTableClassName concode_elem_sep void setTranspositionTableOn concode_elem_sep boolean isTranspositionTableOn concode_elem_sep void setQuiescenceOn concode_elem_sep void setParentsMemorizingChildren concode_elem_sep boolean isRefutationTableOn concode_elem_sep boolean isParentsMemorizingChildren concode_elem_sep double getDepthLimit concode_elem_sep void setIdentifierType concode_elem_sep void setTimeLimit concode_elem_sep long getTimeLimit concode_elem_sep boolean isQuiescenceOn concode_elem_sep double getRefutationTableDepthLimit concode_elem_sep IdentifierType getIdentifierType concode_elem_sep void setDepthLimit concode_elem_sep String getTranspositionTableClassName concode_elem_sep String toString