org.deri.iris.terms
Class TermFactory

java.lang.Object
  org.deri.iris.terms.TermFactory

All Implemented Interfaces:

ITermFactory

public class TermFactory
extends Object
implements ITermFactory

Author:

richi

Method Summary

IConstructedTerm	createConstruct(String name, Collection<ITerm> terms)
IConstructedTerm	createConstruct(String name, ITerm... terms)
IStringTerm	createString(String arg)
IVariable	createVariable(String name)
static ITermFactory	getInstance()

Methods inherited from class java.lang.Object

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

Method Detail

createConstruct

public IConstructedTerm createConstruct(String name,
                                        Collection<ITerm> terms)

Specified by:

createConstruct in interface ITermFactory

createConstruct

public IConstructedTerm createConstruct(String name,
                                        ITerm... terms)

Specified by:

createConstruct in interface ITermFactory

createString

public IStringTerm createString(String arg)

Specified by:

createString in interface ITermFactory

createVariable

public IVariable createVariable(String name)

Specified by:

createVariable in interface ITermFactory

getInstance

public static ITermFactory getInstance()