Index (IMP Logics 2.0.0 Test API)

A B C D E G H I L M N O P Q R S T U V
All Classes and Interfaces|All Packages

A

addMapping(String, String) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.SubstitutionBuilder
affectsPredicate(String) - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.assertions.EGDFunctionalDependencyAssert
asBuiltInLiteral() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.LiteralAssert
asComparisonBuiltInLiteral() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.BuiltInLiteralAssert
asComparisonBuiltInLiteral() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.LiteralAssert
asEGD() - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.assertions.DependencyAssert
asOrdinaryLiteral() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.LiteralAssert
assertAllLogicConstraintsAreEquivalent(LogicSchema) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.LogicSchemaAssert: Asserts whether the actual logicSchema constraints are equivalent to the expectedSchema constraints.
assertAllPredicatesAreEquivalent(LogicSchema) - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.assertions.DependencySchemaAssert: Asserts whether the actual logicSchema predicates (base or derived) are equivalent to the expectedSchema.
assertAllPredicatesAreEquivalent(LogicSchema) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.LogicSchemaAssert: Asserts whether the actual logicSchema predicates (base or derived) are equivalent to the expectedSchema.
assertThat(Dependency) - Static method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.assertions.DependencyAssert
assertThat(Dependency) - Static method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.assertions.DependencySchemaAssertions
assertThat(DependencySchema) - Static method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.assertions.DependencySchemaAssert
assertThat(DependencySchema) - Static method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.assertions.DependencySchemaAssertions
assertThat(EGD) - Static method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.assertions.DependencySchemaAssertions
assertThat(EGD) - Static method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.assertions.EGDAssert
assertThat(TGD) - Static method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.assertions.DependencySchemaAssertions
assertThat(TGD) - Static method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.assertions.TGDAssert
assertThat(EGDToFDAnalysisResult) - Static method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.assertions.DependencySchemaAssertions
assertThat(EGDToFDAnalysisResult) - Static method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.assertions.EGDAnalysisAssert
assertThat(FunctionalDependencyWithEGDs) - Static method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.assertions.DependencySchemaAssertions
assertThat(FunctionalDependencyWithEGDs) - Static method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.assertions.EGDFunctionalDependencyAssert
assertThat(Atom) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.AtomAssert
assertThat(Atom) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.LogicSchemaAssertions
assertThat(BuiltInLiteral) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.BuiltInLiteralAssert
assertThat(BuiltInLiteral) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.LogicSchemaAssertions
assertThat(ComparisonBuiltInLiteral) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.ComparisonBuiltInLiteralAssert
assertThat(ComparisonBuiltInLiteral) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.LogicSchemaAssertions
assertThat(DerivationRule) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.DerivationRuleAssert
assertThat(DerivationRule) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.LogicSchemaAssertions
assertThat(ImmutableAtomList) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.ImmutableAtomListAssert
assertThat(ImmutableAtomList) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.LogicSchemaAssertions
assertThat(ImmutableLiteralsList) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.ImmutableLiteralsListAssert
assertThat(ImmutableLiteralsList) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.LogicSchemaAssertions
assertThat(ImmutableTermList) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.ImmutableTermListAssert
assertThat(ImmutableTermList) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.LogicSchemaAssertions
assertThat(Level) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.LevelAssert
assertThat(Level) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.LogicSchemaAssertions
assertThat(LevelHierarchy) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.LevelHierarchyAssert
assertThat(LevelHierarchy) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.LogicSchemaAssertions
assertThat(Literal) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.LiteralAssert
assertThat(Literal) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.LogicSchemaAssertions
assertThat(LogicConstraint) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.LogicConstraintAssert
assertThat(LogicConstraint) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.LogicSchemaAssertions
assertThat(LogicSchema) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.LogicSchemaAssert
assertThat(LogicSchema) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.LogicSchemaAssertions
assertThat(Substitution) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.assertions.SubstitutionAssert
assertThat(OrdinaryLiteral) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.LogicSchemaAssertions
assertThat(OrdinaryLiteral) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.OrdinaryLiteralAssert
assertThat(Predicate) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.LogicSchemaAssertions
assertThat(Predicate) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.PredicateAssert
assertThat(Query) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.LogicSchemaAssertions
assertThat(Query) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.QueryAssert
assertThat(Term) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.LogicSchemaAssertions
assertThat(Term) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.TermAssert
assertThat(SchemaTraceabilityMap) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.assertions.SchemaTraceabilityMapAssert
assertThat(SchemaTransformation) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.assertions.SchemaTransformationAssert
asTGD() - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.assertions.DependencyAssert
AtomAssert - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions
AtomAssert(Atom) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.AtomAssert
AtomMother - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers
AtomMother() - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers.AtomMother
AtomTest - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain
AtomTest() - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.AtomTest

