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

Interface NAryExpression<A extends Expression>

Type Parameters:

A - argument type

All Known Implementing Classes:

AbstractNaryAxiom, AxiomDifferentIndividuals, AxiomDisjointConcepts, AxiomDisjointDRoles, AxiomDisjointORoles, AxiomDisjointUnion, AxiomEquivalentConcepts, AxiomEquivalentDRoles, AxiomEquivalentORoles, AxiomFairnessConstraint, AxiomSameIndividuals, ConceptAnd, ConceptOneOf, ConceptOr, DataAnd, DataOneOf, DataOr, NAryExpressionImpl, ObjectRoleChain

@PortedFrom(file="tDLExpression.h",
            name="TDLNAryExpression")
public interface NAryExpression<A extends Expression>

nary expression

Method Summary

Methods

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

Method Detail

transform

@PortedFrom(file="tDLExpression.h",
            name="transform")
A transform(Expression arg)

Parameters:

arg - arg

Returns:

transform general expression into the argument one

add

@PortedFrom(file="tDLExpression.h",
            name="add")
void add(A p)

add a single element to the array

Parameters:

p - p

add

@PortedFrom(file="tDLExpression.h",
            name="add")
void add(Collection<A> v)

add a vector

Parameters:

v - v

getArguments

@PortedFrom(file="tDLExpression.h",
            name="begin")
List<A> getArguments()

Returns:

members

isEmpty

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

Returns:

true if empty

size

@PortedFrom(file="tDLExpression.h",
            name="size")
int size()

Returns:

size of members