Index

A B C D E F G H I J K L M N O P Q R S T U V W
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form

A

accept(DependencySchemaVisitor<T>) - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.domain.Dependency

accept(DependencySchemaVisitor<T>) - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.domain.DependencySchema

accept(DependencySchemaVisitor<T>) - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.domain.EGD

accept(DependencySchemaVisitor<T>) - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.domain.TGD

accept(LogicSchemaVisitor<T>) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Atom

accept(LogicSchemaVisitor<T>) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.BooleanBuiltInLiteral

accept(LogicSchemaVisitor<T>) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ComparisonBuiltInLiteral

accept(LogicSchemaVisitor<T>) - Method in enum class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ComparisonOperator

accept(LogicSchemaVisitor<T>) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Constant

accept(LogicSchemaVisitor<T>) - Method in record class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ConstraintID

accept(LogicSchemaVisitor<T>) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.CustomBuiltInLiteral

accept(LogicSchemaVisitor<T>) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.DerivationRule

accept(LogicSchemaVisitor<T>) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableAtomList

accept(LogicSchemaVisitor<T>) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableLiteralsList

accept(LogicSchemaVisitor<T>) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableTermList

accept(LogicSchemaVisitor<T>) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Literal

accept(LogicSchemaVisitor<T>) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LogicConstraint

accept(LogicSchemaVisitor<T>) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LogicSchema

accept(LogicSchemaVisitor<T>) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.OrdinaryLiteral

accept(LogicSchemaVisitor<T>) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Predicate

accept(LogicSchemaVisitor<T>) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Term

accept(LogicSchemaVisitor<T>) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Variable

add(int, Atom) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableAtomList

add(int, Literal) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableLiteralsList

Deprecated.

Unsupported operation.

add(int, Term) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableTermList

Deprecated.

This operation is not supported

add(Atom) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableAtomList

add(Literal) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableLiteralsList

Deprecated.

Unsupported operation.

add(Term) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableTermList

Deprecated.

This operation is not supported

addAll(int, Collection<? extends Atom>) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableAtomList

addAll(int, Collection<? extends Literal>) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableLiteralsList

Deprecated.

Unsupported operation.

addAll(int, Collection<? extends Term>) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableTermList

Deprecated.

This operation is not supported

addAll(Collection<? extends Atom>) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableAtomList

addAll(Collection<? extends Literal>) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableLiteralsList

Deprecated.

Unsupported operation.

addAll(Collection<? extends Term>) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableTermList

Deprecated.

This operation is not supported

addAllDependencies(List<DependencySpec>) - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation.DependencySchemaBuilder

addAllDerivationRules(List<DerivationRuleSpec>) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.LogicSchemaBuilder

addAllLiteralSpecs(List<LiteralSpec>) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers.NormalClauseSpecBuilder

addAllLogicConstraints(List<T>) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.LogicSchemaBuilder

addAllPredicates(List<PredicateSpec>) - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation.DependencySchemaBuilder

addAllPredicates(List<PredicateSpec>) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.LogicSchemaBuilder

addBuiltInLiteral(String, String...) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers.NormalClauseSpecBuilder

addConstraintId(String) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers.LogicConstraintWithIDSpecBuilder

addConstraintIDOrigin(ConstraintID, ConstraintID) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.SchemaTraceabilityMap

Adds the mapping between the constraintID and the originalID

addDependency(DependencySpec...) - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation.DependencySchemaBuilder

addDependency(Collection<DependencySpec>) - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation.DependencySchemaBuilder

addDependencySpecs(DependencySpec...) - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation.spec.DependencySchemaSpec

addDependencySpecs(List<DependencySpec>) - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation.spec.DependencySchemaSpec

addDerivationRule(Query) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.MutablePredicate

addDerivationRule(DerivationRuleSpec...) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.LogicSchemaBuilder

addDerivationRule(Collection<DerivationRuleSpec>) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.LogicSchemaBuilder

addDerivationRuleSpecs(DerivationRuleSpec...) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.LogicSchemaSpec

addDerivationRuleSpecs(List<DerivationRuleSpec>) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.LogicSchemaSpec

addHead(String, String...) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers.DerivationRuleSpecBuilder

addHead(String, List<TermSpec>) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers.DerivationRuleSpecBuilder

addLiteralSpec(LiteralSpec) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers.NormalClauseSpecBuilder

addLogicConstraint(Collection<T>) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.LogicSchemaBuilder

addLogicConstraint(T...) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.LogicSchemaBuilder

addLogicConstraintSpecs(List<T>) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.LogicSchemaSpec

addLogicConstraintSpecs(T...) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.LogicSchemaSpec

addMapping(Variable, Term) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.operations.Substitution

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

addNegatedOrdinaryLiteral(String, String...) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers.NormalClauseSpecBuilder

addOrdinaryLiteral(String, boolean, String...) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers.NormalClauseSpecBuilder

addOrdinaryLiteral(String, String...) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers.NormalClauseSpecBuilder

addPredicate(PredicateSpec...) - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation.DependencySchemaBuilder

addPredicate(PredicateSpec...) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.LogicSchemaBuilder

addPredicate(String, int) - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation.DependencySchemaBuilder

addPredicate(String, int) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.LogicSchemaBuilder

addPredicateSpecs(PredicateSpec...) - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation.spec.DependencySchemaSpec

addPredicateSpecs(PredicateSpec...) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.LogicSchemaSpec

addPredicateSpecs(List<PredicateSpec>) - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation.spec.DependencySchemaSpec

addPredicateSpecs(List<PredicateSpec>) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.LogicSchemaSpec

allEGDsDefinesKeyDependencies() - Method in record class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.egds.EGDToFDAnalysisResult

AllVariableTermTypeCriteria - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers

AllVariableTermTypeCriteria that interprets any term name as variable

AllVariableTermTypeCriteria() - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers.AllVariableTermTypeCriteria

analyze(List<EGD>) - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.egds.EGDToFDAnalyzer

applySubstitution(Substitution) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Atom

applySubstitution(Substitution) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.BooleanBuiltInLiteral

applySubstitution(Substitution) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ComparisonBuiltInLiteral

applySubstitution(Substitution) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Constant

applySubstitution(Substitution) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.CustomBuiltInLiteral

applySubstitution(Substitution) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableLiteralsList

applySubstitution(Substitution) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableTermList

applySubstitution(Substitution) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Literal

applySubstitution(Substitution) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.OrdinaryLiteral

applySubstitution(Substitution) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Term

applySubstitution(Substitution) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Variable

areAtomsUnifiable(Atom...) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.MGUFinder

areAtomsUnifiable(List<Atom>) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.MGUFinder

areEGDsNonConflictingWithTGDs(DependencySchema) - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.DatalogPlusMinusAnalyzer

Method responsible to check if the set of EGDs is non-conflicting from the set of TGDs according to the paper "Datalog+/-: A Family of Logical Knowledge Representation and Query Languages for New Applications" published in 2010 25th Annual IEEE Symposium on Logic in Computer Science

areEGDsNonConflictingWithTGDs(DependencySchema) - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.egds.NonConflictingEGDsAnalyzer

Method responsible to check if the set of EGDs is non-conflicting

areEquivalent(DerivationRule, DerivationRule) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.HomomorphismBasedEquivalenceAnalyzer

areEquivalent(DerivationRule, DerivationRule) - Method in interface edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.LogicEquivalenceAnalyzer

areEquivalent(LogicConstraint, LogicConstraint) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.HomomorphismBasedEquivalenceAnalyzer

areEquivalent(LogicConstraint, LogicConstraint) - Method in interface edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.LogicEquivalenceAnalyzer

areEquivalent(List<Literal>, List<Literal>) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.HomomorphismBasedEquivalenceAnalyzer

areEquivalent(List<Literal>, List<Literal>) - Method in interface edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.LogicEquivalenceAnalyzer

areIsomorphic(DerivationRule, DerivationRule) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.isomorphism.IsomorphismComparator

Check whether two derivation rules are isomorphic

areIsomorphic(LogicConstraint, LogicConstraint) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.isomorphism.IsomorphismComparator

Check whether two logic constraints are isomorphic

areIsomorphic(LogicSchema, LogicSchema) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.isomorphism.IsomorphismComparator

Check whether two logic schemas are isomorphic

areIsomorphic(Predicate, Predicate) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.isomorphism.IsomorphismComparator

areIsomorphic(Query, Query) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.isomorphism.IsomorphismComparator

areIsomorphic(List<Literal>, List<Literal>) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.isomorphism.IsomorphismComparator

Check whether two lists of literals are isomorphic

areIsomorphic(List<Literal>, List<Literal>, String...) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.isomorphism.IsomorphismComparator

Check whether two lists of literals are isomorphic without renaming the variable names given by parameter

areLiteralsUnifiable(Literal...) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.MGUFinder

areLiteralsUnifiable(Collection<Literal>) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.MGUFinder

arity() - Method in record class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.PredicateSpec

Returns the value of the arity record component.

ArityMismatch - Exception in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.exceptions

ArityMismatch(int, int) - Constructor for exception edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.exceptions.ArityMismatch

Atom - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain

Implementation of a logic Atom.

Atom(Predicate, List<Term>) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Atom

atoms() - Method in record class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation.spec.HeadAtomsSpec

Returns the value of the atoms record component.

B

BasicConstantTypeCriteria - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers

BasicConstantTypeCriteria() - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers.BasicConstantTypeCriteria

BiMap<K,V> - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.isomorphism

BiMap() - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.isomorphism.BiMap

BiMap(BiMap<K, V>) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.isomorphism.BiMap

BodySorter - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes

Service that returns a copy of the logicSchema where every normal clause (logic constraint, or derivation rule) has its body sorted according to the following order: 1) positive literals, 2) negated literals, 3) built-in literals.

BodySorter() - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.BodySorter

BodySorter(Comparator<Literal>) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.BodySorter

bodySpec - Variable in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers.NormalClauseSpecBuilder

BodySpec - Record Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec

Specification of a body of a normal clause.

