| Modifier and Type | Method and Description |
|---|---|
OWLClassExpression |
AbstractMacroExpansionVisitor.AbstractClassExpressionVisitorEx.visit(OWLObjectMaxCardinality ce) |
| Modifier and Type | Method and Description |
|---|---|
static OWLObjectMaxCardinality |
OWLFunctionalSyntaxFactory.ObjectMaxCardinality(int cardinality,
OWLObjectPropertyExpression pe,
OWLClassExpression ce) |
| Modifier and Type | Method and Description |
|---|---|
void |
DLSyntaxObjectRenderer.visit(OWLObjectMaxCardinality ce) |
| Modifier and Type | Method and Description |
|---|---|
void |
FunctionalSyntaxObjectRenderer.visit(OWLObjectMaxCardinality ce) |
| Modifier and Type | Method and Description |
|---|---|
void |
KRSSObjectRenderer.visit(OWLObjectMaxCardinality ce) |
| Modifier and Type | Method and Description |
|---|---|
void |
LatexObjectVisitor.visit(OWLObjectMaxCardinality ce) |
void |
LatexBracketChecker.visit(OWLObjectMaxCardinality ce) |
| Modifier and Type | Method and Description |
|---|---|
void |
ManchesterOWLSyntaxObjectRenderer.visit(OWLObjectMaxCardinality ce) |
| Modifier and Type | Method and Description |
|---|---|
default O |
OWLClassExpressionVisitorEx.visit(OWLObjectMaxCardinality ce)
visit OWLObjectMaxCardinality type
|
default void |
OWLClassExpressionVisitor.visit(OWLObjectMaxCardinality ce)
visit OWLObjectMaxCardinality type
|
| Modifier and Type | Method and Description |
|---|---|
OWLObjectMaxCardinality |
CardinalityRestrictionProvider.getOWLObjectMaxCardinality(int cardinality,
OWLObjectPropertyExpression property) |
OWLObjectMaxCardinality |
CardinalityRestrictionProvider.getOWLObjectMaxCardinality(int cardinality,
OWLObjectPropertyExpression property,
OWLClassExpression classExpression) |
| Modifier and Type | Method and Description |
|---|---|
void |
OWLObjectComplementOfExtractor.visit(OWLObjectMaxCardinality ce) |
| Modifier and Type | Method and Description |
|---|---|
void |
OWLXMLObjectRenderer.visit(OWLObjectMaxCardinality ce) |
| Modifier and Type | Method and Description |
|---|---|
void |
AbstractTranslator.visit(OWLObjectMaxCardinality ce) |
| Modifier and Type | Method and Description |
|---|---|
OWLObjectMaxCardinality |
OWLObjectDuplicator.visit(OWLObjectMaxCardinality ce) |
OWLObjectMaxCardinality |
OWLObjectDesharer.visit(OWLObjectMaxCardinality ce) |
| Modifier and Type | Method and Description |
|---|---|
void |
StructureWalker.visit(OWLObjectMaxCardinality ce) |
void |
SimpleRenderer.visit(OWLObjectMaxCardinality ce) |
OWLObjectMaxCardinality |
OWLObjectDuplicator.visit(OWLObjectMaxCardinality ce) |
OWLObjectMaxCardinality |
OWLObjectDesharer.visit(OWLObjectMaxCardinality ce) |
Collection<OWLClassExpression> |
OWLClassExpressionCollector.visit(OWLObjectMaxCardinality ce) |
void |
OWLAnnotationPropertyTransformer.visit(OWLObjectMaxCardinality ce) |
Integer |
MaximumModalDepthFinder.visit(OWLObjectMaxCardinality ce) |
O |
DelegatingObjectVisitorEx.visit(OWLObjectMaxCardinality ce) |
void |
DLExpressivityChecker.visit(OWLObjectMaxCardinality ce) |
| Modifier and Type | Method and Description |
|---|---|
OWLObjectMaxCardinality |
BuilderObjectMaxCardinality.buildObject() |
| Constructor and Description |
|---|
BuilderObjectMaxCardinality(OWLObjectMaxCardinality expected,
OWLDataFactory df)
Builder initialized from an existing object.
|
| Modifier and Type | Method and Description |
|---|---|
void |
TopEquivalenceEvaluator.visit(OWLObjectMaxCardinality expr) |
void |
BotEquivalenceEvaluator.visit(OWLObjectMaxCardinality expr) |
| Modifier and Type | Class and Description |
|---|---|
class |
OWLObjectMaxCardinalityImpl |
| Modifier and Type | Method and Description |
|---|---|
OWLObjectMaxCardinality |
OWLDataFactoryImpl.getOWLObjectMaxCardinality(int cardinality,
OWLObjectPropertyExpression property) |
OWLObjectMaxCardinality |
OWLDataFactoryImpl.getOWLObjectMaxCardinality(int cardinality,
OWLObjectPropertyExpression property,
OWLClassExpression classExpression) |
Copyright © 2017 The University of Manchester. All Rights Reserved.