B

body() - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.assertions.DependencyAssert
body() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.NormalClauseAssert
body() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.QueryAssert
BooleanBuiltInLiteralTest - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain
BooleanBuiltInLiteralTest() - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.BooleanBuiltInLiteralTest
build() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.SubstitutionBuilder
buildDependency(String) - Static method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.mothers.DependencyMother
buildDependencySchema(String) - Static method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.mothers.DependencySchemaMother
buildEmptyDependencySchema() - Static method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.mothers.DependencySchemaMother
buildLogicSchema(String, String...) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers.LogicSchemaWithCustomBuiltInMother
buildLogicSchemaWithIDs(String) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers.LogicSchemaMother
buildLogicSchemaWithIDs(String, Set<String>) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers.LogicSchemaMother
buildLogicSchemaWithIDsAndPredicates(String, PredicateSpec...) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers.LogicSchemaMother
buildLogicSchemaWithIDsAndPredicates(String, List<PredicateSpec>) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers.LogicSchemaMother
BUILT_IN_LITERAL - Static variable in interface edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.LogicInstanceOfAssertFactories
BuiltInLiteralAssert - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions
BuiltInLiteralAssert(BuiltInLiteral) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.BuiltInLiteralAssert

C

checkDerivationRulesEquivalenceWithStrategy(Predicate, LogicSchemaAssert.DerivedLiteralStrategy) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.PredicateAssert
COMPARISON_BUILT_IN_LITERAL - Static variable in interface edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.LogicInstanceOfAssertFactories
ComparisonBuiltInLiteralAssert - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions
ComparisonBuiltInLiteralAssert(ComparisonBuiltInLiteral) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.ComparisonBuiltInLiteralAssert
constraintIDComesFrom(String, String) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.assertions.SchemaTraceabilityMapAssert
constraintIDComesFrom(String, String) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.assertions.SchemaTransformationAssert
ConstraintIDMother - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers
ConstraintIDMother() - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers.ConstraintIDMother
containsAtom(int, Atom) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.ImmutableAtomListAssert
containsAtomByPredicateName(Atom) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.ImmutableAtomListAssert
containsAtomsByPredicateName(ImmutableAtomList) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.ImmutableAtomListAssert
containsBooleanBuiltInLiteral(boolean) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.NormalClauseAssert
containsComparisonBuiltInLiteral(String, String, String) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.ImmutableLiteralsListAssert
containsComparisonBuiltInLiteral(String, String, String) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.NormalClauseAssert
containsConstant(int, String) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.AtomAssert
containsConstant(int, String) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.ImmutableTermListAssert
containsConstants(String...) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.LiteralAssert
containsConstraintID(String) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.LogicSchemaAssert
containsCustomBuiltInLiteral(String) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.NormalClauseAssert
containsEquivalentConstraint(LogicConstraint) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.LogicSchemaAssert: Checks whether the actual schema contains a constraint equivalent to expectedConstraint considering that two derived ordinary literals are equivalent if their derivation rules are equivalent
containsEquivalentConstraint(LogicConstraint, LogicSchemaAssert.DerivedLiteralStrategy) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.LogicSchemaAssert: Checks whether the actual schema contains a constraint equivalent to expectedConstraint considering that two derived ordinary literals are equivalent according to the given strategy.
containsEquivalentDerivationRule(DerivationRule) - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.assertions.DependencySchemaAssert: Checks whether the actual schema contains a derivation rule equivalent to expectedRule considering that two derived ordinary literals are equivalent iff their definition rules are equivalent
containsEquivalentDerivationRule(DerivationRule) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.LogicSchemaAssert: Checks whether the actual schema contains a derivation rule equivalent to expectedRule considering that two derived ordinary literals are equivalent iff their definition rules are equivalent
containsEquivalentDerivationRule(DerivationRule) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.PredicateAssert: Checks whether the actual predicate contains a derivation rule equivalent to expectedRule considering that two derived ordinary literals are equivalent iff their definition rules are equivalent
containsEquivalentDerivationRule(DerivationRule, LogicSchemaAssert.DerivedLiteralStrategy) - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.assertions.DependencySchemaAssert: Checks whether the actual schema contains a derivation rule equivalent to expectedRule considering that two derived ordinary literals are equivalent according to the given strategy.
containsEquivalentDerivationRule(DerivationRule, LogicSchemaAssert.DerivedLiteralStrategy) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.LogicSchemaAssert: Checks whether the actual schema contains a derivation rule equivalent to expectedRule considering that two derived ordinary literals are equivalent according to the given strategy.
containsEquivalentDerivationRule(DerivationRule, LogicSchemaAssert.DerivedLiteralStrategy) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.PredicateAssert: Checks whether the actual predicate contains a derivation rule equivalent to expectedRule considering that two derived ordinary literals are equivalent according to the given strategy.
containsEquivalentPredicate(Predicate) - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.assertions.DependencySchemaAssert: Checks whether the actual schema contains a predicate equivalent to expectedPredicate considering that two derived ordinary literals (appearing in the definition rules of the given predicate) are equivalent iff their definition rules are equivalent
containsEquivalentPredicate(Predicate) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.LogicSchemaAssert: Checks whether the actual schema contains a predicate equivalent to expectedPredicate considering that two derived ordinary literals (appearing in the definition rules of the given predicate) are equivalent iff their definition rules are equivalent
containsEquivalentPredicate(Predicate, LogicSchemaAssert.DerivedLiteralStrategy) - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.assertions.DependencySchemaAssert: Checks whether the actual schema contains a predicate equivalent to expectedPredicate considering that two derived ordinary literals (appearing in the definition rules of the given predicate) are equivalent according to the derivedLiteralStrategy given
containsEquivalentPredicate(Predicate, LogicSchemaAssert.DerivedLiteralStrategy) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.LogicSchemaAssert: Checks whether the actual schema contains a predicate equivalent to expectedPredicate considering that two derived ordinary literals (appearing in the definition rules of the given predicate) are equivalent according to the derivedLiteralStrategy given
containsExactlyDeterminedPositions(Integer...) - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.assertions.EGDFunctionalDependencyAssert
containsExactlyDeterminedPositions(List<Integer>) - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.assertions.EGDFunctionalDependencyAssert
containsExactlyEGDs(EGD...) - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.assertions.EGDFunctionalDependencyAssert
containsExactlyEGDs(List<EGD>) - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.assertions.EGDFunctionalDependencyAssert
containsExactlyKeyPositions(Integer...) - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.assertions.EGDFunctionalDependencyAssert
containsExactlyKeyPositions(List<Integer>) - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.assertions.EGDFunctionalDependencyAssert
containsExactlyLiteralsOf(List<String>) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.ImmutableLiteralsListAssert
containsExactlyPredicateNames(String...) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.LevelAssert
containsExactlyPredicateNamesInLevel(int, String...) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.LevelHierarchyAssert
containsExactlyTheseConstraintIDs(String...) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.LogicSchemaAssert
containsExactlyThesePredicateNames(String...) - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.assertions.DependencySchemaAssert
containsExactlyThesePredicateNames(String...) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.LogicSchemaAssert
containsFunctionalDependency(String, Set<Integer>, Set<Integer>) - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.assertions.EGDAnalysisAssert
containsNonFunctionalEGD(List<EGD>) - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.assertions.EGDAnalysisAssert
containsOrdinaryLiteral(boolean, String, String...) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.ImmutableLiteralsListAssert
containsOrdinaryLiteral(String, int) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.NormalClauseAssert
containsOrdinaryLiteral(String, int, boolean) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.NormalClauseAssert
containsOrdinaryLiteral(String, String...) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.ImmutableLiteralsListAssert
containsOrdinaryLiteral(String, String...) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.NormalClauseAssert
containsPredicate(String, int) - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.assertions.DependencySchemaAssert
containsPredicate(String, int) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.LogicSchemaAssert
containsVariable(int, String) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.ImmutableTermListAssert
containsVariables(String...) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.LiteralAssert
correspondsSpec(BuiltInLiteralSpec) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.BuiltInLiteralAssert
correspondsSpec(BuiltInLiteralSpec) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.ComparisonBuiltInLiteralAssert
correspondsSpec(DerivationRuleSpec) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.DerivationRuleAssert
correspondsSpec(LiteralSpec) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.LiteralAssert
correspondsSpec(LogicConstraintSpec) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.LogicConstraintAssert
correspondsSpec(OrdinaryLiteralSpec) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.OrdinaryLiteralAssert
correspondsSpec(TermSpec) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.TermAssert
correspondsSpecWithId(LogicConstraintWithIDSpec) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.LogicConstraintAssert
correspondsTo(String) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.BuiltInLiteralAssert
correspondsTo(String) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.ComparisonBuiltInLiteralAssert
correspondsTo(String) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.LiteralAssert
correspondsTo(String) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.OrdinaryLiteralAssert
create(String) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers.DerivationRuleMother
create(String) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers.ImmutableAtomListMother
create(String) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers.ImmutableLiteralsListMother
create(String, String) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers.DerivationRuleMother
create(String, String) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers.ImmutableLiteralsListMother
create(String, String, Set<String>) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers.DerivationRuleMother
create(Map<String, String>) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.mothers.SchemaTraceabilityMapMother
createAtom(LogicSchema, String, String...) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers.AtomMother
createAtom(String, String...) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers.AtomMother
createAtom(String, List<Term>) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers.AtomMother
createAtomWithVariableNames(String, List<String>) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers.AtomMother
createBooleanConjunctiveQuery(String) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers.QueryMother
createBooleanConjunctiveQuery(String, Set<Predicate>) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers.QueryMother
createBooleanQuery(String) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers.QueryMother
createConjunctiveQuery(List<String>, String) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers.QueryMother
createConjunctiveQuery(List<String>, String, Set<Predicate>) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers.QueryMother
createConstraintID(String) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers.ConstraintIDMother
createCustomBuiltInLiteral(String, String...) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers.LiteralMother
createDerivedPredicate(String, String) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers.DerivedPredicateMother
createEmptyMap() - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.mothers.SchemaTraceabilityMapMother
createEmptySchema() - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers.LogicSchemaMother
createLevelHierarchy(List<String>...) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers.LevelHierarchyMother
createLevelHierarchy(Set<Predicate>...) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers.LevelHierarchyMother
createListOfImmutableLiterals(List<String>, String) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers.ImmutableLiteralsListMother
createOArityDerivedPredicate(String, Predicate) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers.DerivedPredicateMother
createOrdinaryLiteral(boolean, String, String...) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers.LiteralMother
createOrdinaryLiteral(boolean, String, List<Term>) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers.LiteralMother
createOrdinaryLiteral(DependencySchema, boolean, String, String...) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers.LiteralMother
createOrdinaryLiteral(DependencySchema, String, String...) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers.LiteralMother
createOrdinaryLiteral(LogicSchema, boolean, String, String...) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers.LiteralMother
createOrdinaryLiteral(LogicSchema, String, String...) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers.LiteralMother
createOrdinaryLiteral(String, String) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers.OrdinaryLiteralMother
createOrdinaryLiteral(String, String...) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers.LiteralMother
createOrdinaryLiteral(String, List<Term>) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers.LiteralMother
createOrdinaryLiteralWithVariableNames(boolean, String, List<String>) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers.LiteralMother
createOrdinaryLiteralWithVariableNames(String, List<String>) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers.LiteralMother
createQuery(List<String>, String) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers.QueryMother
createQuery(List<String>, String, String) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers.QueryMother
createTerm(String) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers.TermMother
createTerms(String...) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers.TermMother
createTerms(List<String>) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers.TermMother
createTGD(String) - Static method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.mothers.TGDMother
createTrivialDerivedPredicate(String, int, List<Predicate>) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers.DerivedPredicateMother: Create a derived predicate with as many definition rules as predicates given by parameter.
createTrivialLogicConstraint(ConstraintID, Predicate) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers.LogicConstraintMother
createTrivialQuery(int, Predicate) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers.QueryMother
createTrivialQuery(int, String) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers.QueryMother
createWithCustomBuiltinLiterals(String, Set<String>) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers.ImmutableLiteralsListMother
createWithID(String) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers.LogicConstraintMother
createWithoutID(String) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers.LogicConstraintMother
CustomBuiltInLiteralTest - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain
CustomBuiltInLiteralTest() - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.CustomBuiltInLiteralTest

