uk.ac.manchester.cs.jfact.elf

Class ELFExpressionChecker

java.lang.Object

uk.ac.manchester.cs.jfact.elf.ELFExpressionChecker

All Implemented Interfaces:

DLExpressionVisitor

@PortedFrom(file="ELFExpressionChecker.h",
            name="ELFExpressionChecker")
public class ELFExpressionChecker
extends Object
implements DLExpressionVisitor

Constructor Summary

Constructors

Constructor and Description
ELFExpressionChecker()

Method Summary

Methods

Modifier and Type	Method and Description
void	visit(ConceptAnd expr)
void	visit(ConceptBottom expr)
void	visit(ConceptDataExactCardinality expr)
void	visit(ConceptDataExists expr)
void	visit(ConceptDataForall expr)
void	visit(ConceptDataMaxCardinality expr)
void	visit(ConceptDataMinCardinality expr)
void	visit(ConceptDataValue expr)
void	visit(ConceptName expr)
void	visit(ConceptNot expr)
void	visit(ConceptObjectExactCardinality expr)
void	visit(ConceptObjectExists expr)
void	visit(ConceptObjectForall expr)
void	visit(ConceptObjectMaxCardinality expr)
void	visit(ConceptObjectMinCardinality expr)
void	visit(ConceptObjectSelf expr)
void	visit(ConceptObjectValue expr)
void	visit(ConceptOneOf expr)
void	visit(ConceptOr expr)
void	visit(ConceptTop expr)
void	visit(DataAnd expr)
void	visit(DataBottom expr)
void	visit(DataNot expr)
void	visit(DataOneOf expr)
void	visit(DataOr expr)
void	visit(DataRoleBottom expr)
void	visit(DataRoleName expr)
void	visit(DataRoleTop expr)
void	visit(DataTop expr)
void	visit(Datatype<?> expr)
void	visit(IndividualName expr)
void	visit(Literal<?> expr)
void	visit(ObjectRoleBottom expr)
void	visit(ObjectRoleChain expr)
void	visit(ObjectRoleInverse expr)
void	visit(ObjectRoleName expr)
void	visit(ObjectRoleProjectionFrom expr)
void	visit(ObjectRoleProjectionInto expr)
void	visit(ObjectRoleTop expr)

Methods inherited from class java.lang.Object

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

Constructor Detail

ELFExpressionChecker

public ELFExpressionChecker()

Method Detail

visit

public void visit(ConceptTop expr)

Specified by:

visit in interface DLExpressionVisitor

visit

public void visit(ConceptBottom expr)

Specified by:

visit in interface DLExpressionVisitor

visit

public void visit(ConceptName expr)

Specified by:

visit in interface DLExpressionVisitor

visit

public void visit(ConceptNot expr)

Specified by:

visit in interface DLExpressionVisitor

visit

public void visit(ConceptAnd expr)

Specified by:

visit in interface DLExpressionVisitor

visit

public void visit(ConceptOr expr)

Specified by:

visit in interface DLExpressionVisitor

visit

public void visit(ConceptOneOf expr)

Specified by:

visit in interface DLExpressionVisitor

visit

public void visit(ConceptObjectSelf expr)

Specified by:

visit in interface DLExpressionVisitor

visit

public void visit(ConceptObjectValue expr)

Specified by:

visit in interface DLExpressionVisitor

visit

public void visit(ConceptObjectExists expr)

Specified by:

visit in interface DLExpressionVisitor

visit

public void visit(ConceptObjectForall expr)

Specified by:

visit in interface DLExpressionVisitor

visit

public void visit(ConceptObjectMinCardinality expr)

Specified by:

visit in interface DLExpressionVisitor

visit

public void visit(ConceptObjectMaxCardinality expr)

Specified by:

visit in interface DLExpressionVisitor

visit

public void visit(ConceptObjectExactCardinality expr)

Specified by:

visit in interface DLExpressionVisitor

visit

public void visit(ConceptDataValue expr)

Specified by:

visit in interface DLExpressionVisitor

visit

public void visit(ConceptDataExists expr)

Specified by:

visit in interface DLExpressionVisitor

visit

public void visit(ConceptDataForall expr)

Specified by:

visit in interface DLExpressionVisitor

visit

public void visit(ConceptDataMinCardinality expr)

Specified by:

visit in interface DLExpressionVisitor

visit

public void visit(ConceptDataMaxCardinality expr)

Specified by:

visit in interface DLExpressionVisitor

visit

public void visit(ConceptDataExactCardinality expr)

Specified by:

visit in interface DLExpressionVisitor

visit

public void visit(IndividualName expr)

Specified by:

visit in interface DLExpressionVisitor

visit

public void visit(ObjectRoleTop expr)

Specified by:

visit in interface DLExpressionVisitor

visit

public void visit(ObjectRoleBottom expr)

Specified by:

visit in interface DLExpressionVisitor

visit

public void visit(ObjectRoleName expr)

Specified by:

visit in interface DLExpressionVisitor

visit

public void visit(ObjectRoleInverse expr)

Specified by:

visit in interface DLExpressionVisitor

visit

public void visit(ObjectRoleChain expr)

Specified by:

visit in interface DLExpressionVisitor

visit

public void visit(ObjectRoleProjectionFrom expr)

Specified by:

visit in interface DLExpressionVisitor

visit

public void visit(ObjectRoleProjectionInto expr)

Specified by:

visit in interface DLExpressionVisitor

visit

public void visit(DataRoleTop expr)

Specified by:

visit in interface DLExpressionVisitor

visit

public void visit(DataRoleBottom expr)

Specified by:

visit in interface DLExpressionVisitor

visit

public void visit(DataRoleName expr)

Specified by:

visit in interface DLExpressionVisitor

visit

public void visit(DataTop expr)

Specified by:

visit in interface DLExpressionVisitor

visit

public void visit(DataBottom expr)

Specified by:

visit in interface DLExpressionVisitor

visit

public void visit(DataNot expr)

Specified by:

visit in interface DLExpressionVisitor

visit

public void visit(DataAnd expr)

Specified by:

visit in interface DLExpressionVisitor

visit

public void visit(DataOr expr)

Specified by:

visit in interface DLExpressionVisitor

visit

public void visit(DataOneOf expr)

Specified by:

visit in interface DLExpressionVisitor

visit

public void visit(Literal<?> expr)

Specified by:

visit in interface DLExpressionVisitor

visit

public void visit(Datatype<?> expr)

Specified by:

visit in interface DLExpressionVisitor