src-gu/mir-reasoner/src/possibleworlds/PossibleWorlds.java
//Creates a new input file to be run through the reasoner
Creates a new input file to be run through the reasoner
Creates a new input file to be run through the reasoner
private TaxonomyInfo createNewWorld(SimpleRelation relation, TaxonomyInfo originalTI){
		List<SimpleRelation> newRelations = new ArrayList<SimpleRelation>(originalTI.getInterrelations());
		newRelations.add(relation);
		return (new TaxonomyInfo(inputT1, inputT2, newRelations));
	}
private TaxonomyInfo createNewWorld ( SimpleRelation relation , TaxonomyInfo originalTI ) { List < SimpleRelation > newRelations = new ArrayList < SimpleRelation > ( originalTI . getInterrelations ( ) ) ; newRelations . add ( relation ) ; return ( new TaxonomyInfo ( inputT1 , inputT2 , newRelations ) ) ; }
Creates a new input file to be run through the reasoner
Creates a new input file to be run through the reasoner