class ModelToVLogConverter {

	static karmaresearch.vlog.Term[] toVLogTermArray(final List<Term> terms) {
		final karmaresearch.vlog.Term[] vLogTerms = new karmaresearch.vlog.Term[terms.size()];
		int i = 0;
		for (final Term term : terms) {
			vLogTerms[i] = toVLogTerm(term);
			i++;
		}
		return vLogTerms;
	}

	private  ModelToVLogConverter();

}