Hierarchy For All Packages

Package Hierarchies:

• edu.upc.fib.inlab.imp.kse.logics.dependencyschema.domain,
• edu.upc.fib.inlab.imp.kse.logics.dependencyschema.domain.visitor,
• edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers,
• edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.egds,
• edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation,
• edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation.spec,
• edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation.spec.helpers,
• edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser,
• edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.printer,
• edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.processes,
• edu.upc.fib.inlab.imp.kse.logics.logicschema.domain,
• edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.exceptions,
• edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.operations,
• edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.visitor,
• edu.upc.fib.inlab.imp.kse.logics.logicschema.services,
• edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator,
• edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.exceptions,
• edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.isomorphism,
• edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation,
• edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.exceptions,
• edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec,
• edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers,
• edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser,
• edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.exceptions,
• edu.upc.fib.inlab.imp.kse.logics.logicschema.services.printer,
• edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes,
• edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.exceptions,
• edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.utils

Class Hierarchy

• java.lang.Object
  • java.util.AbstractCollection<E> (implements java.util.Collection<E>)
    • java.util.AbstractList<E> (implements java.util.List<E>)
      • java.util.AbstractSequentialList<E>
        • java.util.LinkedList<E> (implements java.lang.Cloneable, java.util.Deque<E>, java.util.List<E>, java.io.Serializable)
          • edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers.LogicSchemaToSpecHelper.BodySpecFragment
  • org.antlr.v4.runtime.tree.AbstractParseTreeVisitor<T> (implements org.antlr.v4.runtime.tree.ParseTreeVisitor<T>)
    • edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser.DependencySchemaGrammarBaseVisitor<T> (implements edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser.DependencySchemaGrammarVisitor<T>)
      • edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser.DependencySchemaGrammarToSpecVisitor
    • edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.LogicSchemaGrammarBaseVisitor<T> (implements edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.LogicSchemaGrammarVisitor<T>)
      • edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.LogicSchemaGrammarToSpecVisitor<T>
        • edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.LogicSchemaWithIDsGrammarToSpecVisitor
        • edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.LogicSchemaWithoutIDsGrammarToSpecVisitor
    • edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.QueryGrammarBaseVisitor<T> (implements edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.QueryGrammarVisitor<T>)
      • edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.QueryGrammarToSpecVisitor
  • edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Atom
  • edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers.BasicConstantTypeCriteria
  • edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.isomorphism.BiMap<K,V>
  • edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.BuiltInLiteralSpec (implements edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.LiteralSpec)
  • edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.CustomBuiltInPredicateNameChecker (implements edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.BuiltInPredicateNameChecker)
  • edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.DatalogPlusMinusAnalyzer
  • edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.DatalogPlusMinusLanguageChecker
    • edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.GuardedChecker
    • edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.LinearChecker
    • edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.StickyChecker
    • edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.WeaklyGuardedChecker
  • edu.upc.fib.inlab.imp.kse.logics.dependencyschema.domain.Dependency
    • edu.upc.fib.inlab.imp.kse.logics.dependencyschema.domain.EGD
    • edu.upc.fib.inlab.imp.kse.logics.dependencyschema.domain.TGD
  • edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.processes.DependencyProcessPipeline (implements edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.processes.DependencyProcess)
  • edu.upc.fib.inlab.imp.kse.logics.dependencyschema.domain.DependencySchema
  • edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation.DependencySchemaBuilder
  • edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation.DependencySchemaFactory
  • edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser.DependencySchemaParser
  • edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.printer.DependencySchemaPrinter (implements edu.upc.fib.inlab.imp.kse.logics.dependencyschema.domain.visitor.DependencySchemaVisitor<T>)
  • edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation.spec.DependencySchemaSpec (implements edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.LogicElementSpec)
  • edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation.spec.helpers.DependencySchemaToSpecHelper
  • edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation.spec.DependencySpec (implements edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.LogicElementSpec)
    • edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation.spec.EGDSpec
    • edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation.spec.TGDSpec
  • edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.egds.EGDToFDAnalyzer
  • edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.egds.FunctionalDependency
  • edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.HomomorphicRulesHomomorphismCriteria (implements edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.DerivedOrdinaryLiteralHomomorphismCriteria)
  • edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.HomomorphismBasedEquivalenceAnalyzer (implements edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.LogicEquivalenceAnalyzer)
  • edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.HomomorphismFinder
    • edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.ExtendedHomomorphismFinder
  • edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableAtomList (implements java.util.List<E>)
  • edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableLiteralsList (implements java.util.List<E>)
  • edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableTermList (implements java.util.List<E>)
  • edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.IncrementalConstraintIDGenerator (implements edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.ConstraintIDGenerator<T>)
  • edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.isomorphism.IsomorphismComparator
  • edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Level
  • edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LevelHierarchy (implements java.lang.Iterable<T>)
  • edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Literal
    • edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.BuiltInLiteral
      • edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.BooleanBuiltInLiteral
      • edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ComparisonBuiltInLiteral
        • edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.EqualityComparisonBuiltInLiteral
      • edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.CustomBuiltInLiteral
    • edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.OrdinaryLiteral
  • edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.utils.LiteralComparator (implements java.util.Comparator<T>)
  • edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.LiteralFactory
  • edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.LogicProcessPipeline (implements edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.LogicProcess)
  • edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LogicSchema
  • edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.LogicSchemaBuilder<T>
  • edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.LogicSchemaFactory<T>
  • edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.LogicSchemaParser<T>
    • edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.LogicSchemaWithIDsParser
    • edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.LogicSchemaWithoutIDsParser
  • edu.upc.fib.inlab.imp.kse.logics.logicschema.services.printer.LogicSchemaPrinter (implements edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.visitor.LogicSchemaVisitor<T>)
  • edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.LogicSchemaSpec<T> (implements edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.LogicElementSpec)
  • edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers.LogicSchemaToSpecHelper
  • edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.LogicSchemaTransformationProcess (implements edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.LogicProcess, edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.SchemaTransformationProcess)
    • edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.BodySorter
    • edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.EqualityReplacer
    • edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.PredicateCleaner
    • edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.SchemaTransformationProcessPipeline
    • edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.SchemaUnfolder
    • edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.SingleDerivationRuleTransformer
    • edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.TrivialLiteralCleaner
  • edu.upc.fib.inlab.imp.kse.logics.logicschema.services.MGUFinder
  • edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.NewFreshVariableFactory
  • edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.egds.NonConflictingEGDsAnalyzer
  • edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.egds.NonConflictingFDsAnalyzer
  • edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.NormalClause
    • edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.DerivationRule
    • edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LogicConstraint
  • edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.NormalClauseSpec
    • edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.DerivationRuleSpec (implements edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.LogicElementSpec)
    • edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.LogicConstraintSpec (implements edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.LogicElementSpec)
      • edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.LogicConstraintWithIDSpec
      • edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.LogicConstraintWithoutIDSpec
  • edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers.NormalClauseSpecBuilder<T>
    • edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers.DerivationRuleSpecBuilder
    • edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers.LogicConstraintWithIDSpecBuilder
    • edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers.LogicConstraintWithoutIDSpecBuilder
  • edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.OrdinaryLiteralSpec (implements edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.LiteralSpec)
  • edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Predicate
    • edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.MutablePredicate
  • edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.PredicateComparator
  • edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.utils.PredicateSuffixNamer
  • edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Query
    • edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ConjunctiveQuery
  • edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.QueryBuilder
  • edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.QueryFactory
  • edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.QueryParser
  • edu.upc.fib.inlab.imp.kse.logics.logicschema.services.printer.QueryPrinter
  • edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.QuerySpec (implements edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.LogicElementSpec)
  • java.lang.Record
    • edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.BodySpec (implements edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.LogicElementSpec)
    • edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ConstraintID
    • edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.egds.EGDToFDAnalysisResult
    • edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.egds.FunctionalDependencyWithEGDs
    • edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation.spec.HeadAtomsSpec (implements edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.LogicElementSpec)
    • edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.isomorphism.IsomorphismOptions
    • edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LiteralPosition
    • edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.PredicatePosition
    • edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.PredicateSpec
    • edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.QuerySetSpec (implements edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.LogicElementSpec)
    • edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.SchemaTransformation
  • edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.SamePredicateNameCriteria (implements edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.DerivedOrdinaryLiteralHomomorphismCriteria)
  • edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.SchemaTraceabilityMap
  • edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.processes.SingleExistentialVarTGDTransformer (implements edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.processes.DependencyProcess)
  • edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.processes.SingleHeadTGDTransformer (implements edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.processes.DependencyProcess)
  • edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.StickyMarkingAnalyzer
  • edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers.StringToTermSpecFactory
  • edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.operations.Substitution
  • edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.SuffixMultipleConstraintIDGenerator (implements edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.MultipleConstraintIDGenerator)
  • edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Term
    • edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Constant
    • edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Variable
  • edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.TermSpec (implements edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.LogicElementSpec)
    • edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.ConstantSpec
    • edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.VariableSpec
  • edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.TermSpecToTermFactory
  • edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers.TermTypeCriteria
    • edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers.AllVariableTermTypeCriteria
    • edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers.CapitalConstantsTermTypeCriteria
  • java.lang.Throwable (implements java.io.Serializable)
    • java.lang.Exception
      • java.lang.RuntimeException
        • edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.exceptions.ArityMismatch
        • edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.exceptions.DerivedLiteralInHomomorphismCheck
        • edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.exceptions.ExpectingConstraintID
        • edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.exceptions.LevelHierarchyException
        • edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.exceptions.LogicConstraintNotExists
        • edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.exceptions.MapsDoNotJoin
        • edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.exceptions.NoNegatableLiteral
        • edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.exceptions.NotExpectingConstraintID
        • edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.exceptions.ParserCanceledException
        • edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.exceptions.PredicateHasNoDerivationRules
        • edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.exceptions.PredicateIsNotDerived
        • edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.exceptions.PredicateNotExists
        • edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.exceptions.PredicateNotInLevel
        • edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.exceptions.PredicateOutsideSchema
        • edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.exceptions.RepeatedConstraintID
        • edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.exceptions.RepeatedPredicateName
        • edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.exceptions.SubstitutionException
        • edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.exceptions.WrongNumberOfTermsInBuiltInLiteral
  • edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.UseSpecIDGenerator (implements edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.ConstraintIDGenerator<T>)

Interface Hierarchy

• edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.BuiltInPredicateNameChecker
• edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.ConstraintIDGenerator<T>
• edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.processes.DependencyProcess
• edu.upc.fib.inlab.imp.kse.logics.dependencyschema.domain.visitor.DependencySchemaVisitor<T>
• edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.DerivedOrdinaryLiteralHomomorphismCriteria
• edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.LogicElementSpec
  • edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.LiteralSpec
• edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.LogicEquivalenceAnalyzer
• edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.LogicProcess
• edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.visitor.LogicSchemaVisitor<T>
• edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.MultipleConstraintIDGenerator
• edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.SchemaTransformationProcess

Enum Class Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.lang.constant.Constable, java.io.Serializable)
    • edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ComparisonOperator
    • edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.DatalogPlusMinusAnalyzer.DatalogPlusMinusLanguage