private void generateModeConflictRules(List<CtModeConflictRule> modeConflictRules) {
		if (null == modeConflictRules || modeConflictRules.size() == 0) return;
		for (CtModeConflictRule conflictRule : modeConflictRules) {
			List<String> conflictList = conflictRule.getConflictWIth();
			if (null == conflictList || conflictList.size() == 0) continue;
			String[] conflictModes = conflictList.toArray(new String[conflictList.size()]);
			String mode = conflictRule.getMode();
			theory.addModeConflictRules(mode, conflictModes);
		}
	}