D

dependencies() - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.assertions.DependencySchemaAssert
DependencyAssert - Class in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.assertions
DependencyAssert(Dependency) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.assertions.DependencyAssert
DependencyMother - Class in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.mothers
DependencyMother() - Constructor for class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.mothers.DependencyMother
DependencySchemaAssert - Class in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.assertions
DependencySchemaAssert(DependencySchema) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.assertions.DependencySchemaAssert
DependencySchemaAssertions - Class in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.assertions
DependencySchemaAssertions() - Constructor for class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.assertions.DependencySchemaAssertions
DependencySchemaMother - Class in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.mothers
DependencySchemaMother() - Constructor for class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.mothers.DependencySchemaMother
DerivationRuleAssert - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions
DerivationRuleAssert(DerivationRule) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.DerivationRuleAssert
DerivationRuleMother - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers
DerivationRuleMother() - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers.DerivationRuleMother
DerivedPredicateMother - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers
DerivedPredicateMother() - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers.DerivedPredicateMother

E

edu.upc.fib.inlab.imp.kse.logics.dependencyschema.assertions - package edu.upc.fib.inlab.imp.kse.logics.dependencyschema.assertions
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.mothers - package edu.upc.fib.inlab.imp.kse.logics.dependencyschema.mothers
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.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.assertions - package edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions
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.operations - package edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.operations
edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.utils - package edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.utils
edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers - package edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers
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.assertions - package edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.assertions
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.spec - package edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec
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.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.assertions - package edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.assertions
edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.mothers - package edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.mothers
EGDAnalysisAssert - Class in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.assertions
EGDAnalysisAssert(EGDToFDAnalysisResult) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.assertions.EGDAnalysisAssert
EGDAssert - Class in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.assertions
EGDAssert(EGD) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.assertions.EGDAssert
EGDFunctionalDependencyAssert - Class in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.assertions
EGDFunctionalDependencyAssert(FunctionalDependencyWithEGDs) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.assertions.EGDFunctionalDependencyAssert
EGDTest - Class in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.domain
EGDTest() - Constructor for class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.domain.EGDTest
encodesMapping(Map<Variable, Term>) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.assertions.SubstitutionAssert

