Uses of Class
fr.inrialpes.exmo.aroma.alignment.Implication

Packages that use Implication

fr.inrialpes.exmo.aroma.algorithms
fr.inrialpes.exmo.aroma.alignment

Uses of Implication in fr.inrialpes.exmo.aroma.algorithms

Fields in fr.inrialpes.exmo.aroma.algorithms with type parameters of type Implication

private Set<Implication>

ImplicationDiscovery.implications

Methods in fr.inrialpes.exmo.aroma.algorithms that return types with arguments of type Implication

Set<Implication>

ImplicationDiscovery.getImplicationSet()

Method parameters in fr.inrialpes.exmo.aroma.algorithms with type arguments of type Implication

static Set<MatchingRelation>	PostAlgorithms.deduceEquivalences(Set<MatchingRelation> align, Set<Implication> st, Set<Implication> ts, AlignmentFactory af)
static Set<MatchingRelation>	PostAlgorithms.deduceEquivalences(Set<MatchingRelation> align, Set<Implication> st, Set<Implication> ts, AlignmentFactory af)

Uses of Implication in fr.inrialpes.exmo.aroma.alignment

Methods in fr.inrialpes.exmo.aroma.alignment that return Implication

Implication	AlignmentFactory.getImplication(AEntity src, AEntity dst)
Implication	Implication.inverse()

Methods in fr.inrialpes.exmo.aroma.alignment with parameters of type Implication

Equivalence	AlignmentFactory.getEquivalence(Implication imp1, Implication imp2)
boolean	Implication.isGeneratedBy(Implication imp) Is the implication generated by imp equivalent to imp.isGenerativeOf(this)

Method parameters in fr.inrialpes.exmo.aroma.alignment with type arguments of type Implication

boolean

Implication.hasGenerativeImplication(Set<Implication> imp) verifies that this implication has no generative implication in the set