BodySpec(List<LiteralSpec>) - Constructor for record class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.BodySpec

Creates an instance of a BodySpec record class.

BodySpecFragment() - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers.LogicSchemaToSpecHelper.BodySpecFragment

BodySpecFragment(LiteralSpec...) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers.LogicSchemaToSpecHelper.BodySpecFragment

BodySpecFragment(Collection<? extends LiteralSpec>) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers.LogicSchemaToSpecHelper.BodySpecFragment

BooleanBuiltInLiteral - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain

Implementation of BooleanBuiltInLiteral constants TRUE(), and FALSE()

BooleanBuiltInLiteral(boolean) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.BooleanBuiltInLiteral

build() - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation.DependencySchemaBuilder

build() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.LogicSchemaBuilder

build() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers.DerivationRuleSpecBuilder

build() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers.LogicConstraintWithIDSpecBuilder

build() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers.LogicConstraintWithoutIDSpecBuilder

buildBodySpec(List<Literal>) - Static method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation.spec.helpers.DependencySchemaToSpecHelper

buildBodySpec(List<Literal>) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers.LogicSchemaToSpecHelper

buildBuiltInLiteral(BuiltInLiteralSpec) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.LiteralFactory

buildBuiltInLiteralSpec(BuiltInLiteral) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers.LogicSchemaToSpecHelper

buildDerivationRuleSpec(Atom, ImmutableLiteralsList) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers.LogicSchemaToSpecHelper

buildDerivationRuleSpec(DerivationRule) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers.LogicSchemaToSpecHelper

buildDerivationRuleSpecs(List<DerivationRule>) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers.LogicSchemaToSpecHelper

buildEGDSpec(EGD) - Static method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation.spec.helpers.DependencySchemaToSpecHelper

buildFalseLiteralSpec() - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers.LogicSchemaToSpecHelper

buildHeadAtomsSpec(List<Atom>) - Static method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation.spec.helpers.DependencySchemaToSpecHelper

buildLiteralSpec(Literal) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers.LogicSchemaToSpecHelper

buildLogicConstraintSpec(ConstraintID, List<Literal>) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers.LogicSchemaToSpecHelper

buildLogicConstraintSpec(LogicConstraint) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers.LogicSchemaToSpecHelper

buildLogicConstraintSpecs(Set<LogicConstraint>) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers.LogicSchemaToSpecHelper

buildNegatedLiteral() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.BooleanBuiltInLiteral

buildNegatedLiteral() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ComparisonBuiltInLiteral

buildNegatedLiteral() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Literal

This method builds a new literal that is the negation of this one.

buildNegatedLiteral() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.OrdinaryLiteral

buildOrdinaryLiteral(OrdinaryLiteralSpec) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.LiteralFactory

buildOrdinaryLiteralSpec(OrdinaryLiteral) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers.LogicSchemaToSpecHelper

buildPredicatesSpecs(Set<Predicate>) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers.LogicSchemaToSpecHelper

buildQuery(QuerySpec) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.QueryBuilder

buildQuery(List<TermSpec>, BodySpec) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.QueryBuilder

buildQuery(List<TermSpec>, List<LiteralSpec>) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.QueryBuilder

buildTerm(TermSpec) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.TermSpecToTermFactory

buildTerms(List<TermSpec>) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.TermSpecToTermFactory

buildTermSpec(Term) - Static method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation.spec.helpers.DependencySchemaToSpecHelper

buildTermSpec(Term) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers.LogicSchemaToSpecHelper

buildTermsSpecs(List<Term>) - Static method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation.spec.helpers.DependencySchemaToSpecHelper

buildTermsSpecs(List<Term>) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers.LogicSchemaToSpecHelper

buildTGDSpec(TGD) - Static method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation.spec.helpers.DependencySchemaToSpecHelper

buildTrueLiteralSpec() - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers.LogicSchemaToSpecHelper

BuiltInLiteral - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain

Implementation of a logic built-in literal.

BuiltInLiteral() - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.BuiltInLiteral

BuiltInLiteralSpec - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec

Specification of a built-in literal.

BuiltInLiteralSpec(String, List<TermSpec>) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.BuiltInLiteralSpec

BuiltInPredicateNameChecker - Interface in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser

C

canBeNegated() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Literal

CapitalConstantsTermTypeCriteria - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers

CapitalConstantsTermTypeCriteria() - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers.CapitalConstantsTermTypeCriteria

cartesianProduct(List<LogicSchemaToSpecHelper.BodySpecFragment>, List<LogicSchemaToSpecHelper.BodySpecFragment>) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers.LogicSchemaToSpecHelper

changeLiteralOrderAllowed() - Method in record class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.isomorphism.IsomorphismOptions

Returns the value of the changeLiteralOrderAllowed record component.

changeVariableNamesAllowed() - Method in record class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.isomorphism.IsomorphismOptions

Returns the value of the changeVariableNamesAllowed record component.

changingDerivedPredicateNameAllowed() - Method in record class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.isomorphism.IsomorphismOptions

Returns the value of the changingDerivedPredicateNameAllowed record component.

checkLogicSchema(LogicSchema) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.LogicSchemaTransformationProcess

clean(LogicSchema) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.PredicateCleaner

clean(LogicSchema) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.TrivialLiteralCleaner

clear() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableAtomList

clear() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableLiteralsList

Deprecated.

Unsupported operation.

clear() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableTermList

Deprecated.

This operation is not supported

collapseMaps(List<SchemaTraceabilityMap>) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.SchemaTraceabilityMap

Method to collapse a list of maps into a unique one by means of joining them.

COMMA_SEPARATOR - Static variable in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.printer.LogicSchemaPrinter

compare(Literal, Literal) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.utils.LiteralComparator

ComparisonBuiltInLiteral - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain

Implementation of the logic ComparisonBuiltInLiteral.

ComparisonBuiltInLiteral(Term, Term, ComparisonOperator) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ComparisonBuiltInLiteral

ComparisonOperator - Enum Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain

Implementation of binary arithmetic comparison operators such as <, or <=.

computeHomomorphismExtensionForAtom(Substitution, Atom, Atom) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.HomomorphismFinder

computeHomomorphismExtensionForDerivedOrdinaryLiteral(HomomorphismFinder, Substitution, OrdinaryLiteral, OrdinaryLiteral) - Method in interface edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.DerivedOrdinaryLiteralHomomorphismCriteria

computeHomomorphismExtensionForDerivedOrdinaryLiteral(HomomorphismFinder, Substitution, OrdinaryLiteral, OrdinaryLiteral) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.HomomorphicRulesHomomorphismCriteria

computeHomomorphismExtensionForDerivedOrdinaryLiteral(HomomorphismFinder, Substitution, OrdinaryLiteral, OrdinaryLiteral) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.SamePredicateNameCriteria

computeHomomorphismExtensionForLiteralsList(Substitution, List<Literal>, ImmutableLiteralsList) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.HomomorphismFinder

computeHomomorphismExtensionForOrdinaryLiteral(Substitution, OrdinaryLiteral, OrdinaryLiteral) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.HomomorphismFinder

computeHomomorphismExtensionForTerms(Substitution, ImmutableTermList, ImmutableTermList) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.HomomorphismFinder

computeLevelHierarchy() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LogicSchema

A LevelHierarchy is a partition of the predicates of a schema into several levels, where level 0 contains the base predicates, and each derived predicate from level i is defined through predicates from levels j < i.

concatSuffix(String, String) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.utils.PredicateSuffixNamer

ConjunctiveQuery - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain

Constant - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain

Implementation of a logic constant.

Constant(String) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Constant

ConstantSpec - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec

Specification of a logic constant.

ConstantSpec(String) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.ConstantSpec

CONSTRAINT_ID_PATTERN - Static variable in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.SuffixMultipleConstraintIDGenerator

ConstraintID - Record Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain

ConstraintID(String) - Constructor for record class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ConstraintID

Creates an instance of a ConstraintID record class.

ConstraintIDGenerator<T extends LogicConstraintSpec> - Interface in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation

Interface responsible for obtaining a constraint ID for a given LogicConstraintSpec

contains(Object) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableAtomList

contains(Object) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableLiteralsList

contains(Object) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableTermList

containsAll(Collection<?>) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableAtomList

containsAll(Collection<?>) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableLiteralsList

containsAll(Collection<?>) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableTermList

containsBuiltInOrNegatedLiteralInBody() - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.domain.Dependency

containsOneExistentiallyQuantifiedVariable(TGD) - Static method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.processes.SingleExistentialVarTGDTransformer

createBody(LogicSchemaGrammarParser.BodyContext) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.LogicSchemaGrammarToSpecVisitor

createBody(QueryGrammarParser.BodyContext) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.QueryGrammarToSpecVisitor

createConjunctiveQuery(List<Term>, List<Literal>) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.QueryFactory

createDependencySchema(DependencySchemaSpec) - Static method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation.DependencySchemaFactory

createDependencySchema(DependencySchemaSpec, Set<Predicate>) - Static method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation.DependencySchemaFactory

createEnumeratedNewFreshVariable(String, Set<Variable>) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.NewFreshVariableFactory

createLogicSchema(LogicSchemaSpec<T>) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.LogicSchemaFactory

createLogicSchema(LogicSchemaSpec<T>, Set<Predicate>) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.LogicSchemaFactory

createLogicSchemaFactory() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.LogicSchemaParser

createLogicSchemaFactory() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.LogicSchemaWithIDsParser

createLogicSchemaFactory() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.LogicSchemaWithoutIDsParser

createNewFreshVariable(String, Set<Variable>) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.NewFreshVariableFactory

createQuery(List<Term>, List<Literal>) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.QueryFactory

createTermSpec(String) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers.StringToTermSpecFactory

createTermSpecs(String...) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers.StringToTermSpecFactory

createVisitor(StringToTermSpecFactory) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.LogicSchemaParser

createVisitor(StringToTermSpecFactory) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.LogicSchemaWithIDsParser

createVisitor(StringToTermSpecFactory) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.LogicSchemaWithoutIDsParser

CustomBuiltInLiteral - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain

