| Package | Description |
|---|---|
| org.coode.oppl | |
| org.coode.oppl.function | |
| org.coode.oppl.function.inline | |
| org.coode.parsers.oppl |
| Modifier and Type | Method and Description |
|---|---|
GeneratedVariable<org.semanticweb.owlapi.model.OWLClassExpression> |
ConstraintSystem.createIntersectionGeneratedVariable(String name,
VariableType<?> type,
Collection<? extends Aggregandum<Collection<? extends org.semanticweb.owlapi.model.OWLClassExpression>>> operands) |
GeneratedVariable<org.semanticweb.owlapi.model.OWLClassExpression> |
ConstraintSystem.createUnionGeneratedVariable(String name,
VariableType<?> type,
Collection<? extends Aggregandum<Collection<? extends org.semanticweb.owlapi.model.OWLClassExpression>>> operands) |
| Modifier and Type | Field and Description |
|---|---|
protected List<Aggregandum<I>> |
Aggregation.toAggregate |
| Modifier and Type | Method and Description |
|---|---|
static <I> Aggregandum<I> |
Adapter.buildAggregandumCollection(Collection<? extends OPPLFunction<I>> collection) |
static <I> Aggregandum<Collection<? extends I>> |
Adapter.buildAggregandumOfCollection(I singleton) |
static <I> Aggregandum<I> |
Adapter.buildSingletonAggregandum(OPPLFunction<I> singleton) |
| Modifier and Type | Method and Description |
|---|---|
static <O extends org.semanticweb.owlapi.model.OWLObject> |
Adapter.buildOWLObjectCollectionAdapter(Collection<? extends O> collection) |
List<Aggregandum<I>> |
Aggregation.getToAggregate() |
| Modifier and Type | Method and Description |
|---|---|
protected static <I> boolean |
Adapter.isCompatible(Aggregandum<I> aggregandum,
VariableType<?> type) |
protected static <I> String |
Adapter.renderAggregandum(Aggregandum<I> aggregandum,
ConstraintSystem constraintSystem) |
protected static <I> String |
Adapter.renderAggregandum(Aggregandum<I> aggregandum,
org.semanticweb.owlapi.util.ShortFormProvider shortFormProvider) |
| Modifier and Type | Method and Description |
|---|---|
static Aggregation<org.semanticweb.owlapi.model.OWLClassExpression,Collection<? extends org.semanticweb.owlapi.model.OWLClassExpression>> |
Aggregation.buildClassExpressionIntersection(Collection<? extends Aggregandum<Collection<? extends org.semanticweb.owlapi.model.OWLClassExpression>>> a,
org.semanticweb.owlapi.model.OWLDataFactory dataFactory) |
static Aggregation<org.semanticweb.owlapi.model.OWLClassExpression,Collection<? extends org.semanticweb.owlapi.model.OWLClassExpression>> |
Aggregation.buildClassExpressionUnion(Collection<? extends Aggregandum<Collection<? extends org.semanticweb.owlapi.model.OWLClassExpression>>> a,
org.semanticweb.owlapi.model.OWLDataFactory dataFactory) |
static Aggregation<String,String> |
Aggregation.buildStringConcatenation(Collection<? extends Aggregandum<String>> a) |
| Constructor and Description |
|---|
Aggregation(Collection<? extends Aggregandum<I>> toAggregate) |
| Modifier and Type | Method and Description |
|---|---|
Set<Aggregandum<Collection<? extends O>>> |
InlineSet.getAggregandums() |
| Constructor and Description |
|---|
InlineSet(VariableType<? extends O> variableType,
Collection<? extends Aggregandum<Collection<? extends O>>> aggregandums,
org.semanticweb.owlapi.model.OWLDataFactory dataFactory,
ConstraintSystem constraintSystem) |
| Modifier and Type | Field and Description |
|---|---|
Aggregandum<?> |
OPPLTypesParts.aggregandum_return.a |
Aggregandum<?> |
OPPLTypes.aggregandum_return.a |
| Modifier and Type | Field and Description |
|---|---|
List<Aggregandum<?>> |
OPPLTypesParts.aggregandums_return.list |
List<Aggregandum<?>> |
OPPLTypes.aggregandums_return.list |
| Modifier and Type | Method and Description |
|---|---|
<O extends org.semanticweb.owlapi.model.OWLObject> |
OPPLSymbolTable.getAggregandumCollection(VariableType<O> variableType,
Collection<? extends Aggregandum<?>> aggregandums,
List<OPPLSyntaxTree> aggregandumsTrees,
OPPLSyntaxTree parentExpression) |
| Modifier and Type | Method and Description |
|---|---|
<O extends org.semanticweb.owlapi.model.OWLObject> |
OPPLSymbolTable.getAggregandumCollection(VariableType<O> variableType,
Collection<? extends Aggregandum<?>> aggregandums,
List<OPPLSyntaxTree> aggregandumsTrees,
OPPLSyntaxTree parentExpression) |
VariableType<?> |
OPPLSymbolTable.getAggregandumCollectionType(Collection<? extends Aggregandum<?>> aggregandums,
List<OPPLSyntaxTree> aggregandumsTrees,
OPPLSyntaxTree parentExpression) |
org.semanticweb.owlapi.model.OWLAxiom |
OPPLSymbolTable.getDifferentIndividualsAxiom(OPPLSyntaxTree opplSyntaxTree,
List<Aggregandum<?>> list,
List<OPPLSyntaxTree> tokenList,
ConstraintSystem constraintSystem) |
org.semanticweb.owlapi.model.OWLAxiom |
OPPLSymbolTable.getDisjointAxiom(OPPLSyntaxTree expression,
Collection<? extends Aggregandum<?>> aggregandums,
List<OPPLSyntaxTree> aggregdandumTrees,
ConstraintSystem constraintSystem) |
org.semanticweb.owlapi.model.OWLAxiom |
OPPLSymbolTable.getSameIndividualAxiom(OPPLSyntaxTree opplSyntaxTree,
List<Aggregandum<?>> list,
List<OPPLSyntaxTree> tokenList,
ConstraintSystem constraintSystem) |
Copyright © 2015 The University of Manchester. All Rights Reserved.