Uses of Class
uk.ac.manchester.cs.jfact.kernel.dl.ConceptName

Packages that use ConceptName

Package	Description
uk.ac.manchester.cs.jfact.elf
uk.ac.manchester.cs.jfact.kernel
uk.ac.manchester.cs.jfact.split
uk.ac.manchester.cs.jfact.visitors

Uses of ConceptName in uk.ac.manchester.cs.jfact.elf

Methods in uk.ac.manchester.cs.jfact.elf with parameters of type ConceptName

Modifier and Type	Method and Description
void	ELFExpressionChecker.visit(ConceptName expr)

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

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

Modifier and Type	Method and Description
ConceptName	ExpressionManager.ConceptNameCreator.makeEntry(String name)

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

Modifier and Type	Method and Description
DLTree	ExpressionTranslator.visit(ConceptName expr)

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

Fields in uk.ac.manchester.cs.jfact.split declared as ConceptName

Modifier and Type	Field and Description
ConceptName	TSplitVar.Entry.name
ConceptName	TSplitVar.oldName

Fields in uk.ac.manchester.cs.jfact.split with type parameters of type ConceptName

Modifier and Type	Field and Description
protected Map<ConceptName,Set<AxiomConceptInclusion>>	TAxiomSplitter.ImplNames
protected Map<ConceptName,TAxiomSplitter.TRecord>	TAxiomSplitter.ImpRens
protected Map<ConceptName,TSplitVar>	TSplitVars.Index
protected Set<ConceptName>	TAxiomSplitter.Rejects
protected Set<ConceptName>	TAxiomSplitter.SubNames

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

Modifier and Type	Method and Description
protected ConceptName	TAxiomSplitter.getEqSplit(AxiomEquivalentConcepts ce) check whether an equivalent axiom is splittable; @return split name or NULL if not splittable
protected ConceptName	TAxiomSplitter.rename(ConceptName oldName) rename old concept into a new one with a fresh name

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

Modifier and Type	Method and Description
protected TAxiomSplitter.TRecord	TAxiomSplitter.getImpRec(ConceptName oldName) get imp record of a given name; create if necessary
protected TAxiomSplitter.TRecord	TAxiomSplitter.makeImpSplit(ConceptName oldName) make implication split for a given old NAME
protected ConceptName	TAxiomSplitter.rename(ConceptName oldName) rename old concept into a new one with a fresh name
protected TSplitVar	TAxiomSplitter.splitImplicationsFor(ConceptName oldName) split all implications corresponding to oldName; @return split pointer
void	TopEquivalenceEvaluator.visit(ConceptName expr)
void	BotEquivalenceEvaluator.visit(ConceptName expr)

Uses of ConceptName in uk.ac.manchester.cs.jfact.visitors

Methods in uk.ac.manchester.cs.jfact.visitors with parameters of type ConceptName

Modifier and Type	Method and Description
A	DLExpressionVisitorExAdapter.visit(ConceptName expr)
O	DLExpressionVisitorEx.visit(ConceptName expr)
void	DLExpressionVisitorAdapter.visit(ConceptName expr)
void	DLExpressionVisitor.visit(ConceptName expr)