Implementation of non-standard built-in literals.

CustomBuiltInLiteral(String, List<Term>) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.CustomBuiltInLiteral

CustomBuiltInPredicateNameChecker - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser

CustomBuiltInPredicateNameChecker(Set<String>) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.CustomBuiltInPredicateNameChecker

D

DatalogPlusMinusAnalyzer - Class in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers

DatalogPlusMinusAnalyzer() - Constructor for class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.DatalogPlusMinusAnalyzer

DatalogPlusMinusAnalyzer.DatalogPlusMinusLanguage - Enum Class in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers

DatalogPlusMinusLanguageChecker - Class in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers

DatalogPlusMinusLanguageChecker() - Constructor for class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.DatalogPlusMinusLanguageChecker

defaultLogicSchemaWithIDsBuilder() - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.LogicSchemaBuilder

defaultLogicSchemaWithIDsFactory() - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.LogicSchemaFactory

defaultLogicSchemaWithoutIDsBuilder() - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.LogicSchemaBuilder

defaultLogicSchemaWithoutIDsFactory() - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.LogicSchemaFactory

Dependency - Class in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.domain

Dependency(List<Literal>) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.domain.Dependency

DEPENDENCY - Static variable in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.printer.DependencySchemaPrinter

DependencyProcess - Interface in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.processes

DependencyProcessPipeline - Class in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.processes

A pipeline of DependencyProcesses.

DependencyProcessPipeline(List<DependencyProcess>) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.processes.DependencyProcessPipeline

DependencySchema - Class in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.domain

A dependency schema bounds several predicates and dependencies together guaranteeing their consistency.

DependencySchema(Set<Predicate>, Set<Dependency>) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.domain.DependencySchema

DependencySchemaBuilder - Class in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation

Builder that creates a DependencySchema given progressive info of a DependencySchema.

DependencySchemaBuilder() - Constructor for class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation.DependencySchemaBuilder

DependencySchemaBuilder(Set<Predicate>) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation.DependencySchemaBuilder

DependencySchemaFactory - Class in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation

Factory that creates a DependencySchema given a DependencySchemaSpec.

DependencySchemaGrammarToSpecVisitor - Class in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser

DependencySchemaGrammarToSpecVisitor(StringToTermSpecFactory) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser.DependencySchemaGrammarToSpecVisitor

DependencySchemaParser - Class in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser

DependencySchemaParser() - Constructor for class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser.DependencySchemaParser

DependencySchemaParser(TermTypeCriteria, CustomBuiltInPredicateNameChecker) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser.DependencySchemaParser

DependencySchemaPrinter - Class in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.printer

DependencySchemaPrinter() - Constructor for class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.printer.DependencySchemaPrinter

dependencySchemaSpec - Variable in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser.DependencySchemaGrammarToSpecVisitor

DependencySchemaSpec - Class in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation.spec

Specification of a whole dependency schema, that is, a specification of a set of predicates, dependencies.

DependencySchemaSpec() - Constructor for class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation.spec.DependencySchemaSpec

DependencySchemaToSpecHelper - Class in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation.spec.helpers

DependencySchemaVisitor<T> - Interface in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.domain.visitor

DependencySpec - Class in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation.spec

Specification of a Dependency.

DependencySpec(BodySpec) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation.spec.DependencySpec

DerivationRule - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain

Implementation of a logic derivation rule.

DerivationRule(Atom, List<Literal>) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.DerivationRule

DerivationRules should be created by their corresponding DerivedLiteral.

derivationRules - Variable in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Predicate

Invariants: - name cannot be null - name cannot be empty - arity >= 0 - the list of derivationRules is not null - the list of derivationRules it not empty - derivationRules head terms size matches with arity - derivationRules are immutable when retrieved

DerivationRuleSpec - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec

Specification of a derivation rule.

DerivationRuleSpec(String, List<TermSpec>, BodySpec) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.DerivationRuleSpec

DerivationRuleSpec(String, List<TermSpec>, List<LiteralSpec>) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.DerivationRuleSpec

DerivationRuleSpecBuilder - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers

Builder to facilitate the creation of DerivationRuleSpec.

DerivationRuleSpecBuilder() - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers.DerivationRuleSpecBuilder

Creates a new DerivationRuleSpecBuilder using a DefaultStringToTermSpecFactory to distinguish the kind of Term to instantiate for the given term names.

DerivationRuleSpecBuilder(TermTypeCriteria) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers.DerivationRuleSpecBuilder

DerivedLiteralInHomomorphismCheck - Exception in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.exceptions

DerivedLiteralInHomomorphismCheck() - Constructor for exception edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.exceptions.DerivedLiteralInHomomorphismCheck

DerivedOrdinaryLiteralHomomorphismCriteria - Interface in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator

determinedPositions() - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.egds.FunctionalDependency

E

edu.upc.fib.inlab.imp.kse.logics.dependencyschema.domain - package edu.upc.fib.inlab.imp.kse.logics.dependencyschema.domain

edu.upc.fib.inlab.imp.kse.logics.dependencyschema.domain.visitor - package edu.upc.fib.inlab.imp.kse.logics.dependencyschema.domain.visitor

edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers - package edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers

edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.egds - package edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.egds

edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation - package edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation

edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation.spec - package edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation.spec

edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation.spec.helpers - package edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation.spec.helpers

edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser - package edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser

edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.printer - package edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.printer

edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.processes - package edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.processes

edu.upc.fib.inlab.imp.kse.logics.logicschema.domain - package edu.upc.fib.inlab.imp.kse.logics.logicschema.domain

edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.exceptions - package edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.exceptions

edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.operations - package edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.operations

edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.visitor - package edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.visitor

edu.upc.fib.inlab.imp.kse.logics.logicschema.services - package edu.upc.fib.inlab.imp.kse.logics.logicschema.services

edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator - package edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator

edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.exceptions - package edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.exceptions

edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.isomorphism - package edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.isomorphism

edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation - package edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation

edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.exceptions - package edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.exceptions

edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec - package edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec

edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers - package edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers

edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser - package edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser

edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.exceptions - package edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.exceptions

edu.upc.fib.inlab.imp.kse.logics.logicschema.services.printer - package edu.upc.fib.inlab.imp.kse.logics.logicschema.services.printer

edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes - package edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes

edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.exceptions - package edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.exceptions

edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.utils - package edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.utils

EGD - Class in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.domain

Equality-Generating Dependency

EGD(List<Literal>, EqualityComparisonBuiltInLiteral) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.domain.EGD

egdList() - Method in record class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.egds.FunctionalDependencyWithEGDs

Returns the value of the egdList record component.

EGDSpec - Class in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation.spec

Specification of a logic constraint including an ID for it.

EGDSpec(BodySpec, BuiltInLiteralSpec) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation.spec.EGDSpec

EGDSpec(List<LiteralSpec>, BuiltInLiteralSpec) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation.spec.EGDSpec

EGDToFDAnalysisResult - Record Class in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.egds

EGDToFDAnalysisResult(List<FunctionalDependencyWithEGDs>, List<EGD>) - Constructor for record class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.egds.EGDToFDAnalysisResult

Creates an instance of a EGDToFDAnalysisResult record class.

EGDToFDAnalyzer - Class in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.egds

EGDToFDAnalyzer() - Constructor for class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.egds.EGDToFDAnalyzer

EqualityComparisonBuiltInLiteral - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain

EqualityComparisonBuiltInLiteral(Term, Term) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.EqualityComparisonBuiltInLiteral

EqualityReplacer - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes

This class is responsible for removing, when it is possible, the equality built-in literals from the body of a normal clause and apply a substitution that corresponds to such built-in literals.

EqualityReplacer() - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.EqualityReplacer

equals(Object) - Method in record class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.egds.EGDToFDAnalysisResult

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.egds.FunctionalDependency

equals(Object) - Method in record class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.egds.FunctionalDependencyWithEGDs

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in record class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation.spec.HeadAtomsSpec

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in record class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ConstraintID

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableAtomList

equals(Object) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableLiteralsList

equals(Object) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableTermList

equals(Object) - Method in record class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LiteralPosition

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in record class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.PredicatePosition

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Term

equals(Object) - Method in record class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.isomorphism.IsomorphismOptions

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in record class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.BodySpec

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in record class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.PredicateSpec

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in record class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.QuerySetSpec

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.TermSpec

equals(Object) - Method in record class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.SchemaTransformation

Indicates whether some other object is "equal to" this one.

EQUALS - Enum constant in enum class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ComparisonOperator

execute(DependencySchema) - Method in interface edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.processes.DependencyProcess

execute the transformation

execute(DependencySchema) - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.processes.DependencyProcessPipeline

Executes the pipeline

execute(DependencySchema) - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.processes.SingleExistentialVarTGDTransformer

execute(DependencySchema) - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.processes.SingleHeadTGDTransformer

execute(LogicSchema) - Method in interface edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.LogicProcess

execute the transformation

execute(LogicSchema) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.LogicProcessPipeline

Executes the pipeline

execute(LogicSchema) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.LogicSchemaTransformationProcess

executeTransformation(LogicSchema) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.BodySorter

executeTransformation(LogicSchema) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.EqualityReplacer

executeTransformation(LogicSchema) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.PredicateCleaner

executeTransformation(LogicSchema) - Method in interface edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.SchemaTransformationProcess

executeTransformation(LogicSchema) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.SchemaTransformationProcessPipeline

executeTransformation(LogicSchema) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.SchemaUnfolder

executeTransformation(LogicSchema) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.SingleDerivationRuleTransformer

executeTransformation(LogicSchema) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.TrivialLiteralCleaner

ExpectingConstraintID - Exception in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.exceptions

ExpectingConstraintID() - Constructor for exception edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.exceptions.ExpectingConstraintID

ExtendedHomomorphismFinder - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator

Homomorphism finder that considers two derived ordinary literals to be homomorphic, even whey they have different predicate names, if they have homomorphic derivation rules.

