| Package | Description |
|---|---|
| org.coode.oppl | |
| org.coode.oppl.function | |
| org.coode.oppl.function.inline | |
| org.coode.oppl.generated | |
| org.coode.oppl.variabletypes | |
| org.coode.parsers.oppl |
| Modifier and Type | Method and Description |
|---|---|
VariableType<O> |
Variable.getType() |
| 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) |
<O extends org.semanticweb.owlapi.model.OWLObject> |
ConstraintSystem.createRegexpGeneratedVariable(String name,
VariableType<O> type,
OPPLFunction<Pattern> patternGeneratingOPPLFunction) |
<O extends org.semanticweb.owlapi.model.OWLObject> |
ConstraintSystem.createStringGeneratedVariable(String name,
VariableType<O> type,
OPPLFunction<String> value) |
GeneratedVariable<org.semanticweb.owlapi.model.OWLClassExpression> |
ConstraintSystem.createUnionGeneratedVariable(String name,
VariableType<?> type,
Collection<? extends Aggregandum<Collection<? extends org.semanticweb.owlapi.model.OWLClassExpression>>> operands) |
<O extends org.semanticweb.owlapi.model.OWLObject> |
ConstraintSystem.createVariable(String name,
VariableType<O> type,
VariableScope<?> variableScope) |
<O extends org.semanticweb.owlapi.model.OWLObject> |
ConstraintSystem.createVariableWithVerifiedName(String name,
VariableType<O> type,
VariableScope<?> variableScope) |
| Modifier and Type | Method and Description |
|---|---|
protected static <I> boolean |
Adapter.isCompatible(Aggregandum<I> aggregandum,
VariableType<?> type) |
abstract boolean |
Create.isCompatible(VariableType<?> variableType) |
boolean |
Aggregandum.isCompatible(VariableType<?> variableType) |
| Modifier and Type | Method and Description |
|---|---|
static <P extends org.semanticweb.owlapi.model.OWLObject> |
InlineSet.buildInlineSet(org.semanticweb.owlapi.model.OWLDataFactory dataFactory,
ConstraintSystem constraintSystem,
VariableType<P> variableType,
Collection<? extends InlineSet<P>> components,
P... objects) |
| 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 | Method and Description |
|---|---|
VariableType<O> |
RegexpGeneratedVariable.getType() |
VariableType<O> |
GeneratedVariable.getType() |
| Modifier and Type | Method and Description |
|---|---|
static <P extends org.semanticweb.owlapi.model.OWLObject> |
GeneratedVariable.getGeneratedVariable(String name,
VariableType<P> type,
OPPLFunction<? extends P> opplFunction) |
| Constructor and Description |
|---|
GeneratedVariable(String name,
VariableType<O> type,
OPPLFunction<? extends O> opplFunction) |
RegexpGeneratedVariable(String name,
VariableType<O> type,
OPPLFunction<Pattern> patternGeneratingOPPLFunction) |
| Modifier and Type | Class and Description |
|---|---|
class |
ANNOTATIONPROPERTYVariableType |
class |
CLASSVariableType |
class |
CONSTANTVariableType |
class |
DATAPROPERTYVariableType |
class |
INDIVIDUALVariableType |
class |
OBJECTPROPERTYVariableType |
| Modifier and Type | Method and Description |
|---|---|
static VariableType<org.semanticweb.owlapi.model.OWLAnnotationProperty> |
VariableTypeFactory.getANNOTATIONPROPERTYVariableType() |
static VariableType<org.semanticweb.owlapi.model.OWLClassExpression> |
VariableTypeFactory.getCLASSVariableType() |
static VariableType<org.semanticweb.owlapi.model.OWLLiteral> |
VariableTypeFactory.getCONSTANTVariableType() |
static VariableType<org.semanticweb.owlapi.model.OWLDataPropertyExpression> |
VariableTypeFactory.getDATAPROPERTYVariableType() |
static VariableType<org.semanticweb.owlapi.model.OWLIndividual> |
VariableTypeFactory.getINDIVIDUALVariableType() |
static VariableType<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> |
VariableTypeFactory.getOBJECTPROPERTYTypeVariableType() |
VariableType<O> |
InputVariable.getType() |
static VariableType<?> |
VariableTypeFactory.getVariableType(org.semanticweb.owlapi.model.OWLObject owlObject) |
static VariableType<?> |
VariableTypeFactory.getVariableType(String variableTypeName) |
static VariableType<?> |
VariableTypeFactory.getVariableType(VariableTypeName variableTypeName) |
| Modifier and Type | Method and Description |
|---|---|
static Set<VariableType<?>> |
VariableTypeFactory.getAllVariableTypes() |
| Modifier and Type | Method and Description |
|---|---|
static <O extends org.semanticweb.owlapi.model.OWLObject> |
VariableFactory.getGeneratedVariable(String name,
VariableType<O> type,
OPPLFunction<? extends O> opplFunction) |
static <O extends org.semanticweb.owlapi.model.OWLObject> |
VariableFactory.getRegexpGeneratedVariable(String name,
VariableType<O> type,
OPPLFunction<Pattern> opplFunction) |
| Modifier and Type | Method and Description |
|---|---|
VariableType<?> |
OPPLSymbolTable.getAggregandumCollectionType(Collection<? extends Aggregandum<?>> aggregandums,
List<OPPLSyntaxTree> aggregandumsTrees,
OPPLSyntaxTree parentExpression) |
abstract VariableType<?> |
VariableTypes.getOPPLVariableType() |
VariableType<?> |
OPPLSymbolTable.getVariableType(ManchesterOWLSyntaxTree variableType) |
| 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) |
<P extends org.semanticweb.owlapi.model.OWLObject,O extends VariableAttribute<Collection<? extends P>>> |
OPPLSymbolTable.getCollectionVariableAttributeSymbol(VariableType<?> type,
OPPLSyntaxTree attributeSyntaxTree) |
static VariableTypes |
VariableTypes.getVariableType(VariableType<?> variableType) |
Copyright © 2015 The University of Manchester. All Rights Reserved.