public class ObjectPropertyIdFinder extends Object implements IntegerObjectPropertyExpressionVisitor<Integer>
Constructor and Description |
---|
ObjectPropertyIdFinder(IntegerEntityManager manager)
Constructs a new normalizer for inverse object properties.
|
Modifier and Type | Method and Description |
---|---|
IntegerEntityManager |
getIdGenerator() |
Set<NormalizedIntegerAxiom> |
getRequiredAxioms() |
Integer |
visit(IntegerObjectInverseOf objectPropertyExpression) |
Integer |
visit(IntegerObjectProperty objectPropertyExpression) |
public ObjectPropertyIdFinder(IntegerEntityManager manager)
manager
- entity managerpublic IntegerEntityManager getIdGenerator()
public Set<NormalizedIntegerAxiom> getRequiredAxioms()
public Integer visit(IntegerObjectInverseOf objectPropertyExpression)
visit
in interface IntegerObjectPropertyExpressionVisitor<Integer>
public Integer visit(IntegerObjectProperty objectPropertyExpression)
visit
in interface IntegerObjectPropertyExpressionVisitor<Integer>
Copyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.