ExtendedHomomorphismFinder() - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.ExtendedHomomorphismFinder

F

FALSE - Static variable in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.BooleanBuiltInLiteral

findHomomorphism(DerivationRule, DerivationRule) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.HomomorphismFinder

Return a homomorphism from the domainRule terms to the rangeRule terms, if exists

findHomomorphism(LogicConstraint, LogicConstraint) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.HomomorphismFinder

Return a homomorphism from the domainLogicConstraint terms to the rangeLogicConstraint terms, if exists

findHomomorphism(List<Literal>, List<Literal>) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.HomomorphismFinder

findHomomorphism(List<Literal>, List<Literal>, Substitution) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.HomomorphismFinder

findHomomorphismForTerms(ImmutableTermList, ImmutableTermList) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.HomomorphismFinder

forEach(Consumer<? super Level>) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LevelHierarchy

fromOperator(String) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.BooleanBuiltInLiteral

fromSymbol(String) - Static method in enum class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ComparisonOperator

fromValue(boolean) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.BooleanBuiltInLiteral

functionalDependenciesEGDs() - Method in record class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.egds.EGDToFDAnalysisResult

Returns the value of the functionalDependenciesEGDs record component.

functionalDependency() - Method in record class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.egds.FunctionalDependencyWithEGDs

Returns the value of the functionalDependency record component.

FunctionalDependency - Class in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.egds

FunctionalDependencyWithEGDs - Record Class in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.egds

Class that stores the functionalDependency encoded by some egdList

FunctionalDependencyWithEGDs(List<EGD>, FunctionalDependency) - Constructor for record class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.egds.FunctionalDependencyWithEGDs

Creates an instance of a FunctionalDependencyWithEGDs record class.

G

generateNewConstraintsIDs(ConstraintID, int) - Method in interface edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.MultipleConstraintIDGenerator

Generates a list of constraintIDs from a single constraintID.

generateNewConstraintsIDs(ConstraintID, int) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.SuffixMultipleConstraintIDGenerator

get(int) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableAtomList

get(int) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableLiteralsList

get(int) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableTermList

getAffectedPositions(DependencySchema) - Static method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.WeaklyGuardedChecker

This method implements the affected positions definition given in IEEE Symposion on Logic in Computer Science 2010 "Datalog+/-: A Family of Logical Knowledge Representation and Query Languages for New Applications" by Cali, et al.

getAllDependencies() - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.domain.DependencySchema

getAllDerivationRules() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LogicSchema

getAllDerivedPredicates() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LogicSchema

getAllEGDs() - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.domain.DependencySchema

getAllLogicConstraints() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LogicSchema

getAllNormalClauses() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LogicSchema

getAllPredicates() - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.domain.DependencySchema

getAllPredicates() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Level

getAllPredicates() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LogicSchema

getAllTGDs() - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.domain.DependencySchema

getArity() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Literal

getArity() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Predicate

getAtom() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.OrdinaryLiteral

getAtomsMGU(Atom...) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.MGUFinder

getAtomsMGU(Collection<Atom>) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.MGUFinder

getBasePredicatesLevel() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LevelHierarchy

getBody() - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.domain.Dependency

getBody() - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation.spec.DependencySpec

getBody() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.NormalClause

getBody() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Query

getBody() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.NormalClauseSpec

getBodyAtoms() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ConjunctiveQuery

getBodySpec() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.QuerySpec

getDatalogPlusMinusLanguages(DependencySchema) - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.DatalogPlusMinusAnalyzer

getDatalogPlusMinusName() - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.DatalogPlusMinusLanguageChecker

getDatalogPlusMinusName() - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.GuardedChecker

getDatalogPlusMinusName() - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.LinearChecker

getDatalogPlusMinusName() - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.StickyChecker

getDatalogPlusMinusName() - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.WeaklyGuardedChecker

getDependencySpecList() - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation.spec.DependencySchemaSpec

getDerivationRules() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Predicate

getDerivationRulesByPredicateName(String) - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.domain.DependencySchema

getDerivationRulesByPredicateName(String) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LogicSchema

getDerivationRuleSpecList() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.LogicSchemaSpec

getDerivedLevels() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LevelHierarchy

getExistentialVariables() - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.domain.TGD

getExistentialVariables() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.DerivationRule

getFirstDerivationRule() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Predicate

getFrontierVariables() - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.domain.TGD

getFunctionalDependencies() - Method in record class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.egds.EGDToFDAnalysisResult

getHead() - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.domain.EGD

getHead() - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.domain.TGD

getHead() - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation.spec.EGDSpec

getHead() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.DerivationRule

getHeadAtomSpecs() - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation.spec.TGDSpec

getHeadTerms() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.DerivationRule

getHeadTerms() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Query

getId() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.LogicConstraintWithIDSpec

getID() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LogicConstraint

getLeftTerm() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ComparisonBuiltInLiteral

getLevel(int) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LevelHierarchy

getLevelIndexOfPredicate(Predicate) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LevelHierarchy

May throw exception if predicate is not contained in the hierarchy

getLevelOfPredicate(Predicate) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LevelHierarchy

May throw exception if predicate is not contained in the hierarchy

getLiteralPositionWithVariable(Variable) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableLiteralsList

getLiteralsMGU(Literal...) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.MGUFinder

getLiteralsMGU(Collection<Literal>) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.MGUFinder

getLogicConstraintByID(ConstraintID) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LogicSchema

getLogicConstraintSpecList() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.LogicSchemaSpec

getName() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Predicate

getName() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Term

getName() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.TermSpec

getNegatedOperator() - Method in enum class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ComparisonOperator

getNumberOfLevels() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LevelHierarchy

getOperationName() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.BooleanBuiltInLiteral

getOperationName() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.BuiltInLiteral

getOperationName() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ComparisonBuiltInLiteral

getOperationName() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.CustomBuiltInLiteral

getOperator() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ComparisonBuiltInLiteral

getOperator() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.BuiltInLiteralSpec

getOriginalConstraintID(ConstraintID) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.SchemaTraceabilityMap

getOriginalConstraintID(ConstraintID) - Method in record class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.SchemaTransformation

getOriginalLiteral(Literal) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableLiteralsList

getOriginalLiteralPosition(Literal, int) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableLiteralsList

getPredicate() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Atom

getPredicate() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.OrdinaryLiteral

getPredicateByName(String) - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.domain.DependencySchema

getPredicateByName(String) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LogicSchema

getPredicateName() - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.egds.FunctionalDependency

getPredicateName() - Method in record class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.egds.FunctionalDependencyWithEGDs

getPredicateName() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Atom

getPredicateName() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.OrdinaryLiteral

getPredicateName() - Method in record class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.PredicatePosition

getPredicateName() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.DerivationRuleSpec

getPredicateName() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.OrdinaryLiteralSpec

getPredicatePositionsWithVar(Variable) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableAtomList

getPredicatePositionsWithVar(Variable) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableLiteralsList

getPredicateSpecList() - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation.spec.DependencySchemaSpec

getPredicateSpecList() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.LogicSchemaSpec

getRightTerm() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ComparisonBuiltInLiteral

getSize() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.operations.Substitution

getStickyMarking(List<TGD>) - Static method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.StickyMarkingAnalyzer

getSymbol() - Method in enum class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ComparisonOperator

getSymmetric() - Method in enum class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ComparisonOperator

getTerm(Variable) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.operations.Substitution

getTerms() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Atom

getTerms() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.BooleanBuiltInLiteral

getTerms() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ComparisonBuiltInLiteral

getTerms() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.CustomBuiltInLiteral

getTerms() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Literal

getTerms() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.OrdinaryLiteral

getTermSpecList() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.BuiltInLiteralSpec

getTermSpecList() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.DerivationRuleSpec

getTermSpecList() - Method in interface edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.LiteralSpec

getTermSpecList() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.OrdinaryLiteralSpec

getTermSpecList() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.QuerySpec

getUniversalVariables() - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.domain.Dependency

getUniversalVariables() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.DerivationRule

getUsedVariables() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableLiteralsList

getUsedVariables() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableTermList

getUsedVariables() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Literal

getUsedVariables() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.operations.Substitution

getVariables() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Atom

getVariablesInBuiltInLiterals() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableLiteralsList

getVariablesInNegativeOrdinaryLiterals() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableLiteralsList

getVariablesInPositiveOrdinaryLiterals() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableLiteralsList

GREATER_OR_EQUALS - Enum constant in enum class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ComparisonOperator

GREATER_THAN - Enum constant in enum class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ComparisonOperator

GUARDED - Enum constant in enum class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.DatalogPlusMinusAnalyzer.DatalogPlusMinusLanguage

GuardedChecker - Class in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers

GuardedChecker() - Constructor for class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.GuardedChecker

H

hashCode() - Method in record class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.egds.EGDToFDAnalysisResult

Returns a hash code value for this object.

hashCode() - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.egds.FunctionalDependency

hashCode() - Method in record class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.egds.FunctionalDependencyWithEGDs

Returns a hash code value for this object.

hashCode() - Method in record class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation.spec.HeadAtomsSpec

Returns a hash code value for this object.

hashCode() - Method in record class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ConstraintID

Returns a hash code value for this object.

hashCode() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableAtomList

hashCode() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableLiteralsList

hashCode() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableTermList

hashCode() - Method in record class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LiteralPosition

Returns a hash code value for this object.

hashCode() - Method in record class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.PredicatePosition

Returns a hash code value for this object.

hashCode() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Term

hashCode() - Method in record class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.isomorphism.IsomorphismOptions

Returns a hash code value for this object.

hashCode() - Method in record class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.BodySpec

Returns a hash code value for this object.

hashCode() - Method in record class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.PredicateSpec

Returns a hash code value for this object.

hashCode() - Method in record class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.QuerySetSpec

Returns a hash code value for this object.

hashCode() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.TermSpec

hashCode() - Method in record class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.SchemaTransformation

Returns a hash code value for this object.

hasSameNameAndArityAs(Predicate, Predicate) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.PredicateComparator

HeadAtomsSpec - Record Class in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation.spec

