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;
}

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 ; }
converts a noderepresentation subtype to a string . used for debugging .
