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

Class ConceptDataForall

java.lang.Object

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

All Implemented Interfaces:

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

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

forall data restriction

See Also:

Serialized Form

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()
org.semanticweb.owlapi.model.IRI	getName()
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

ConceptDataForall

public ConceptDataForall(DataRoleExpression R,
                 DataExpression E)

Parameters:

R - R

E - 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

Parameters:

visitor - visitor

accept

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

Specified by:

accept in interface Expression

Type Parameters:

O - visitor type

Parameters:

visitor - visitor

Returns:

visitor value

getDataRoleExpression

public DataRoleExpression getDataRoleExpression()

get access to the argument

Specified by:

getDataRoleExpression in interface DataRoleArg

Returns:

argument

getExpr

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

Specified by:

getExpr in interface DataExpressionArg<DataExpression>

Returns:

argument

getName

public org.semanticweb.owlapi.model.IRI getName()

Specified by:

getName in interface HasName

Returns:

name of given entry

toString

@Nonnull
public String toString()

Overrides:

toString in class Object