public class BuilderObjectMinCardinality extends BaseObjectBuilder<OWLObjectMinCardinality,BuilderObjectMinCardinality> implements SettableCardinality<BuilderObjectMinCardinality>
Constructor and Description |
---|
BuilderObjectMinCardinality(OWLDataFactory df) |
BuilderObjectMinCardinality(OWLObjectMinCardinality expected,
OWLDataFactory df)
Builder initialized from an existing object.
|
Modifier and Type | Method and Description |
---|---|
OWLObjectMinCardinality |
buildObject() |
int |
getCardinality()
Gets the cardinality of a restriction.
|
BuilderObjectMinCardinality |
withCardinality(int arg) |
getRange, withRange
getProperty, withProperty
applyChanges, clearAnnotations, withAnnotation, withAnnotations, withAnnotations
public BuilderObjectMinCardinality(OWLObjectMinCardinality expected, OWLDataFactory df)
expected
- the existing objectdf
- data factory@Inject public BuilderObjectMinCardinality(OWLDataFactory df)
df
- data factorypublic BuilderObjectMinCardinality withCardinality(int arg)
withCardinality
in interface SettableCardinality<BuilderObjectMinCardinality>
arg
- cardinality to setpublic int getCardinality()
HasCardinality
getCardinality
in interface HasCardinality
public OWLObjectMinCardinality buildObject()
buildObject
in interface Builder<OWLObjectMinCardinality>
buildObject
in class BaseBuilder<OWLObjectMinCardinality,BuilderObjectMinCardinality>
Copyright © 2020 The University of Manchester. All rights reserved.