AxiomAppearance
, IndividualAppearance
public class AlwaysOutputId extends Object implements IndividualAppearance, AxiomAppearance
Constructor | Description |
---|---|
AlwaysOutputId() |
Modifier and Type | Method | Description |
---|---|---|
boolean |
appearsMultipleTimes(OWLAnonymousIndividual i) |
|
boolean |
appearsMultipleTimes(OWLAxiom ax) |
public boolean appearsMultipleTimes(OWLAnonymousIndividual i)
appearsMultipleTimes
in interface IndividualAppearance
i
- an anonymous individualpublic boolean appearsMultipleTimes(OWLAxiom ax)
appearsMultipleTimes
in interface AxiomAppearance
ax
- an axiomCopyright © 2018 The University of Manchester. All rights reserved.