*Tv
	Q[ԏłLosing regioń̕EXVsimulation֌W͂̕s
	
*ϐ
	-MultiConcurrentModel mcm
		͑ΏۂƂȂQ[		
	-int checker
		ɘaΏۂƂȂvw肷邽߂̕ϐ
		DirectoryTrackerŗvǂݍ񂾍ۂɕt^ԍƑΉÂĂ
		nԖڂ̗vw肷ۂɂ2^nƂ`ɂȂB̗vw肷ꍇ͘b΂悢
			F0,2,3Ԗڂ̗vɘaΏۂƂĎw肳ĂƂ́u1+4+8=13vw肷B
		i̓R[hׂADirectoryTrackerŗvǂݍ񂾍ۂɎIɕt^ł悤ɂj
		
	-Queue<MultiConcurrentTransition> deadStack;
		Losing regionɑ邩͂̕KvȑJڂ߂邽߂̃L[
		
*\bh
	+MultiRequirementParser()
		eXgp̃RXgN^
	+List<int[]> checkSimulate(ModelInterface controller)
		Q[ԏłLosing region͂̕simulation֌W͂̕sB
		controllerŎw肳ꂽRg[̃fƂsimulation֌W͂B
		
	+List<int[]> checkUpdatedSimulate(ModelInterface controller)
		
	
	