Uses of Class
edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Term

Packages that use Term

Package	Description
edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation.spec.helpers
edu.upc.fib.inlab.imp.kse.logics.logicschema.domain
edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.operations
edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation
edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers

Uses of Term in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation.spec.helpers

Methods in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation.spec.helpers with parameters of type Term

Modifier and Type	Method	Description
static TermSpec	DependencySchemaToSpecHelper.buildTermSpec(Term t)

Method parameters in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation.spec.helpers with type arguments of type Term

Modifier and Type	Method	Description
static List<TermSpec>	DependencySchemaToSpecHelper.buildTermsSpecs(List<Term> terms)

Uses of Term in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain

Subclasses of Term in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain

Modifier and Type	Class	Description
class	Constant	Implementation of a logic constant.
class	Variable	Implementation of a logic variable.

Methods in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain that return Term

Modifier and Type	Method	Description
Term	Constant.applySubstitution(Substitution substitution)
abstract Term	Term.applySubstitution(Substitution substitution)
Term	Variable.applySubstitution(Substitution substitution)
Term	ImmutableTermList.get(int index)
Term	ComparisonBuiltInLiteral.getLeftTerm()
Term	ComparisonBuiltInLiteral.getRightTerm()
Term	ImmutableTermList.remove(int index)	Deprecated. This operation is not supported
Term	ImmutableTermList.set(int index, Term element)	Deprecated. This operation is not supported

Methods in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain that return types with arguments of type Term

Modifier and Type	Method	Description
Iterator<Term>	ImmutableTermList.iterator()
ListIterator<Term>	ImmutableTermList.listIterator()
ListIterator<Term>	ImmutableTermList.listIterator(int index)

Methods in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain with parameters of type Term

Modifier and Type	Method	Description
void	ImmutableTermList.add(int index, Term element)	Deprecated. This operation is not supported
boolean	ImmutableTermList.add(Term term)	Deprecated. This operation is not supported
Term	ImmutableTermList.set(int index, Term element)	Deprecated. This operation is not supported

Method parameters in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain with type arguments of type Term

Modifier and Type	Method	Description
boolean	ImmutableTermList.addAll(int index, Collection<? extends Term> c)	Deprecated. This operation is not supported
boolean	ImmutableTermList.addAll(Collection<? extends Term> c)	Deprecated. This operation is not supported
static ConjunctiveQuery	QueryFactory.createConjunctiveQuery(List<Term> headTerms, List<Literal> body)
static Query	QueryFactory.createQuery(List<Term> headTerms, List<Literal> body)

Constructors in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain with parameters of type Term

Modifier	Constructor	Description
	ComparisonBuiltInLiteral(Term leftTerm, Term rightTerm, ComparisonOperator operator)
	EqualityComparisonBuiltInLiteral(Term leftTerm, Term rightTerm)
	ImmutableTermList(Term... terms)

Constructor parameters in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain with type arguments of type Term

Modifier	Constructor	Description
	Atom(Predicate predicate, List<Term> terms)
	CustomBuiltInLiteral(String operationName, List<Term> terms)
	ImmutableTermList(List<Term> termsList)

Uses of Term in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.operations

Methods in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.operations that return types with arguments of type Term

Modifier and Type	Method	Description
Optional<Term>	Substitution.getTerm(Variable variable)

Methods in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.operations with parameters of type Term

Modifier and Type	Method	Description
void	Substitution.addMapping(Variable domainVariable, Term rangeTerm)	Include in this substitution a new mapping from the domainVariable to the rangeTerm If such mapping already exists, it throws a SubstitutionException if the rangeTerm is different compared to the current image of the domainVariable

Constructor parameters in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.operations with type arguments of type Term

Modifier	Constructor	Description
	Substitution(List<Term> domainTerms, List<Term> rangeTerms)	Creates a Substitution that replaces each i-th term from domainTerms to unify with the i-th rangeTerm If such substitution does not exist, it throws a SubstitutionException.

Uses of Term in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation

Methods in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation that return Term

Modifier and Type	Method	Description
static Term	TermSpecToTermFactory.buildTerm(TermSpec termSpec)

Uses of Term in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers

Methods in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers with parameters of type Term

Modifier and Type	Method	Description
static TermSpec	LogicSchemaToSpecHelper.buildTermSpec(Term t)

Method parameters in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers with type arguments of type Term

Modifier and Type	Method	Description
static List<TermSpec>	LogicSchemaToSpecHelper.buildTermsSpecs(List<Term> terms)