org.deri.iris.api.factory
Interface ITermFactory

All Known Implementing Classes:
TermFactory

public interface ITermFactory

An interface that can be used to create a term as a logical entity. Different types of terms may be constructed.

Author:
Darko Anicic, DERI Innsbruck

Method Summary
 IConstructedTerm createConstruct(String name, Collection<ITerm> terms)
           
 IConstructedTerm createConstruct(String name, ITerm... terms)
           
 IStringTerm createString(String arg)
           
 IVariable createVariable(String name)
           
 

Method Detail

createConstruct

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

createConstruct

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

createString

IStringTerm createString(String arg)

createVariable

IVariable createVariable(String name)