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

Class DataAnd

java.lang.Object

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

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

All Implemented Interfaces:

DataExpression, Entity, Expression, NAryExpression<DataExpression>

@PortedFrom(file="tDLExpression.h",
            name="TDLDataAnd")
public class DataAnd
extends NAryExpressionImpl<DataExpression>
implements NAryExpression<DataExpression>, DataExpression

Constructor Summary

Constructors

Constructor and Description
DataAnd(List<Expression> v) create AND of expressions from 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

DataAnd

public DataAnd(List<Expression> v)

create AND of expressions from 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 Expression

accept

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

Specified by:

accept in interface Expression