class VLogToModelConverter {

	static Term toTerm(karmaresearch.vlog.Term vLogTerm) {
		final String name = vLogTerm.getName();
		switch (vLogTerm.getTermType()) {
		case CONSTANT:
			return toConstant(name);
		case BLANK:
			return new NamedNullImpl(name);
		case VARIABLE:
			throw new IllegalArgumentException(
					"VLog variables cannot be converted without knowing if they are universally or existentially quantified.");
		default:
			throw new IllegalArgumentException("Unexpected VLog term type: " + vLogTerm.getTermType());
		}
	}

}