uk.ac.manchester.cs.jfact.kernel.dl

Class ConceptObjectForall

java.lang.Object

uk.ac.manchester.cs.jfact.kernel.dl.ConceptObjectForall

All Implemented Interfaces:

ConceptArg, ConceptExpression, ConceptObjectRCExpression, ConceptObjectRoleExpression, Entity, Expression, ObjectRoleArg

@PortedFrom(file="tDLExpression.h",
            name="TDLConceptObjectForall")
public class ConceptObjectForall
extends Object
implements ConceptObjectRCExpression

Constructor Summary

Constructors

Constructor and Description
ConceptObjectForall(ObjectRoleExpression R, ConceptExpression C)

Method Summary

Methods

Modifier and Type	Method and Description
void	accept(DLExpressionVisitor visitor) accept method for the visitor pattern
<O> O	accept(DLExpressionVisitorEx<O> visitor)
ConceptExpression	getConcept() get access to the argument
ObjectRoleExpression	getOR() get access to the argument

Methods inherited from class java.lang.Object

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

Constructor Detail

ConceptObjectForall

public ConceptObjectForall(ObjectRoleExpression R,
                   ConceptExpression C)

Method Detail

accept

@PortedFrom(file="tDLExpression.h",
            name="accept")
public void accept(DLExpressionVisitor visitor)

Description copied from interface: Expression

accept method for the visitor pattern

Specified by:

accept in interface ConceptExpression

Specified by:

accept in interface ConceptObjectRCExpression

Specified by:

accept in interface ConceptObjectRoleExpression

Specified by:

accept in interface Expression

accept

@PortedFrom(file="tDLExpression.h",
            name="accept")
public <O> O accept(DLExpressionVisitorEx<O> visitor)

Specified by:

accept in interface Expression

getConcept

@PortedFrom(file="tDLExpression.h",
            name="getC")
public ConceptExpression getConcept()

get access to the argument

Specified by:

getConcept in interface ConceptArg

getOR

@PortedFrom(file="tDLExpression.h",
            name="getOR")
public ObjectRoleExpression getOR()

Description copied from interface: ObjectRoleArg

get access to the argument

Specified by:

getOR in interface ObjectRoleArg