G

getAnalyzer() - Method in enum class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.LogicSchemaAssert.DerivedLiteralStrategy

H

hasArity(int) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.PredicateAssert
hasAtom(int, String) - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.assertions.TGDAssert
hasAtom(String) - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.assertions.TGDAssert
hasBodySize(int) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.NormalClauseAssert
hasBodySize(int) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.QueryAssert
hasComparisonOperation(String) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.ComparisonBuiltInLiteralAssert
hasConstant(int, String) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.LiteralAssert
hasConstraintsSize(int) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.LogicSchemaAssert
hasDependencies(int) - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.assertions.DependencySchemaAssert
hasDerivationRules(int) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.PredicateAssert
hasEmptyHead() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.QueryAssert
hasEquality(String) - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.assertions.EGDAssert
hasID(String) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.LogicConstraintAssert
hasLeftConstant(String) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.ComparisonBuiltInLiteralAssert
hasLeftVariable(String) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.ComparisonBuiltInLiteralAssert
hasLevels(int) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.LevelHierarchyAssert
hasLiteral(int, String) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.ImmutableLiteralsListAssert
hasLiteral(String) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.ImmutableLiteralsListAssert
hasName(String) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.PredicateAssert
hasNonEmptyHead() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.QueryAssert
hasNoPredicateInLevel(int) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.LevelHierarchyAssert
hasNoTerms() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.BuiltInLiteralAssert
hasOperationName(String) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.BuiltInLiteralAssert
hasPredicate(Predicate) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.AtomAssert: Asserts that the actual atom should have the very same predicate (i.e., same object reference) as the one given by parameter
hasPredicate(Predicate) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.OrdinaryLiteralAssert: Asserts that the actual atom should have the very same predicate (i.e., same object reference) as the one given by parameter
hasPredicate(String, int) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.AtomAssert
hasPredicate(String, int) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.LiteralAssert
hasPredicate(String, int) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.OrdinaryLiteralAssert
hasPredicateName(String) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.AtomAssert
hasPredicateName(String) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.OrdinaryLiteralAssert
hasPredicates(int) - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.assertions.DependencySchemaAssert
hasRightConstant(String) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.ComparisonBuiltInLiteralAssert
hasRightVariable(String) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.ComparisonBuiltInLiteralAssert
hasSameSizeAs(ImmutableLiteralsList) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.ImmutableLiteralsListAssert
hasSize(int) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.ImmutableAtomListAssert
hasSize(int) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.ImmutableTermListAssert
hasSize(int) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.assertions.SubstitutionAssert
hasTerms(ImmutableTermList) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.AtomAssert
hasTerms(ImmutableTermList) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.OrdinaryLiteralAssert
hasVariable(int, String) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.AtomAssert
hasVariable(int, String) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.BuiltInLiteralAssert
hasVariable(int, String) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.LiteralAssert
head() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.QueryAssert
headOfSize(int) - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.assertions.TGDAssert
headVariablesAppearInBody() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.QueryAssert
HOMOMORPHIC_RULES - Enum constant in enum class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.LogicSchemaAssert.DerivedLiteralStrategy

