src-gu/mir-reasoner/src/common_classes/TaxonomyInfo.java
/** Prints the interrelations of possible worlds to the given output with the given formatting. */
Prints the interrelations of possible worlds to the given output with the given formatting.
Prints the interrelations of possible worlds to the given output with the given formatting .
public static void printTaxonomiesPW(PrintStream output, int outputType, Taxonomy T1, Taxonomy T2, Map<TaxonPair, String> articulations,  Map<TaxonPair, String> localProvenance, Map<TaxonPair, String> globalProvenance, int worldNum, boolean isProvenance){
		cleanProvenance(localProvenance, globalProvenance);
		if (outputType == Parser.SPECIAL){
			output.println("\nPossible World " + worldNum + "\n");
			printSpecialFormat(output, T1, T2, articulations, localProvenance, globalProvenance, true, isProvenance);
		}
		else if (outputType == Parser.STANDARD){
			output.println("\nPossible World " + worldNum + "\n");
			printStandardFormat(output, T1, T2, articulations, localProvenance, globalProvenance, true, isProvenance);
		}
		else
			System.out.println("Invalid output type.");
	}
public static void printTaxonomiesPW ( PrintStream output , int outputType , Taxonomy T1 , Taxonomy T2 , Map < TaxonPair , String > articulations , Map < TaxonPair , String > localProvenance , Map < TaxonPair , String > globalProvenance , int worldNum , boolean isProvenance ) { cleanProvenance ( localProvenance , globalProvenance ) ; if ( outputType == Parser . SPECIAL ) { output . println ( "\nPossible World " + worldNum + "\n" ) ; printSpecialFormat ( output , T1 , T2 , articulations , localProvenance , globalProvenance , true , isProvenance ) ; } else if ( outputType == Parser . STANDARD ) { output . println ( "\nPossible World " + worldNum + "\n" ) ; printStandardFormat ( output , T1 , T2 , articulations , localProvenance , globalProvenance , true , isProvenance ) ; } else System . out . println ( "Invalid output type." ) ; }
Prints the interrelations of possible worlds to the given output with the given formatting.
Prints the interrelations of possible worlds to the given output with the given formatting .