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

Class NAryExpressionImpl<Argument extends Expression>

java.lang.Object

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

All Implemented Interfaces:

NAryExpression<Argument>

Direct Known Subclasses:

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

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

Constructor Summary

Constructors

Constructor and Description
NAryExpressionImpl()

Method Summary

Methods

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

Methods inherited from class java.lang.Object

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

Constructor Detail

NAryExpressionImpl

public NAryExpressionImpl()

Method Detail

add

public void add(Collection<Expression> v)

Description copied from interface: NAryExpression

add a vector

Specified by:

add in interface NAryExpression<Argument extends Expression>

add

public void add(Expression p)

Description copied from interface: NAryExpression

add a single element to the array

Specified by:

add in interface NAryExpression<Argument extends Expression>

getArguments

public List<Argument> getArguments()

Description copied from interface: NAryExpression

access to members

Specified by:

getArguments in interface NAryExpression<Argument extends Expression>

isEmpty

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

Specified by:

isEmpty in interface NAryExpression<Argument extends Expression>

size

public int size()

Specified by:

size in interface NAryExpression<Argument extends Expression>

transform

public Argument transform(Expression arg)

transform general expression into the argument one

Specified by:

transform in interface NAryExpression<Argument extends Expression>

toString

public String toString()

Overrides:

toString in class Object