public static string GetShortString( this GroupNodeType op ) {
switch( op ) {
case GroupNodeType.AND:
return "and";
case GroupNodeType.NAND:
return "and not";
case GroupNodeType.NOR:
return "or not";
case GroupNodeType.OR:
return "or";
default:
throw new ArgumentOutOfRangeException( "op" );
}
}
}