public class TransitiveRelation extends BasedRelation
Relation.Property
assignable, base, domConstraint, ranConstraint
name, visible
Constructor and Description |
---|
TransitiveRelation(String name,
Ontology ontology,
ConcreteRelation base,
boolean assignable,
Constraint domConstraint,
Constraint ranConstraint) |
Modifier and Type | Method and Description |
---|---|
boolean |
hasProperty(Relation.Property property) |
Set<Type> |
relatedTo(Type subject,
ConcreteRelation topOfStack) |
protected Maplet |
relatedTo(Type subject,
Type object,
ConcreteRelation topOfStack) |
private Set<Type> |
relatedTo2(Type subject,
TreeSet<Type> recursion,
ConcreteRelation topOfStack) |
private Maplet |
relatedTo2(Type subject,
Type object,
Vector<Maplet> recursion,
ConcreteRelation topOfStack) |
String |
toStringOptions() |
add, getBaseName, getUses, isAssignable, isBasedOn, remove, setVisible, toString, toStringComment
compareTo, getName, getOntology, getRelativeName, isMark, isVisible, relatedTo, relatedTo, relatedToX, setMark, setName
public TransitiveRelation(String name, Ontology ontology, ConcreteRelation base, boolean assignable, Constraint domConstraint, Constraint ranConstraint) throws IllegalOperationException
name
- base
- assignable
- IllegalOperationException
protected Maplet relatedTo(Type subject, Type object, ConcreteRelation topOfStack)
relatedTo
in class ConcreteRelation
private Maplet relatedTo2(Type subject, Type object, Vector<Maplet> recursion, ConcreteRelation topOfStack)
public Set<Type> relatedTo(Type subject, ConcreteRelation topOfStack)
relatedTo
in class ConcreteRelation
private Set<Type> relatedTo2(Type subject, TreeSet<Type> recursion, ConcreteRelation topOfStack)
public boolean hasProperty(Relation.Property property)
hasProperty
in interface Relation
hasProperty
in class ConcreteRelation
public String toStringOptions()
toStringOptions
in class ConcreteRelation