I

IMMUTABLE_LITERALS_LIST - Static variable in interface edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.LogicInstanceOfAssertFactories
ImmutableAtomListAssert - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions
ImmutableAtomListAssert(ImmutableAtomList) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.ImmutableAtomListAssert
ImmutableAtomListMother - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers
ImmutableAtomListMother() - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers.ImmutableAtomListMother
ImmutableLiteralsListAssert - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions
ImmutableLiteralsListAssert(ImmutableLiteralsList) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.ImmutableLiteralsListAssert
ImmutableLiteralsListMother - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers
ImmutableLiteralsListMother() - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers.ImmutableLiteralsListMother
ImmutableTermListAssert - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions
ImmutableTermListAssert(ImmutableTermList) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.ImmutableTermListAssert
isBooleanBuiltInLiteral() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.BuiltInLiteralAssert
isBuiltInLiteral() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.LiteralAssert
isComparisonBuiltInLiteral() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.LiteralAssert
isConstant() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.TermAssert
isConstant(String) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.TermAssert
isCustomBuiltInLiteral() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.BuiltInLiteralAssert
isDerived() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.PredicateAssert
isDerived(boolean) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.PredicateAssert
isEGD() - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.assertions.DependencyAssert
isEmpty() - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.assertions.DependencySchemaAssert
isEmpty() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.LevelAssert
isEmpty() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.LogicSchemaAssert
isEmpty() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.assertions.SubstitutionAssert
isEquality() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.ComparisonBuiltInLiteralAssert
isGround() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.LiteralAssert
isIsomorphicTo(ImmutableLiteralsList) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.ImmutableLiteralsListAssert
isIsomorphicTo(ImmutableTermList) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.ImmutableTermListAssert: Checks whether the actual terms list is isomorphic to the input terms list.
isIsomorphicTo(LogicSchema) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.LogicSchemaAssert
isIsomorphicTo(Query) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.QueryAssert
isIsomorphicTo(String) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.ImmutableLiteralsListAssert
isIsomorphicTo(List<String>, String) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.QueryAssert
isIsomorphicToWithoutReplacingVariables(ImmutableLiteralsList, String...) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.ImmutableLiteralsListAssert: Checks whether the actual literals have an isomorphism to the expected literals without changing the variable names given by parameter.
isLogicallyEquivalent(DerivationRule) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.DerivationRuleAssert: Checks whether the actual rule is the same as the expected logic rule up-to renaming variables, and derived predicate names.
isLogicallyEquivalent(LogicConstraint) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.LogicConstraintAssert: Checks whether the actual constraint is the same as the expected logic constraint up-to renaming variables, and derived predicate names.
isLogicallyEquivalentTo(ImmutableLiteralsList) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.ImmutableLiteralsListAssert: Checks whether the actual literals are the same as the expected literals up to renaming variable names and derived predicate names.
isLogicallyEquivalentTo(LogicSchema) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.LogicSchemaAssert: Asserts whether the actual logicSchema is equivalent to the expectedSchema.
isLogicallyEquivalentTo(Predicate) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.PredicateAssert: Two predicates P and Q are said to be equivalent iff any two atoms P(x) and Q(x), being x any possible list of constants, P(x) and Q(x) evaluates the same on any possible database.
isNegated() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.OrdinaryLiteralAssert
isNotConstant() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.TermAssert
isNotVariable() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.TermAssert
isOrdinaryLiteral() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.LiteralAssert
isPositive() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.OrdinaryLiteralAssert
isPositive(boolean) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.OrdinaryLiteralAssert
isTGD() - Method in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.assertions.DependencyAssert
isVariable() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.TermAssert
isVariable(String) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.TermAssert

