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

Interface NAryExpression<Argument extends Expression>

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<Argument extends Expression>

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()
Argument	transform(Expression arg) transform general expression into the argument one

Method Detail

transform

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

transform general expression into the argument one

add

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

add a single element to the array

add

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

add a vector

getArguments

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

access to members

isEmpty

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

size

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