class ModelToVLogConverter {

	static karmaresearch.vlog.Rule[] toVLogRuleArray(final Collection<Rule> rules) {
		final karmaresearch.vlog.Rule[] vLogRules = new karmaresearch.vlog.Rule[rules.size()];
		int i = 0;
		for (final Rule rule : rules) {
			vLogRules[i] = toVLogRule(rule);
			i++;
		}
		return vLogRules;
	}

	private  ModelToVLogConverter();

}