L

leftTerm() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.ComparisonBuiltInLiteralAssert
LevelAssert - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions
LevelAssert(Level) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.LevelAssert
LevelHierarchyAssert - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions
LevelHierarchyAssert(LevelHierarchy) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.LevelHierarchyAssert
LevelHierarchyMother - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers
LevelHierarchyMother() - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers.LevelHierarchyMother
LiteralAssert - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions
LiteralAssert(Literal) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.LiteralAssert
literalComesFrom(int, Literal) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.ImmutableLiteralsListAssert: Checks that the i-th literal has an original literal which is exactly the same (i.e., same object reference) as the expectedOriginalLiteral
literalComesFrom(Literal, Literal) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.ImmutableLiteralsListAssert: Checks that the currentLiteral has an original literal which is exactly the same (i.e., same object reference) as the expectedOriginalLiteral
literalHasNoOriginal(int) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.ImmutableLiteralsListAssert
LiteralMother - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers
LiteralMother() - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers.LiteralMother
LiteralParser - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.utils
LiteralParser() - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.utils.LiteralParser
literalPositionComesFrom(int, int, Literal, int) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.ImmutableLiteralsListAssert
literalPositionComesFrom(Literal, int, Literal, int) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.ImmutableLiteralsListAssert
literalPositionHasNoOriginal(int, int) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.ImmutableLiteralsListAssert
LogicConstraintAssert - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions
LogicConstraintAssert(LogicConstraint) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.LogicConstraintAssert
LogicConstraintMother - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers
LogicConstraintMother() - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers.LogicConstraintMother
LogicInstanceOfAssertFactories - Interface in edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions: A utils class to group all the InstanceOfAssertFactory of the IMP Logics project
LogicSchemaAssert - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions
LogicSchemaAssert(LogicSchema) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.LogicSchemaAssert
LogicSchemaAssert.DerivedLiteralStrategy - Enum Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions
LogicSchemaAssertions - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions
LogicSchemaAssertions() - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.LogicSchemaAssertions
LogicSchemaMother - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers
LogicSchemaMother() - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers.LogicSchemaMother
LogicSchemaWithCustomBuiltInMother - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers
LogicSchemaWithCustomBuiltInMother() - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers.LogicSchemaWithCustomBuiltInMother

