|
AROMA 1.2 | |||||||||
PREV NEXT | FRAMES NO FRAMES |
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 |
|
AROMA 1.2 | |||||||||
PREV NEXT | FRAMES NO FRAMES |