uk.ac.manchester.cs.jfact.split

Class ExpressionFromAxiomBuilder

java.lang.Object

uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitorExAdapter<ConceptExpression>

uk.ac.manchester.cs.jfact.split.ExpressionFromAxiomBuilder

All Implemented Interfaces:

Serializable, DLAxiomVisitorEx<ConceptExpression>

public class ExpressionFromAxiomBuilder
extends DLAxiomVisitorExAdapter<ConceptExpression>

Author:

ignazio

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
ExpressionFromAxiomBuilder(ConceptExpression a)

Method Summary

Methods

Modifier and Type	Method and Description
ConceptExpression	visit(AxiomDRoleDomain axiom)
ConceptExpression	visit(AxiomDRoleRange axiom)
ConceptExpression	visit(AxiomORoleDomain axiom)
ConceptExpression	visit(AxiomORoleRange axiom)
ConceptExpression	visit(AxiomRelatedTo axiom)
ConceptExpression	visit(AxiomRelatedToNot axiom)
ConceptExpression	visit(AxiomValueOf axiom)
ConceptExpression	visit(AxiomValueOfNot axiom)

Methods inherited from class uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitorExAdapter

visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ExpressionFromAxiomBuilder

public ExpressionFromAxiomBuilder(ConceptExpression a)

Parameters:

a - a

Method Detail

visit

public ConceptExpression visit(AxiomRelatedTo axiom)

Specified by:

visit in interface DLAxiomVisitorEx<ConceptExpression>

Overrides:

visit in class DLAxiomVisitorExAdapter<ConceptExpression>

Parameters:

axiom - AxiomRelatedTo axiom to visit

Returns:

visitor value

visit

public ConceptExpression visit(AxiomValueOf axiom)

Specified by:

visit in interface DLAxiomVisitorEx<ConceptExpression>

Overrides:

visit in class DLAxiomVisitorExAdapter<ConceptExpression>

Parameters:

axiom - AxiomValueOf axiom to visit

Returns:

visitor value

visit

public ConceptExpression visit(AxiomORoleDomain axiom)

Specified by:

visit in interface DLAxiomVisitorEx<ConceptExpression>

Overrides:

visit in class DLAxiomVisitorExAdapter<ConceptExpression>

Parameters:

axiom - AxiomORoleDomain axiom to visit

Returns:

visitor value

visit

public ConceptExpression visit(AxiomORoleRange axiom)

Specified by:

visit in interface DLAxiomVisitorEx<ConceptExpression>

Overrides:

visit in class DLAxiomVisitorExAdapter<ConceptExpression>

Parameters:

axiom - AxiomORoleRange axiom to visit

Returns:

visitor value

visit

public ConceptExpression visit(AxiomDRoleDomain axiom)

Specified by:

visit in interface DLAxiomVisitorEx<ConceptExpression>

Overrides:

visit in class DLAxiomVisitorExAdapter<ConceptExpression>

Parameters:

axiom - AxiomDRoleDomain axiom to visit

Returns:

visitor value

visit

public ConceptExpression visit(AxiomDRoleRange axiom)

Specified by:

visit in interface DLAxiomVisitorEx<ConceptExpression>

Overrides:

visit in class DLAxiomVisitorExAdapter<ConceptExpression>

Parameters:

axiom - AxiomDRoleRange axiom to visit

Returns:

visitor value

visit

public ConceptExpression visit(AxiomRelatedToNot axiom)

Specified by:

visit in interface DLAxiomVisitorEx<ConceptExpression>

Overrides:

visit in class DLAxiomVisitorExAdapter<ConceptExpression>

Parameters:

axiom - AxiomRelatedToNot axiom to visit

Returns:

visitor value

visit

public ConceptExpression visit(AxiomValueOfNot axiom)

Specified by:

visit in interface DLAxiomVisitorEx<ConceptExpression>

Overrides:

visit in class DLAxiomVisitorExAdapter<ConceptExpression>

Parameters:

axiom - AxiomValueOfNot axiom to visit

Returns:

visitor value