Uses of Class
edu.upc.fib.inlab.imp.kse.logics.dependencyschema.domain.TGD

Packages that use TGD

Package	Description
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.spec.helpers
edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.printer
edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.processes

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

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

Modifier and Type	Method	Description
List<TGD>	DependencySchema.getAllTGDs()

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

Methods in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.domain.visitor with parameters of type TGD

Modifier and Type	Method	Description
T	DependencySchemaVisitor.visit(TGD tgd)

Uses of TGD in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers

Method parameters in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers with type arguments of type TGD

Modifier and Type	Method	Description
static Set<LiteralPosition>	StickyMarkingAnalyzer.getStickyMarking(List<TGD> tgds)

Uses of TGD in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.egds

Methods in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.egds with parameters of type TGD

Modifier and Type	Method	Description
boolean	NonConflictingFDsAnalyzer.isConflicting(TGD tgd, FunctionalDependency fd)

Method parameters in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.egds with type arguments of type TGD

Modifier and Type	Method	Description
boolean	NonConflictingFDsAnalyzer.isConflicting(List<TGD> tgds, List<FunctionalDependency> fds)
boolean	NonConflictingFDsAnalyzer.isNonConflicting(List<TGD> tgds, List<FunctionalDependency> fds)

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

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

Modifier and Type	Method	Description
static TGDSpec	DependencySchemaToSpecHelper.buildTGDSpec(TGD originalTGD)

Uses of TGD in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.printer

Methods in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.printer with parameters of type TGD

Modifier and Type	Method	Description
String	DependencySchemaPrinter.visit(TGD tgd)

Uses of TGD in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.processes

Methods in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.processes with parameters of type TGD

Modifier and Type	Method	Description
static boolean	SingleExistentialVarTGDTransformer.containsOneExistentiallyQuantifiedVariable(TGD tgd)