src-gu/mir-reasoner/src/common_classes/TaxonomyInfo.java
/** Prints the taxonomies and their interrelations to the given output with the given formatting. */
Prints the taxonomies and their interrelations to the given output with the given formatting.
Prints the taxonomies and their interrelations to the given output with the given formatting .
public static void printTaxonomies(PrintStream output, int outputType, Taxonomy T1, Taxonomy T2, Map<TaxonPair, String> articulations, Map<TaxonPair, String> localProvenance, Map<TaxonPair, String> globalProvenance, boolean isProvenance){
		if (outputType == Parser.SPECIAL)
			printSpecialFormat(output, T1, T2, articulations, localProvenance, globalProvenance, false, isProvenance);
		else if (outputType == Parser.STANDARD)
			printStandardFormat(output, T1, T2, articulations, localProvenance, globalProvenance, false, isProvenance);
		else
			System.out.println("Invalid output type.");
	}
public static void printTaxonomies ( PrintStream output , int outputType , Taxonomy T1 , Taxonomy T2 , Map < TaxonPair , String > articulations , Map < TaxonPair , String > localProvenance , Map < TaxonPair , String > globalProvenance , boolean isProvenance ) { if ( outputType == Parser . SPECIAL ) printSpecialFormat ( output , T1 , T2 , articulations , localProvenance , globalProvenance , false , isProvenance ) ; else if ( outputType == Parser . STANDARD ) printStandardFormat ( output , T1 , T2 , articulations , localProvenance , globalProvenance , false , isProvenance ) ; else System . out . println ( "Invalid output type." ) ; }
Prints the taxonomies and their interrelations to the given output with the given formatting.
Prints the taxonomies and their interrelations to the given output with the given formatting .