Package edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers

Class TermMother

java.lang.Object

edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers.TermMother

public class TermMother
extends Object

Constructor Summary

Constructors

Constructor	Description
TermMother()

Method Summary

Modifier and Type	Method	Description
static edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Term	createTerm(String termName)
static edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableTermList	createTerms(String... terms)
static edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableTermList	createTerms(List<String> terms)

Methods inherited from class java.lang.Object

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

Constructor Details

TermMother

public TermMother()

Method Details

createTerms

public static edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableTermList createTerms(List<String> terms)

createTerms

public static edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableTermList createTerms(String... terms)

createTerm

public static edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Term createTerm(String termName)