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

Class ConceptOneOf

java.lang.Object

uk.ac.manchester.cs.jfact.kernel.dl.NAryExpressionImpl<IndividualName>

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

All Implemented Interfaces:

ConceptExpression, Entity, Expression, NAryExpression<IndividualName>

@PortedFrom(file="tDLExpression.h",
            name="TDLConceptOneOf")
public class ConceptOneOf
extends NAryExpressionImpl<IndividualName>
implements NAryExpression<IndividualName>, ConceptExpression

Constructor Summary

Constructors

Constructor and Description
ConceptOneOf(List<Expression> v) create one-of from individuals in the given array

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)

Methods inherited from class uk.ac.manchester.cs.jfact.kernel.dl.NAryExpressionImpl

add, add, getArguments, isEmpty, size, toString, transform

Methods inherited from class java.lang.Object

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

Methods inherited from interface uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NAryExpression

add, add, getArguments, isEmpty, size, transform

Constructor Detail

ConceptOneOf

public ConceptOneOf(List<Expression> v)

create one-of from individuals in the given array

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 Expression

accept

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

Specified by:

accept in interface Expression