public interface NormalizedIntegerAxiomVisitor<T>
NormalizedIntegerAxiom
.NormalizedIntegerAxiom
Modifier and Type | Method and Description |
---|---|
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.
|
T visit(FunctObjectPropAxiom axiom)
axiom
- axiomT visit(GCI0Axiom axiom)
axiom
- axiomT visit(GCI1Axiom axiom)
axiom
- axiomT visit(GCI2Axiom axiom)
axiom
- axiomT visit(GCI3Axiom axiom)
axiom
- axiomT visit(NominalAxiom axiom)
axiom
- axiomT visit(RangeAxiom axiom)
axiom
- axiomT visit(RI1Axiom axiom)
axiom
- axiomT visit(RI2Axiom axiom)
axiom
- axiomCopyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.