package code.space;

import code.term.*;
import code.subst.*;
import code.stuff.*;

public class ComputationFactory {

    private ComputationFactory() {
    }

    public static Computation create(Term term, Client client) {
        return create(term, Subst.id, client);
    }

    public static Computation create(Term term, Subst subst, Client client) {
        Computation computation
                = new Computation(Computation.NORMAL, term, subst, client);
        Space.instance.register(computation);
        return computation;
    }

}