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