class ModelToVLogConverter {

	static String[] toVLogFactTuple(final Fact fact) {
		final List<Term> terms = fact.getArguments();
		final String[] vLogFactTuple = new String[terms.size()];
		int i = 0;
		for (final Term term : terms) {
			// No checks for type of term -- only constants allowed in facts!
			if (term instanceof Constant) {
				vLogFactTuple[i] = TermToVLogConverter.getVLogNameForConstant((Constant) term);
			} else if (term instanceof NamedNull) {
				vLogFactTuple[i] = TermToVLogConverter.getVLogNameForNamedNull((NamedNull) term);
			} else {
				throw new RulewerkRuntimeException("Terms in facts must be constants or named nulls. Encountered "
						+ term + " of type " + term.getType() + ".");
			}
			i++;
		}
		return vLogFactTuple;
	}

	private  ModelToVLogConverter();

}