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

Class ConceptDataForall

java.lang.Object

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

All Implemented Interfaces:

ConceptDataRoleExpression, ConceptDataRVExpression, ConceptExpression, DataExpressionArg<DataExpression>, DataRoleArg, Entity, Expression

@PortedFrom(file="tDLExpression.h",
            name="TDLConceptDataForall")
public class ConceptDataForall
extends Object
implements ConceptDataRVExpression, DataRoleArg

Constructor Summary

Constructors

Constructor and Description
ConceptDataForall(DataRoleExpression R, DataExpression E)

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)
DataRoleExpression	getDataRoleExpression() get access to the argument
DataExpression	getExpr() 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

ConceptDataForall

public ConceptDataForall(DataRoleExpression R,
                 DataExpression E)

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 ConceptDataRoleExpression

Specified by:

accept in interface ConceptDataRVExpression

Specified by:

accept in interface ConceptExpression

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

getDataRoleExpression

public DataRoleExpression getDataRoleExpression()

get access to the argument

Specified by:

getDataRoleExpression in interface DataRoleArg

getExpr

@PortedFrom(file="tDLExpression.h",
            name="getExpr")
public DataExpression getExpr()

Description copied from interface: DataExpressionArg

get access to the argument

Specified by:

getExpr in interface DataExpressionArg<DataExpression>