M

mapsToConstant(String, String) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.assertions.SubstitutionAssert
mapsToDifferentVariables(Set<Variable>) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.assertions.SubstitutionAssert: Checks whether the actual substitution replaces each variable of the input to a different variable.
mapsToVariable(String, String) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.assertions.SubstitutionAssert

N

newAbstractIterableAssert(Iterable<? extends Atom>) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.ImmutableAtomListAssert
newAbstractIterableAssert(Iterable<? extends Literal>) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.ImmutableLiteralsListAssert
newAbstractIterableAssert(Iterable<? extends Term>) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.ImmutableTermListAssert
NormalClauseAssert<T extends edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.NormalClause> - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions
NormalClauseAssert(T, Class<?>) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.NormalClauseAssert

O

ORDINARY_LITERAL - Static variable in interface edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.LogicInstanceOfAssertFactories
OrdinaryLiteralAssert - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions
OrdinaryLiteralAssert(OrdinaryLiteral) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.OrdinaryLiteralAssert
OrdinaryLiteralMother - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers
OrdinaryLiteralMother() - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers.OrdinaryLiteralMother
OrdinaryLiteralTest - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain
OrdinaryLiteralTest() - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.OrdinaryLiteralTest

P

parseLiteral(String) - Static method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.utils.LiteralParser
PredicateAssert - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions
PredicateAssert(Predicate) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.PredicateAssert