HeadAtomsSpec(List<OrdinaryLiteralSpec>) - Constructor for record class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation.spec.HeadAtomsSpec

Creates an instance of a HeadAtomsSpec record class.

HomomorphicRulesHomomorphismCriteria - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator

Under this criteria, two derived ordinary literals are considered homomorphic, even if they have different predicate names, if their derivation rules are homomorphic

HomomorphicRulesHomomorphismCriteria() - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.HomomorphicRulesHomomorphismCriteria

HomomorphismBasedEquivalenceAnalyzer - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator

This class is responsible for detecting whether two list of literals (or derivation rules, or logic constraints) are logically equivalent, or not.

HomomorphismBasedEquivalenceAnalyzer() - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.HomomorphismBasedEquivalenceAnalyzer

HomomorphismBasedEquivalenceAnalyzer(HomomorphismFinder) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.HomomorphismBasedEquivalenceAnalyzer

HomomorphismFinder - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator

This class is responsible for checking whether there is an homomorphism between two NormalClauses.

HomomorphismFinder() - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.HomomorphismFinder

HomomorphismFinder(DerivedOrdinaryLiteralHomomorphismCriteria) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.HomomorphismFinder

I

id() - Method in record class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ConstraintID

Returns the value of the id record component.

ImmutableAtomList - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain

An immutable list of atoms

ImmutableAtomList(Atom...) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableAtomList

ImmutableAtomList(List<Atom>) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableAtomList

ImmutableLiteralsList - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain

An immutable list of literals.

ImmutableLiteralsList(Literal...) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableLiteralsList

ImmutableLiteralsList(List<Literal>) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableLiteralsList

ImmutableTermList - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain

An immutable list of terms

ImmutableTermList(Term...) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableTermList

ImmutableTermList(List<Term>) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableTermList

IncrementalConstraintIDGenerator - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation

Incremental strategy for obtaining the IDs of newly created logic constraints.

IncrementalConstraintIDGenerator() - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.IncrementalConstraintIDGenerator

IncrementalConstraintIDGenerator(int) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.IncrementalConstraintIDGenerator

indexOf(Object) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableAtomList

indexOf(Object) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableLiteralsList

indexOf(Object) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableTermList

isBase() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Atom

isBase() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.OrdinaryLiteral

isBase() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Predicate

isBasicConstant(String) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers.BasicConstantTypeCriteria

isBuiltInPredicateName(String) - Method in interface edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.BuiltInPredicateNameChecker

isBuiltInPredicateName(String) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.CustomBuiltInPredicateNameChecker

isConflicting(TGD, FunctionalDependency) - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.egds.NonConflictingFDsAnalyzer

isConflicting(List<TGD>, List<FunctionalDependency>) - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.egds.NonConflictingFDsAnalyzer

isConjunctiveQuery() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ConjunctiveQuery

isConjunctiveQuery() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Query

isConstant() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Constant

isConstant() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Term

isConstant(String) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers.TermTypeCriteria

isConstantHook(String) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers.AllVariableTermTypeCriteria

isConstantHook(String) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers.CapitalConstantsTermTypeCriteria

isConstantHook(String) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers.TermTypeCriteria

isDerived() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Atom

isDerived() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.OrdinaryLiteral

isDerived() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Predicate

isEmpty() - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.domain.DependencySchema

isEmpty() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableAtomList

isEmpty() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableLiteralsList

isEmpty() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableTermList

isEmpty() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LogicSchema

isEmpty() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.operations.Substitution

isEmpty() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.SchemaTraceabilityMap

isFalse() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.BooleanBuiltInLiteral

isGround() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Atom

isGround() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Literal

isGuarded() - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.domain.TGD

isGuarded(DependencySchema) - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.GuardedChecker

isIdentity() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.operations.Substitution

isKeyDependency() - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.egds.FunctionalDependency

isLinear() - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.domain.TGD

isLinear(DependencySchema) - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.LinearChecker

isNegative() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.OrdinaryLiteral

isNonConflicting(List<TGD>, List<FunctionalDependency>) - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.egds.NonConflictingFDsAnalyzer

IsomorphismComparator - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.isomorphism

Class to recognize whether two list of literals (or derivation rules, or logic constraints, or queries) are isomorphic.

IsomorphismComparator(IsomorphismOptions) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.isomorphism.IsomorphismComparator

IsomorphismOptions - Record Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.isomorphism

IsomorphismOptions() - Constructor for record class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.isomorphism.IsomorphismOptions

Default options os Isomorphism.

IsomorphismOptions(boolean, boolean, boolean) - Constructor for record class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.isomorphism.IsomorphismOptions

Creates an instance of a IsomorphismOptions record class.

IsomorphismOptions(IsomorphismOptions) - Constructor for record class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.isomorphism.IsomorphismOptions

isPositive() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.OrdinaryLiteral

isPositive() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.OrdinaryLiteralSpec

isRecursive() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Atom

isRecursive() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.OrdinaryLiteral

isRecursive() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Predicate

A predicate is recursive if it is derived and it appears in the body of its derivation rules, or in the body of some derivation rule it depends on.

isSafe() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.DerivationRule

isSafe() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LogicConstraint

isSafe() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LogicSchema

isSafe() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.NormalClause

isSticky(DependencySchema) - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.StickyChecker

isSymmetric(ComparisonOperator) - Method in enum class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ComparisonOperator

isTrue() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.BooleanBuiltInLiteral

isVariable() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Term

isVariable() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Variable

isVariable(String) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers.TermTypeCriteria

isWeaklyGuarded(DependencySchema) - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.WeaklyGuardedChecker

iterator() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableAtomList

iterator() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableLiteralsList

iterator() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableTermList

iterator() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LevelHierarchy

J

joinMap(SchemaTraceabilityMap) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.SchemaTraceabilityMap

This method builds a new SchemaTraceabilityMap containing the constraints of the current map pointing to the original constraintIDs of this map

K

keyPositions() - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.egds.FunctionalDependency

L

lastIndexOf(Object) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableAtomList

lastIndexOf(Object) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableLiteralsList

lastIndexOf(Object) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableTermList

LESS_OR_EQUALS - Enum constant in enum class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ComparisonOperator

LESS_THAN - Enum constant in enum class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ComparisonOperator

Level - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain

Set of predicates of a level in some hierarchical database

Level(Set<Predicate>) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Level

LevelHierarchy - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain

This class implements the definition of hierarchical database as defined in "Basis for Deductive Database Systems" by J.

LevelHierarchy(List<Level>) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LevelHierarchy

LevelHierarchyException - Exception in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.exceptions

LevelHierarchyException(String) - Constructor for exception edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.exceptions.LevelHierarchyException

LINEAR - Enum constant in enum class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.DatalogPlusMinusAnalyzer.DatalogPlusMinusLanguage

LinearChecker - Class in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers

LinearChecker() - Constructor for class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.LinearChecker

listIterator() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableAtomList

listIterator() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableLiteralsList

listIterator() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableTermList

listIterator(int) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableAtomList

listIterator(int) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableLiteralsList

listIterator(int) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableTermList

literal() - Method in record class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LiteralPosition

Returns the value of the literal record component.

Literal - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain

Implementation of the logic literal.

Literal() - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Literal

LiteralComparator - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.utils

LiteralComparator() - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.utils.LiteralComparator

LiteralFactory - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation

LiteralFactory(Map<String, ? extends Predicate>) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.LiteralFactory

LiteralPosition - Record Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain

LiteralPosition(Literal, int) - Constructor for record class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LiteralPosition

Creates an instance of a LiteralPosition record class.

literals() - Method in record class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.BodySpec

Returns the value of the literals record component.

LiteralSpec - Interface in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec

Specification of a Literal.

LogicConstraint - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain

Implementation of a logic constraint.

LogicConstraint(ConstraintID, List<Literal>) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LogicConstraint

LogicConstraintNotExists - Exception in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.exceptions

LogicConstraintNotExists(ConstraintID) - Constructor for exception edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.exceptions.LogicConstraintNotExists

LogicConstraintSpec - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec

Specification of a LogicConstraint.

LogicConstraintSpec(BodySpec) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.LogicConstraintSpec

LogicConstraintSpec(List<LiteralSpec>) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.LogicConstraintSpec

LogicConstraintWithIDSpec - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec

Specification of a logic constraint including an ID for it.

LogicConstraintWithIDSpec(String, BodySpec) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.LogicConstraintWithIDSpec

LogicConstraintWithIDSpec(String, List<LiteralSpec>) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.LogicConstraintWithIDSpec

LogicConstraintWithIDSpecBuilder - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers

Builder to facilitate the creation of LogicConstraintWithIDs.

LogicConstraintWithIDSpecBuilder() - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers.LogicConstraintWithIDSpecBuilder

Creates a new LogicConstraintWithIDSpecBuilder using a DefaultStringToTermSpecFactory to distinguish the kind of Term to instantiate for the given term names.

LogicConstraintWithIDSpecBuilder(TermTypeCriteria) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers.LogicConstraintWithIDSpecBuilder

LogicConstraintWithoutIDSpec - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec

Specification of a logic constraint with no ID.

LogicConstraintWithoutIDSpec(BodySpec) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.LogicConstraintWithoutIDSpec

LogicConstraintWithoutIDSpec(List<LiteralSpec>) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.LogicConstraintWithoutIDSpec

LogicConstraintWithoutIDSpecBuilder - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers

Builder to facilitate the creation of LogicConstraintWithoutIDs.

LogicConstraintWithoutIDSpecBuilder() - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers.LogicConstraintWithoutIDSpecBuilder

Creates a new LogicConstraintWithoutIDSpecBuilder using a DefaultStringToTermSpecFactory to distinguish the kind of Term to instantiate for the given term names.

LogicConstraintWithoutIDSpecBuilder(TermTypeCriteria) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers.LogicConstraintWithoutIDSpecBuilder

LogicElementSpec - Interface in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec

LogicEquivalenceAnalyzer - Interface in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator

LogicProcess - Interface in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes

A process that, given a logic schema, returns a new logic schema.

LogicProcessPipeline - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes

A pipeline of LogicProcesses.

LogicProcessPipeline(List<LogicProcess>) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.LogicProcessPipeline

LogicSchema - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain

This class implements the representation of a logic schema.

LogicSchema(Set<Predicate>, Set<LogicConstraint>) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LogicSchema

LogicSchemaBuilder<T extends LogicConstraintSpec> - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation

Builder for a logic schema.

LogicSchemaBuilder(ConstraintIDGenerator<T>) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.LogicSchemaBuilder

LogicSchemaBuilder(ConstraintIDGenerator<T>, Set<Predicate>) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.LogicSchemaBuilder

LogicSchemaFactory<T extends LogicConstraintSpec> - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation

Class responsible for creating a logic schema for a given logic schema specification.

LogicSchemaFactory(ConstraintIDGenerator<T>) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.LogicSchemaFactory

LogicSchemaGrammarToSpecVisitor<T extends LogicConstraintSpec> - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser

LogicSchemaGrammarToSpecVisitor(StringToTermSpecFactory) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.LogicSchemaGrammarToSpecVisitor

LogicSchemaParser<T extends LogicConstraintSpec> - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser

LogicSchemaParser() - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.LogicSchemaParser

LogicSchemaParser(TermTypeCriteria, CustomBuiltInPredicateNameChecker) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.LogicSchemaParser

LogicSchemaPrinter - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.printer

LogicSchemaPrinter() - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.printer.LogicSchemaPrinter

logicSchemaSpec - Variable in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.LogicSchemaGrammarToSpecVisitor

LogicSchemaSpec<T extends LogicConstraintSpec> - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec

Specification of a whole logic schema, that is, a specification of a set of predicates, logic constraints, and derivation rules.

LogicSchemaSpec() - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.LogicSchemaSpec

LogicSchemaToSpecHelper - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers

LogicSchemaToSpecHelper.BodySpecFragment - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers

LogicSchemaTransformationProcess - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes

LogicSchemaTransformationProcess() - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.LogicSchemaTransformationProcess

LogicSchemaVisitor<T> - Interface in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.visitor

LogicSchemaWithIDsGrammarToSpecVisitor - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser

LogicSchemaWithIDsGrammarToSpecVisitor(StringToTermSpecFactory) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.LogicSchemaWithIDsGrammarToSpecVisitor

LogicSchemaWithIDsParser - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser

LogicSchemaWithIDsParser() - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.LogicSchemaWithIDsParser

LogicSchemaWithIDsParser(TermTypeCriteria, CustomBuiltInPredicateNameChecker) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.LogicSchemaWithIDsParser

LogicSchemaWithoutIDsGrammarToSpecVisitor - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser

LogicSchemaWithoutIDsGrammarToSpecVisitor(StringToTermSpecFactory) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.LogicSchemaWithoutIDsGrammarToSpecVisitor

LogicSchemaWithoutIDsParser - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser

LogicSchemaWithoutIDsParser() - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.LogicSchemaWithoutIDsParser

LogicSchemaWithoutIDsParser(TermTypeCriteria, CustomBuiltInPredicateNameChecker) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.LogicSchemaWithoutIDsParser

M

MapsDoNotJoin - Exception in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.exceptions

MapsDoNotJoin(String) - Constructor for exception edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.exceptions.MapsDoNotJoin

MGUFinder - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.services

Class with static functions to find Most General Unifier between literals, and atoms.

MultipleConstraintIDGenerator - Interface in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes

Interface for generating several constraintIDs from a single constraintID.

MutablePredicate - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain

Mutable implementation of a logic predicate.

MutablePredicate(String, int) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.MutablePredicate

MutablePredicate(String, int, List<Query>) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.MutablePredicate

N

name() - Method in record class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.PredicateSpec

Returns the value of the name record component.

newConstraintID() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.IncrementalConstraintIDGenerator

newConstraintID(LogicConstraintWithIDSpec) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.UseSpecIDGenerator

newConstraintID(LogicConstraintWithoutIDSpec) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.IncrementalConstraintIDGenerator

newConstraintID(T) - Method in interface edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.ConstraintIDGenerator

NewFreshVariableFactory - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain

Utils class for generating new Variables.

NonConflictingEGDsAnalyzer - Class in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.egds

NonConflictingEGDsAnalyzer() - Constructor for class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.egds.NonConflictingEGDsAnalyzer

NonConflictingFDsAnalyzer - Class in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.egds

NonConflictingFDsAnalyzer() - Constructor for class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.egds.NonConflictingFDsAnalyzer

NoNegatableLiteral - Exception in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.exceptions

NoNegatableLiteral(Literal) - Constructor for exception edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.exceptions.NoNegatableLiteral

nonFunctionalDependencyEGDs() - Method in record class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.egds.EGDToFDAnalysisResult

Returns the value of the nonFunctionalDependencyEGDs record component.

NORMAL_CLAUSE_SEPARATOR - Static variable in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.printer.LogicSchemaPrinter

NormalClause - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain

Implementation of a logic normal clause.

NormalClause(List<Literal>) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.NormalClause

NormalClauseSpec - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec

Specification of a NormalClause.

NormalClauseSpec(BodySpec) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.NormalClauseSpec

NormalClauseSpecBuilder<T extends NormalClauseSpecBuilder<T>> - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers

Common part of the LogicConstraintSpec and DerivationRuleSpec builders

NormalClauseSpecBuilder(TermTypeCriteria) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers.NormalClauseSpecBuilder

NOT - Static variable in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.printer.LogicSchemaPrinter

NOT_EQUALS - Enum constant in enum class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ComparisonOperator

NotExpectingConstraintID - Exception in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.exceptions

NotExpectingConstraintID() - Constructor for exception edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.exceptions.NotExpectingConstraintID

O

OrdinaryLiteral - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain

Implementation of a logic OrdinaryLiteral.

OrdinaryLiteral(Atom) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.OrdinaryLiteral

Creates an ordinary literal with a positive sign

OrdinaryLiteral(Atom, boolean) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.OrdinaryLiteral

OrdinaryLiteralSpec - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec

Specification of an ordinary literal.

OrdinaryLiteralSpec(String, List<TermSpec>) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.OrdinaryLiteralSpec

OrdinaryLiteralSpec(String, List<TermSpec>, boolean) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.OrdinaryLiteralSpec

original() - Method in record class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.SchemaTransformation

Returns the value of the original record component.

P

parse(String) - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser.DependencySchemaParser

parse(String) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.LogicSchemaParser

parse(String) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.QueryParser

parse(String, Set<Predicate>) - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser.DependencySchemaParser

parse(String, Set<Predicate>) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.LogicSchemaParser

parse(String, Set<Predicate>) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.QueryParser

ParserCanceledException - Exception in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.exceptions

ParserCanceledException(String) - Constructor for exception edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.exceptions.ParserCanceledException

parseToSpec(String) - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser.DependencySchemaParser

parseToSpec(String) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.LogicSchemaParser

parseToSpec(String) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.QueryParser

position() - Method in record class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LiteralPosition

Returns the value of the position record component.

position() - Method in record class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.PredicatePosition

Returns the value of the position record component.

predicate() - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.egds.FunctionalDependency

predicate() - Method in record class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.PredicatePosition

Returns the value of the predicate record component.

Predicate - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain

Representation of a logic predicate.

Predicate(String, int) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Predicate

Predicate(String, int, List<Query>) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Predicate

PredicateCleaner - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes

Service that removes all those predicates (base or derived) that are not used in any LogicConstraint (neither directly, neither transitively)

PredicateCleaner() - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.PredicateCleaner

PredicateComparator - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator

PredicateHasNoDerivationRules - Exception in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.exceptions

PredicateHasNoDerivationRules(Predicate) - Constructor for exception edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.exceptions.PredicateHasNoDerivationRules

PredicateIsNotDerived - Exception in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.exceptions

PredicateIsNotDerived(String) - Constructor for exception edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.exceptions.PredicateIsNotDerived

PredicateNotExists - Exception in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.exceptions

PredicateNotExists(String) - Constructor for exception edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.exceptions.PredicateNotExists

PredicateNotInLevel - Exception in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.exceptions

PredicateNotInLevel(String) - Constructor for exception edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.exceptions.PredicateNotInLevel

PredicateOutsideSchema - Exception in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.exceptions

PredicateOutsideSchema(String) - Constructor for exception edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.exceptions.PredicateOutsideSchema

PredicatePosition - Record Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain

PredicatePosition(Predicate, int) - Constructor for record class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.PredicatePosition

Creates an instance of a PredicatePosition record class.

PredicateSpec - Record Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec

Specification of a predicate.

PredicateSpec(String, int) - Constructor for record class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.PredicateSpec

Creates an instance of a PredicateSpec record class.

PredicateSuffixNamer - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.utils

print(DependencySchema) - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.printer.DependencySchemaPrinter

print(LogicSchema) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.printer.LogicSchemaPrinter

print(Query) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.printer.QueryPrinter

Q

Query - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain

A Query is composed of a list of terms, and a body E.g.: (x,y) :- P(x, y), not(R(x)) Queries can be used to define DerivedPredicates.

QueryBuilder - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation

QueryBuilder() - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.QueryBuilder

QueryBuilder(Map<String, MutablePredicate>) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.QueryBuilder

QueryBuilder(Set<Predicate>) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.QueryBuilder

QueryFactory - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain

QueryGrammarToSpecVisitor - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser

QueryGrammarToSpecVisitor(StringToTermSpecFactory) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.QueryGrammarToSpecVisitor

QueryParser - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser

QueryParser() - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.QueryParser

QueryParser(TermTypeCriteria, CustomBuiltInPredicateNameChecker) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.QueryParser

QueryPrinter - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.printer

QueryPrinter() - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.printer.QueryPrinter

QuerySetSpec - Record Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec

Specification of a set of conjunctive queries.

QuerySetSpec(Set<QuerySpec>) - Constructor for record class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.QuerySetSpec

Creates an instance of a QuerySetSpec record class.

