code.space
Class ComputationFactory

java.lang.Object
  code.space.ComputationFactory

public class ComputationFactory
extends java.lang.Object

Constructor Summary

private

ComputationFactory()

Method Summary

static Computation	create(Term term, Client client)
static Computation	create(Term term, Subst subst, Client client)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ComputationFactory

private ComputationFactory()

Method Detail

create

public static Computation create(Term term,
                                 Client client)

create

public static Computation create(Term term,
                                 Subst subst,
                                 Client client)