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

Class ConceptObjectForall

java.lang.Object

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

All Implemented Interfaces:

Serializable, org.semanticweb.owlapi.model.HasIRI, ConceptArg, ConceptExpression, ConceptObjectRCExpression, ConceptObjectRoleExpression, Entity, Expression, ObjectRoleArg

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

forall object restriction

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
ConceptObjectForall(ObjectRoleExpression r, ConceptExpression c)

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

ConceptObjectForall

public ConceptObjectForall(ObjectRoleExpression r,
                           ConceptExpression c)

Parameters:

r - R

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

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

getConcept

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

get access to the argument

Specified by:

getConcept in interface ConceptArg

Returns:

access to the argument

getOR

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

Specified by:

getOR in interface ObjectRoleArg

Returns:

object role

getIRI

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

Specified by:

getIRI in interface org.semanticweb.owlapi.model.HasIRI

Specified by:

getIRI in interface Expression

toString

public String toString()

Overrides:

toString in class Object