QuerySpec - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec

Specification of a conjunctive query.

QuerySpec(List<TermSpec>, BodySpec) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.QuerySpec

querySpecSet() - Method in record class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.QuerySetSpec

Returns the value of the querySpecSet record component.

R

remove(int) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableAtomList

remove(int) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableLiteralsList

Deprecated.

Unsupported operation.

remove(int) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableTermList

Deprecated.

This operation is not supported

remove(Object) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableAtomList

remove(Object) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableLiteralsList

Deprecated.

Unsupported operation.

remove(Object) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableTermList

Deprecated.

This operation is not supported

removeAll(Collection<?>) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableAtomList

removeAll(Collection<?>) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableLiteralsList

Deprecated.

Unsupported operation.

removeAll(Collection<?>) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableTermList

Deprecated.

This operation is not supported

RepeatedConstraintID - Exception in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.exceptions

RepeatedConstraintID(ConstraintID) - Constructor for exception edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.exceptions.RepeatedConstraintID

RepeatedPredicateName - Exception in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.exceptions

RepeatedPredicateName(String) - Constructor for exception edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.exceptions.RepeatedPredicateName

replacesSomeVariableOf(Set<Variable>) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.operations.Substitution

retainAll(Collection<?>) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableAtomList

retainAll(Collection<?>) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableLiteralsList

Deprecated.

Unsupported operation.

retainAll(Collection<?>) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableTermList

Deprecated.

This operation is not supported

S

SamePredicateNameCriteria - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator

Under this strategy, two ordinary literals are considered homomorphic if they have the same name, and their terms are homomorphic.

SamePredicateNameCriteria() - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.SamePredicateNameCriteria

satisfies(DependencySchema) - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.DatalogPlusMinusLanguageChecker

satisfies(DependencySchema) - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.GuardedChecker

satisfies(DependencySchema) - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.LinearChecker

satisfies(DependencySchema) - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.StickyChecker

satisfies(DependencySchema) - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.WeaklyGuardedChecker

schemaTraceabilityMap() - Method in record class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.SchemaTransformation

Returns the value of the schemaTraceabilityMap record component.

SchemaTraceabilityMap - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes

This class is responsible to recall which constraintsID (from one schema) comes from what constraintID (from an original schema) when applying a logic process

SchemaTraceabilityMap() - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.SchemaTraceabilityMap

SchemaTraceabilityMap(SchemaTraceabilityMap) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.SchemaTraceabilityMap

Construct a new SchemaTraceabilityMap copying the given map into a new map.

SchemaTransformation - Record Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes

Class that remembers the transformation applied from an original LogicSchema to a transformedLogicSchema.

SchemaTransformation(LogicSchema, LogicSchema, SchemaTraceabilityMap) - Constructor for record class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.SchemaTransformation

Creates an instance of a SchemaTransformation record class.

SchemaTransformationProcess - Interface in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes

A process that, given a logic schema, returns a new schema transformation.

SchemaTransformationProcessPipeline - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes

A pipeline of SchemaTransformationProcessPipeline.

SchemaTransformationProcessPipeline(List<SchemaTransformationProcess>) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.SchemaTransformationProcessPipeline

SchemaUnfolder - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes

This class is responsible for recursively unfolding the positive derived literals of a logic schema.

SchemaUnfolder() - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.SchemaUnfolder

Creates an SchemaUnfolder that will use the SuffixMultipleConstraintIDGenerator as a strategy for creating new constraintIDs, if necessary; and use the standard unfolding

SchemaUnfolder(boolean) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.SchemaUnfolder

Creates an SchemaUnfolder that will use the SuffixMultipleConstraintIDGenerator as a strategy for creating new constraintIDs, if necessary; and use the unfolding specified by parameter

SchemaUnfolder(MultipleConstraintIDGenerator, boolean) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.SchemaUnfolder

Creates an SchemaUnfolder that will use the given multipleConstraintIDGenerator strategy for creating new constraintIDs, if necessary.

set(int, Atom) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableAtomList

set(int, Literal) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableLiteralsList

Deprecated.

Unsupported operation.

set(int, Term) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableTermList

Deprecated.

This operation is not supported

SingleDerivationRuleTransformer - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes

This class is in charge of transforming one logic schema into an equivalent logic schema where every derived predicate is defined, only, through one derivation rule.

SingleDerivationRuleTransformer() - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.SingleDerivationRuleTransformer

Creates an SingleDerivationRuleTransformer that will use the SuffixMultipleConstraintIDGenerator as a strategy for creating new constraintIDs, if necessary.

SingleDerivationRuleTransformer(MultipleConstraintIDGenerator) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.SingleDerivationRuleTransformer

Creates an SingleDerivationRuleTransformer that will use the given generatorId strategy for creating new constraintIDs, if necessary.

SingleExistentialVarTGDTransformer - Class in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.processes

SingleExistentialVarTGDTransformer() - Constructor for class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.processes.SingleExistentialVarTGDTransformer

SingleHeadTGDTransformer - Class in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.processes

Process to create an equivalent DependencySchema where each TGD only contains one rule in its head

SingleHeadTGDTransformer() - Constructor for class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.processes.SingleHeadTGDTransformer

size() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableAtomList

size() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableLiteralsList

size() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableTermList

size() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.SchemaTraceabilityMap

someDependencyContainsBuiltInOrNegatedLiteralInBody(DependencySchema) - Static method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.DatalogPlusMinusLanguageChecker

sort(LogicSchema) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.BodySorter

sortLiterals(Comparator<Literal>) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableLiteralsList

Sort literals according to literalComparator

STICKY - Enum constant in enum class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.DatalogPlusMinusAnalyzer.DatalogPlusMinusLanguage

StickyChecker - Class in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers

StickyChecker() - Constructor for class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.StickyChecker

StickyMarkingAnalyzer - Class in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers

This class is the responsible to make the marking of literal positions of the TGDs according to the 2010 25th Annual IEEE Symposium on Logic in Computer Science paper "Datalog+/-: A Family of Logical Knowledge Representation and Query Languages for New Applications"

stringToTermSpecFactory - Variable in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers.NormalClauseSpecBuilder

This class implements a hierarchy of builders as discussed in stackoverflow

StringToTermSpecFactory - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers

Factory in charge of instantiating the corresponding subclass of Term (Constant, or Variable) for a given String.

StringToTermSpecFactory() - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers.StringToTermSpecFactory

StringToTermSpecFactory(TermTypeCriteria) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers.StringToTermSpecFactory

subList(int, int) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableAtomList

subList(int, int) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableLiteralsList

subList(int, int) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableTermList

Substitution - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.operations

This class represents a substitution of variables to terms.

Substitution() - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.operations.Substitution

Creates empty substitution

Substitution(Substitution) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.operations.Substitution

Constructor by copy

Substitution(List<Term>, List<Term>) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.operations.Substitution

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.

SubstitutionException - Exception in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.exceptions

SubstitutionException(String) - Constructor for exception edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.exceptions.SubstitutionException

SuffixMultipleConstraintIDGenerator - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes

Strategy for creating new constraintID from a given constraintID based on applying a suffix "_number".

SuffixMultipleConstraintIDGenerator() - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.SuffixMultipleConstraintIDGenerator

T

Term - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain

Implementation of a logic Term.

Term(String) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Term

TermSpec - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec

Specification of a term.

TermSpec(String) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.TermSpec

TermSpecToTermFactory - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation

Factory in charge of creating the corresponding subclass of Term for a given subclass of TermSpec

TermTypeCriteria - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers

TermTypeCriteria() - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers.TermTypeCriteria

TGD - Class in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.domain

Tuple-Generating Dependency

TGD(List<Literal>, List<Atom>) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.domain.TGD

TGDSpec - Class in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation.spec

Specification of a derivation rule.

TGDSpec(BodySpec, HeadAtomsSpec) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation.spec.TGDSpec

TGDSpec(List<LiteralSpec>, List<OrdinaryLiteralSpec>) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation.spec.TGDSpec

toArray() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableAtomList

toArray() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableLiteralsList

toArray() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableTermList

toArray(T[]) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableAtomList

toArray(T[]) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableLiteralsList

toArray(T[]) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableTermList

toString() - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.domain.EGD

toString() - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.domain.TGD

toString() - Method in record class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.egds.EGDToFDAnalysisResult

Returns a string representation of this record class.

toString() - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.egds.FunctionalDependency

toString() - Method in record class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.egds.FunctionalDependencyWithEGDs

Returns a string representation of this record class.

toString() - Method in record class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation.spec.HeadAtomsSpec

Returns a string representation of this record class.

toString() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Atom

toString() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.BooleanBuiltInLiteral

toString() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ComparisonBuiltInLiteral

toString() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Constant

toString() - Method in record class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ConstraintID

Returns a string representation of this record class.

toString() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.CustomBuiltInLiteral

toString() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.DerivationRule

toString() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableAtomList

toString() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableLiteralsList

toString() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableTermList

toString() - Method in record class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LiteralPosition

Returns a string representation of this record class.

toString() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LogicConstraint

toString() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.OrdinaryLiteral

toString() - Method in record class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.PredicatePosition

Returns a string representation of this record class.

toString() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Query

toString() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Variable

toString() - Method in record class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.isomorphism.IsomorphismOptions

Returns a string representation of this record class.

toString() - Method in record class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.BodySpec

Returns a string representation of this record class.

toString() - Method in record class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.PredicateSpec

Returns a string representation of this record class.

toString() - Method in record class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.QuerySetSpec

Returns a string representation of this record class.

toString() - Method in record class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.SchemaTransformation

Returns a string representation of this record class.

transform(LogicSchema) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.SingleDerivationRuleTransformer

transformed() - Method in record class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.SchemaTransformation

Returns the value of the transformed record component.

TrivialLiteralCleaner - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes

This class is responsible for removing the trivial literals from the logic constraints, and logic derivation rules, but without removing derived predicates, neither removing constraints.

TrivialLiteralCleaner() - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.TrivialLiteralCleaner

TRUE - Static variable in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.BooleanBuiltInLiteral

