|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface NormalizedIntegerAxiomVisitor<T>
This class models a visitor of NormalizedIntegerAxiom
.
NormalizedIntegerAxiom
Method Summary | |
---|---|
T |
visit(FunctObjectPropAxiom axiom)
Visits a functional object property axiom. |
T |
visit(GCI0Axiom axiom)
Visits a GCI-0 axiom. |
T |
visit(GCI1Axiom axiom)
Visits a GCI-1 axiom. |
T |
visit(GCI2Axiom axiom)
Visits a GCI-2 axiom. |
T |
visit(GCI3Axiom axiom)
Visits a GCI-3 axiom. |
T |
visit(NominalAxiom axiom)
Visits a nominal axiom. |
T |
visit(RangeAxiom axiom)
Visits a range axiom. |
T |
visit(RI1Axiom axiom)
Visits an RI-1 axiom. |
T |
visit(RI2Axiom axiom)
Visits an RI-2 axiom. |
T |
visit(RI3Axiom axiom)
Visits an RI-3 axiom. |
Method Detail |
---|
T visit(FunctObjectPropAxiom axiom)
axiom
- axiom
T visit(GCI0Axiom axiom)
axiom
- axiom
T visit(GCI1Axiom axiom)
axiom
- axiom
T visit(GCI2Axiom axiom)
axiom
- axiom
T visit(GCI3Axiom axiom)
axiom
- axiom
T visit(NominalAxiom axiom)
axiom
- axiom
T visit(RangeAxiom axiom)
axiom
- axiom
T visit(RI1Axiom axiom)
axiom
- axiom
T visit(RI2Axiom axiom)
axiom
- axiom
T visit(RI3Axiom axiom)
axiom
- axiom
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |