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

Class NAryExpressionImpl<A extends Expression>

java.lang.Object

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

Type Parameters:

A - argument type

All Implemented Interfaces:

Serializable, NAryExpression<A>

Direct Known Subclasses:

ConceptAnd, ConceptOneOf, ConceptOr, DataAnd, DataOneOf, DataOr, ObjectRoleChain

@PortedFrom(file="tDLExpression.h",
            name="TDLNAryExpression")
public class NAryExpressionImpl<A extends Expression>
extends Object
implements NAryExpression<A>, Serializable

nary expression base

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
NAryExpressionImpl()

Method Summary

Modifier and Type	Method and Description
void	add(Collection<A> v) add a vector
void	add(Expression p) add a single element to the array
List<A>	getArguments()
boolean	isEmpty()
int	size()
String	toString()
A	transform(Expression arg) transform general expression into the argument one

Methods inherited from class java.lang.Object

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

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

allMatch, allMatchWithFirst, anyMatch, anyMatchWithFirst

Constructor Detail

NAryExpressionImpl

public NAryExpressionImpl()

Method Detail

add

public void add(Collection<A> v)

Description copied from interface: NAryExpression

add a vector

Specified by:

add in interface NAryExpression<A extends Expression>

Parameters:

v - v

add

public void add(Expression p)

Description copied from interface: NAryExpression

add a single element to the array

Specified by:

add in interface NAryExpression<A extends Expression>

Parameters:

p - p

getArguments

public List<A> getArguments()

Specified by:

getArguments in interface NAryExpression<A extends Expression>

Returns:

members

isEmpty

@PortedFrom(file="tDLAxiom.h",
            name="empty")
public boolean isEmpty()

Specified by:

isEmpty in interface NAryExpression<A extends Expression>

Returns:

true if empty

size

public int size()

Specified by:

size in interface NAryExpression<A extends Expression>

Returns:

size of members

transform

public A transform(Expression arg)

transform general expression into the argument one

Specified by:

transform in interface NAryExpression<A extends Expression>

Parameters:

arg - arg

Returns:

transform general expression into the argument one

toString

@Nonnull
public String toString()

Overrides:

toString in class Object