U

unfold() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Atom

Unfolding an atom returns a list of literals' list, one for each derivation rule of (the predicate of) this atom.

unfold() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.OrdinaryLiteral

Unfolding a positive ordinary literal returns a list of literals' list, one for each derivation rule of this ordinary literal.

unfold() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Query

unfold(boolean) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.OrdinaryLiteral

unfold(int) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Atom

unfold(int) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableLiteralsList

Unfolding a literal returns a list of literals' list, one for each derivation rule of this literal.

unfold(int) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.OrdinaryLiteral

unfold(int, boolean) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableLiteralsList

unfold(LogicSchema) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.SchemaUnfolder

unfoldRecursively() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableLiteralsList

unfoldWithNegationExtension() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.OrdinaryLiteral

This is an extension of the unfold method that also applies an unfolding for negated literals whose derivation rules does not contain existential variables.

unfoldWithNegationExtension(int) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableLiteralsList

This is an extension of the unfold method that also applies an unfolding for negated literals whose derivation rules does not contain existential variables.

union(Substitution) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.operations.Substitution

Creates a new Substitution making the union between this Substitution, and the otherSubstitution.

UNKNOWN - Static variable in interface edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.LogicEquivalenceAnalyzer

UseSpecIDGenerator - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation

Strategy for obtaining the ID of a new logic constraint consisting in taking the id from its specification

UseSpecIDGenerator() - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.UseSpecIDGenerator

V

valueOf(String) - Static method in enum class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.DatalogPlusMinusAnalyzer.DatalogPlusMinusLanguage

Returns the enum constant of this class with the specified name.

valueOf(String) - Static method in enum class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ComparisonOperator

Returns the enum constant of this class with the specified name.

values() - Static method in enum class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.DatalogPlusMinusAnalyzer.DatalogPlusMinusLanguage

Returns an array containing the constants of this enum class, in the order they are declared.

values() - Static method in enum class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ComparisonOperator

Returns an array containing the constants of this enum class, in the order they are declared.

Variable - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain

Implementation of a logic variable.

Variable(String) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Variable

VariableSpec - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec

Specification of a variable.

VariableSpec(String) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.VariableSpec

visit(DependencySchema) - Method in interface edu.upc.fib.inlab.imp.kse.logics.dependencyschema.domain.visitor.DependencySchemaVisitor

visit(DependencySchema) - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.printer.DependencySchemaPrinter

visit(EGD) - Method in interface edu.upc.fib.inlab.imp.kse.logics.dependencyschema.domain.visitor.DependencySchemaVisitor

visit(EGD) - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.printer.DependencySchemaPrinter

visit(TGD) - Method in interface edu.upc.fib.inlab.imp.kse.logics.dependencyschema.domain.visitor.DependencySchemaVisitor

visit(TGD) - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.printer.DependencySchemaPrinter

visit(Atom) - Method in interface edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.visitor.LogicSchemaVisitor

visit(Atom) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.printer.LogicSchemaPrinter

visit(BooleanBuiltInLiteral) - Method in interface edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.visitor.LogicSchemaVisitor

visit(BooleanBuiltInLiteral) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.printer.LogicSchemaPrinter

visit(ComparisonBuiltInLiteral) - Method in interface edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.visitor.LogicSchemaVisitor

visit(ComparisonBuiltInLiteral) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.printer.LogicSchemaPrinter

visit(ComparisonOperator) - Method in interface edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.visitor.LogicSchemaVisitor

visit(ComparisonOperator) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.printer.LogicSchemaPrinter

visit(Constant) - Method in interface edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.visitor.LogicSchemaVisitor

visit(Constant) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.printer.LogicSchemaPrinter

visit(ConstraintID) - Method in interface edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.visitor.LogicSchemaVisitor

visit(ConstraintID) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.printer.LogicSchemaPrinter

visit(CustomBuiltInLiteral) - Method in interface edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.visitor.LogicSchemaVisitor

visit(CustomBuiltInLiteral) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.printer.LogicSchemaPrinter

visit(DerivationRule) - Method in interface edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.visitor.LogicSchemaVisitor

visit(DerivationRule) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.printer.LogicSchemaPrinter

visit(ImmutableAtomList) - Method in interface edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.visitor.LogicSchemaVisitor

visit(ImmutableAtomList) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.printer.LogicSchemaPrinter

visit(ImmutableLiteralsList) - Method in interface edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.visitor.LogicSchemaVisitor

visit(ImmutableLiteralsList) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.printer.LogicSchemaPrinter

visit(ImmutableTermList) - Method in interface edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.visitor.LogicSchemaVisitor

visit(ImmutableTermList) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.printer.LogicSchemaPrinter

visit(LogicConstraint) - Method in interface edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.visitor.LogicSchemaVisitor

visit(LogicConstraint) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.printer.LogicSchemaPrinter

visit(LogicSchema) - Method in interface edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.visitor.LogicSchemaVisitor

visit(LogicSchema) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.printer.LogicSchemaPrinter

visit(OrdinaryLiteral) - Method in interface edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.visitor.LogicSchemaVisitor

visit(OrdinaryLiteral) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.printer.LogicSchemaPrinter

visit(Predicate) - Method in interface edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.visitor.LogicSchemaVisitor

visit(Predicate) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.printer.LogicSchemaPrinter

visit(Variable) - Method in interface edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.visitor.LogicSchemaVisitor

visit(Variable) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.printer.LogicSchemaPrinter

visitBody(DependencySchemaGrammarParser.BodyContext) - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser.DependencySchemaGrammarToSpecVisitor

visitBooleanBuiltInLiteral(DependencySchemaGrammarParser.BooleanBuiltInLiteralContext) - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser.DependencySchemaGrammarToSpecVisitor

visitBooleanBuiltInLiteral(LogicSchemaGrammarParser.BooleanBuiltInLiteralContext) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.LogicSchemaGrammarToSpecVisitor

visitBooleanBuiltInLiteral(QueryGrammarParser.BooleanBuiltInLiteralContext) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.QueryGrammarToSpecVisitor

visitComparisonBuiltInLiteral(DependencySchemaGrammarParser.ComparisonBuiltInLiteralContext) - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser.DependencySchemaGrammarToSpecVisitor

visitComparisonBuiltInLiteral(LogicSchemaGrammarParser.ComparisonBuiltInLiteralContext) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.LogicSchemaGrammarToSpecVisitor

visitComparisonBuiltInLiteral(QueryGrammarParser.ComparisonBuiltInLiteralContext) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.QueryGrammarToSpecVisitor

visitConstraint(LogicSchemaGrammarParser.ConstraintContext) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.LogicSchemaWithIDsGrammarToSpecVisitor

visitConstraint(LogicSchemaGrammarParser.ConstraintContext) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.LogicSchemaWithoutIDsGrammarToSpecVisitor

visitCustomBuiltInLiteral(DependencySchemaGrammarParser.CustomBuiltInLiteralContext) - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser.DependencySchemaGrammarToSpecVisitor

visitCustomBuiltInLiteral(LogicSchemaGrammarParser.CustomBuiltInLiteralContext) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.LogicSchemaGrammarToSpecVisitor

visitCustomBuiltInLiteral(QueryGrammarParser.CustomBuiltInLiteralContext) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.QueryGrammarToSpecVisitor

visitDerivationRule(LogicSchemaGrammarParser.DerivationRuleContext) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.LogicSchemaGrammarToSpecVisitor

visitEgd(DependencySchemaGrammarParser.EgdContext) - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser.DependencySchemaGrammarToSpecVisitor

visitEgd_head(DependencySchemaGrammarParser.Egd_headContext) - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser.DependencySchemaGrammarToSpecVisitor

visitNegatedAtom(DependencySchemaGrammarParser.NegatedAtomContext) - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser.DependencySchemaGrammarToSpecVisitor

visitNegatedAtom(LogicSchemaGrammarParser.NegatedAtomContext) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.LogicSchemaGrammarToSpecVisitor

visitNegatedAtom(QueryGrammarParser.NegatedAtomContext) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.QueryGrammarToSpecVisitor

visitPositiveAtom(DependencySchemaGrammarParser.PositiveAtomContext) - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser.DependencySchemaGrammarToSpecVisitor

visitPositiveAtom(LogicSchemaGrammarParser.PositiveAtomContext) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.LogicSchemaGrammarToSpecVisitor

visitPositiveAtom(QueryGrammarParser.PositiveAtomContext) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.QueryGrammarToSpecVisitor

visitProg(DependencySchemaGrammarParser.ProgContext) - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser.DependencySchemaGrammarToSpecVisitor

visitProg(LogicSchemaGrammarParser.ProgContext) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.LogicSchemaGrammarToSpecVisitor

visitProg(QueryGrammarParser.ProgContext) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.QueryGrammarToSpecVisitor

visitQuery(QueryGrammarParser.QueryContext) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.QueryGrammarToSpecVisitor

visitTerm(DependencySchemaGrammarParser.TermContext) - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser.DependencySchemaGrammarToSpecVisitor

visitTerm(LogicSchemaGrammarParser.TermContext) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.LogicSchemaGrammarToSpecVisitor

visitTerm(QueryGrammarParser.TermContext) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.QueryGrammarToSpecVisitor

visitTgd(DependencySchemaGrammarParser.TgdContext) - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser.DependencySchemaGrammarToSpecVisitor

visitTgd_head(DependencySchemaGrammarParser.Tgd_headContext) - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser.DependencySchemaGrammarToSpecVisitor

W

WEAKLY_GUARDED - Enum constant in enum class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.DatalogPlusMinusAnalyzer.DatalogPlusMinusLanguage

WeaklyGuardedChecker - Class in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers

WeaklyGuardedChecker() - Constructor for class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.WeaklyGuardedChecker

WrongNumberOfTermsInBuiltInLiteral - Exception in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.exceptions

WrongNumberOfTermsInBuiltInLiteral(int, int) - Constructor for exception edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.exceptions.WrongNumberOfTermsInBuiltInLiteral

A B C D E F G H I J K L M N O P Q R S T U V W
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form