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

Packages that use Literal

Package	Description
edu.upc.fib.inlab.imp.kse.logics.dependencyschema.domain
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.exceptions
edu.upc.fib.inlab.imp.kse.logics.logicschema.services
edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator
edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.isomorphism
edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers
edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes
edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.utils

Uses of Literal in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.domain

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

Modifier	Constructor	Description
protected	Dependency(List<Literal> body)
	EGD(List<Literal> body, EqualityComparisonBuiltInLiteral head)
	TGD(List<Literal> body, List<Atom> head)

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

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

Modifier and Type	Method	Description
static BodySpec	DependencySchemaToSpecHelper.buildBodySpec(List<Literal> body)

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

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

Modifier and Type	Class	Description
class	BooleanBuiltInLiteral	Implementation of BooleanBuiltInLiteral constants TRUE(), and FALSE()
class	BuiltInLiteral	Implementation of a logic built-in literal.
class	ComparisonBuiltInLiteral	Implementation of the logic ComparisonBuiltInLiteral.
class	CustomBuiltInLiteral	Implementation of non-standard built-in literals.
class	EqualityComparisonBuiltInLiteral
class	OrdinaryLiteral	Implementation of a logic OrdinaryLiteral.

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

Modifier and Type	Method	Description
abstract Literal	Literal.applySubstitution(Substitution substitution)
Literal	Literal.buildNegatedLiteral()	This method builds a new literal that is the negation of this one.
Literal	ImmutableLiteralsList.get(int index)
Literal	LiteralPosition.literal()	Returns the value of the literal record component.
Literal	ImmutableLiteralsList.remove(int index)	Deprecated. Unsupported operation.
Literal	ImmutableLiteralsList.set(int index, Literal element)	Deprecated. Unsupported operation.

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

Modifier and Type	Method	Description
Optional<Literal>	ImmutableLiteralsList.getOriginalLiteral(Literal currentLiteral)
Iterator<Literal>	ImmutableLiteralsList.iterator()
ListIterator<Literal>	ImmutableLiteralsList.listIterator()
ListIterator<Literal>	ImmutableLiteralsList.listIterator(int index)

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

Modifier and Type	Method	Description
void	ImmutableLiteralsList.add(int index, Literal element)	Deprecated. Unsupported operation.
boolean	ImmutableLiteralsList.add(Literal literal)	Deprecated. Unsupported operation.
Optional<Literal>	ImmutableLiteralsList.getOriginalLiteral(Literal currentLiteral)
Optional<LiteralPosition>	ImmutableLiteralsList.getOriginalLiteralPosition(Literal currentLiteral, int termIndex)
Literal	ImmutableLiteralsList.set(int index, Literal element)	Deprecated. Unsupported operation.

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

Modifier and Type	Method	Description
boolean	ImmutableLiteralsList.addAll(int index, Collection<? extends Literal> c)	Deprecated. Unsupported operation.
boolean	ImmutableLiteralsList.addAll(Collection<? extends Literal> c)	Deprecated. Unsupported operation.
ImmutableLiteralsList	ImmutableLiteralsList.sortLiterals(Comparator<Literal> literalComparator)	Sort literals according to literalComparator

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

Modifier	Constructor	Description
	ImmutableLiteralsList(Literal... literal)
	LiteralPosition(Literal literal, int position)	Creates an instance of a LiteralPosition record class.

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

Modifier	Constructor	Description
protected	DerivationRule(Atom head, List<Literal> body)	DerivationRules should be created by their corresponding DerivedLiteral.
	ImmutableLiteralsList(List<Literal> literalList)
	LogicConstraint(ConstraintID constraintID, List<Literal> body)
protected	NormalClause(List<Literal> body)

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

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

Modifier	Constructor	Description
	NoNegatableLiteral(Literal literal)

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

Methods in edu.upc.fib.inlab.imp.kse.logics.logicschema.services with parameters of type Literal

Modifier and Type	Method	Description
static boolean	MGUFinder.areLiteralsUnifiable(Literal... literals)
static Optional<Substitution>	MGUFinder.getLiteralsMGU(Literal... literals)

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

Modifier and Type	Method	Description
static boolean	MGUFinder.areLiteralsUnifiable(Collection<Literal> literals)
static Optional<Substitution>	MGUFinder.getLiteralsMGU(Collection<Literal> literals)

Uses of Literal in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator

Method parameters in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator with type arguments of type Literal

Modifier and Type	Method	Description
Optional<Boolean>	HomomorphismBasedEquivalenceAnalyzer.areEquivalent(List<Literal> first, List<Literal> second)
Optional<Boolean>	LogicEquivalenceAnalyzer.areEquivalent(List<Literal> first, List<Literal> second)
protected Optional<Substitution>	HomomorphismFinder.computeHomomorphismExtensionForLiteralsList(Substitution currentSubstitution, List<Literal> domainLiterals, ImmutableLiteralsList rangeLiterals)
Optional<Substitution>	HomomorphismFinder.findHomomorphism(List<Literal> domainLiterals, List<Literal> rangeLiterals)
Optional<Substitution>	HomomorphismFinder.findHomomorphism(List<Literal> domainLiterals, List<Literal> rangeLiterals, Substitution initialSubstitution)

Uses of Literal in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.isomorphism

Method parameters in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.isomorphism with type arguments of type Literal

Modifier and Type	Method	Description
boolean	IsomorphismComparator.areIsomorphic(List<Literal> literals1, List<Literal> literals2)	Check whether two lists of literals are isomorphic
boolean	IsomorphismComparator.areIsomorphic(List<Literal> literals1, List<Literal> literals2, String... varNamesNotToChange)	Check whether two lists of literals are isomorphic without renaming the variable names given by parameter

Uses of Literal 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 Literal

Modifier and Type	Method	Description
static LiteralSpec	LogicSchemaToSpecHelper.buildLiteralSpec(Literal literal)

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

Modifier and Type	Method	Description
static BodySpec	LogicSchemaToSpecHelper.buildBodySpec(List<Literal> body)
static LogicConstraintWithIDSpec	LogicSchemaToSpecHelper.buildLogicConstraintSpec(ConstraintID id, List<Literal> body)

Uses of Literal in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes

Constructor parameters in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes with type arguments of type Literal

Modifier	Constructor	Description
	BodySorter(Comparator<Literal> literalComparator)

Uses of Literal in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.utils

Methods in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.utils with parameters of type Literal

Modifier and Type	Method	Description
int	LiteralComparator.compare(Literal l1, Literal l2)