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

Packages that use LogicConstraint

Package	Description
edu.upc.fib.inlab.imp.kse.logics.logicschema.domain
edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.visitor
edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator
edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.isomorphism
edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers
edu.upc.fib.inlab.imp.kse.logics.logicschema.services.printer

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

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

Modifier and Type	Method	Description
LogicConstraint	LogicSchema.getLogicConstraintByID(ConstraintID constraintID)

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

Modifier and Type	Method	Description
Set<LogicConstraint>	LogicSchema.getAllLogicConstraints()

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

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

Modifier and Type	Method	Description
T	LogicSchemaVisitor.visit(LogicConstraint constraint)

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

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

Modifier and Type	Method	Description
Optional<Boolean>	HomomorphismBasedEquivalenceAnalyzer.areEquivalent(LogicConstraint first, LogicConstraint second)
Optional<Boolean>	LogicEquivalenceAnalyzer.areEquivalent(LogicConstraint first, LogicConstraint second)
Optional<Substitution>	HomomorphismFinder.findHomomorphism(LogicConstraint domainLogicConstraint, LogicConstraint rangeLogicConstraint)	Return a homomorphism from the domainLogicConstraint terms to the rangeLogicConstraint terms, if exists

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

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

Modifier and Type	Method	Description
boolean	IsomorphismComparator.areIsomorphic(LogicConstraint constraint1, LogicConstraint constraint2)	Check whether two logic constraints are isomorphic

Uses of LogicConstraint in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers

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

Modifier and Type	Method	Description
static LogicConstraintWithIDSpec	LogicSchemaToSpecHelper.buildLogicConstraintSpec(LogicConstraint lc)

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

Modifier and Type	Method	Description
static List<LogicConstraintWithIDSpec>	LogicSchemaToSpecHelper.buildLogicConstraintSpecs(Set<LogicConstraint> logicConstraints)

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

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

Modifier and Type	Method	Description
String	LogicSchemaPrinter.visit(LogicConstraint constraint)