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

Class AtomMother

java.lang.Object

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

public class AtomMother
extends Object

Constructor Summary

Constructors

Constructor	Description
AtomMother()

Method Summary

Modifier and Type	Method	Description
static edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Atom	createAtom(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LogicSchema logicSchema, String predicateName, String... termNames)
static edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Atom	createAtom(String predicateName, String... termNames)
static edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Atom	createAtom(String predicateName, List<edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Term> terms)
static edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Atom	createAtomWithVariableNames(String predicateName, List<String> variableNames)

Methods inherited from class java.lang.Object

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

Constructor Details

AtomMother

public AtomMother()

Method Details

createAtomWithVariableNames

public static edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Atom createAtomWithVariableNames(String predicateName,
 List<String> variableNames)

createAtom

public static edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Atom createAtom(String predicateName,
 List<edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Term> terms)

createAtom

public static edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Atom createAtom(String predicateName,
 String... termNames)

createAtom

public static edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Atom createAtom(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LogicSchema logicSchema,
 String predicateName,
 String... termNames)