question: public static String nodeSubTypeToString ( int subType ) { String val = "?" ; switch ( subType ) { case NodeRepresentation . AND_TYPE : val = "AND_TYPE" ; break ; case NodeRepresentation . OR_TYPE : val = "OR_TYPE" ; break ; case NodeRepresentation . IMPLIES_TYPE : val = "IMPLIES_TYPE" ; break ; case NodeRepresentation . FORALL_TYPE : val = "FORALL_TYPE" ; break ; case NodeRepresentation . EXISTS_TYPE : val = "EXISTS_TYPE" ; break ; case NodeRepresentation . SQSUB_TYPE : val = "SQSUB_TYPE" ; break ; case NodeRepresentation . OTHER_TYPE : val = "OTHER_TYPE" ; break ; } return val ; }
target:  Converts a NodeRepresentation subType to a string. Used for debugging.