Q

QueryAssert - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions
QueryAssert(Query) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.QueryAssert
QueryMother - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers
QueryMother() - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers.QueryMother
QueryTest - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain
QueryTest() - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.QueryTest

R

rightTerm() - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.ComparisonBuiltInLiteralAssert

S

SAME_NAME - Enum constant in enum class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.LogicSchemaAssert.DerivedLiteralStrategy
SchemaTraceabilityMapAssert - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.assertions
SchemaTraceabilityMapAssert(SchemaTraceabilityMap) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.assertions.SchemaTraceabilityMapAssert
SchemaTraceabilityMapMother - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.mothers
SchemaTraceabilityMapMother() - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.mothers.SchemaTraceabilityMapMother
SchemaTransformationAssert - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.assertions
SchemaTransformationAssert(SchemaTransformation) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.assertions.SchemaTransformationAssert
size(int) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.assertions.SchemaTraceabilityMapAssert
SubstitutionAssert - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.assertions
SubstitutionAssert(Substitution) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.assertions.SubstitutionAssert
SubstitutionBuilder - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator
SubstitutionBuilder() - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.SubstitutionBuilder

T

TermAssert - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions
TermAssert(Term) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.TermAssert
TermMother - Class in edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers
TermMother() - Constructor for class edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers.TermMother
TGDAssert - Class in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.assertions
TGDAssert(TGD) - Constructor for class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.assertions.TGDAssert
TGDMother - Class in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.mothers
TGDMother() - Constructor for class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.mothers.TGDMother
toAssert(Atom, String) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.ImmutableAtomListAssert
toAssert(Literal, String) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.ImmutableLiteralsListAssert
toAssert(Term, String) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.ImmutableTermListAssert

U

usingIsomorphismOptions(IsomorphismOptions) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.ImmutableLiteralsListAssert
usingIsomorphismOptions(IsomorphismOptions) - Method in class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.LogicSchemaAssert

V

valueOf(String) - Static method in enum class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.LogicSchemaAssert.DerivedLiteralStrategy: Returns the enum constant of this class with the specified name.
values() - Static method in enum class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.LogicSchemaAssert.DerivedLiteralStrategy: Returns an array containing the constants of this enum class, in the order they are declared.

A B C D E G H I L M N O P Q R S T U V
All Classes and Interfaces|All Packages