Uses of Interface
uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NamedEntity

Packages that use NamedEntity

Package	Description
uk.ac.manchester.cs.jfact.kernel
uk.ac.manchester.cs.jfact.kernel.dl
uk.ac.manchester.cs.jfact.split

Uses of NamedEntity in uk.ac.manchester.cs.jfact.kernel

Fields in uk.ac.manchester.cs.jfact.kernel declared as NamedEntity

Modifier and Type	Field and Description
protected NamedEntity	NamedEntry.entity

Methods in uk.ac.manchester.cs.jfact.kernel that return NamedEntity

Modifier and Type	Method and Description
NamedEntity	NamedEntry.getEntity()

Methods in uk.ac.manchester.cs.jfact.kernel with parameters of type NamedEntity

Modifier and Type	Method and Description
void	NamedEntry.setEntity(NamedEntity entity)

Uses of NamedEntity in uk.ac.manchester.cs.jfact.kernel.dl

Classes in uk.ac.manchester.cs.jfact.kernel.dl that implement NamedEntity

Modifier and Type	Class and Description
class	ConceptName
class	DataRoleName
class	IndividualName
class	NamedEntityImpl
class	ObjectRoleName

Uses of NamedEntity in uk.ac.manchester.cs.jfact.split

Methods in uk.ac.manchester.cs.jfact.split that return NamedEntity

Modifier and Type	Method and Description
NamedEntity	TSplitRules.getEntity(int bp)

Methods in uk.ac.manchester.cs.jfact.split that return types with arguments of type NamedEntity

Modifier and Type	Method and Description
Set<NamedEntity>	TSignature.begin()
List<NamedEntity>	TSignature.intersect(TSignature s2)

Methods in uk.ac.manchester.cs.jfact.split with parameters of type NamedEntity

Modifier and Type	Method and Description
void	TSignature.add(NamedEntity p) add names to signature
boolean	TSignature.containsNamedEntity(NamedEntity p)
Collection<Axiom>	SigIndex.getAxioms(NamedEntity entity) given an entity, return a set of all axioms that tontain this entity in a signature
void	TSignature.remove(NamedEntity p) remove given element from a signature

Method parameters in uk.ac.manchester.cs.jfact.split with type arguments of type NamedEntity

Modifier and Type	Method and Description
boolean	TSplitRules.TSplitRule.canFire(Set<NamedEntity> CurrentSig) check whether signatures of a rule are related to current signature in such a way that allows rule to fire
DepSet	TSplitRules.TSplitRule.fireDep(Set<NamedEntity> CurrentSig, Map<NamedEntity,DepSet> SigDep) calculates dep-set for a rule that can fire, write it to DEP.
DepSet	TSplitRules.TSplitRule.fireDep(Set<NamedEntity> CurrentSig, Map<NamedEntity,DepSet> SigDep) calculates dep-set for a rule that can fire, write it to DEP.