Uses of Class
uk.ac.manchester.cs.jfact.kernel.ExpressionManager

Packages that use ExpressionManager

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

Uses of ExpressionManager in uk.ac.manchester.cs.jfact

Fields in uk.ac.manchester.cs.jfact declared as ExpressionManager

Modifier and Type	Field and Description
protected ExpressionManager	TranslationMachinery.em

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

Constructors in uk.ac.manchester.cs.jfact.elf with parameters of type ExpressionManager

Constructor and Description
ELFNormalizer(ExpressionManager p)

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

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

Modifier and Type	Method and Description
ExpressionManager	ReasoningKernel.getExpressionManager() get access to an expression manager
ExpressionManager	Ontology.getExpressionManager() get access to an expression manager

Constructors in uk.ac.manchester.cs.jfact.kernel with parameters of type ExpressionManager

Constructor and Description
TDag2Interface(DLDag dag, ExpressionManager manager) init c'tor

Uses of ExpressionManager in uk.ac.manchester.cs.jfact.kernel.actors

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

Modifier and Type	Method and Description
Expression	Policy.buildTree(ExpressionManager EM, ClassifiableEntry p)
Expression	ObjectPropertyPolicy.buildTree(ExpressionManager EM, ClassifiableEntry p)
Expression	IndividualPolicy.buildTree(ExpressionManager EM, ClassifiableEntry p)
Expression	DataPropertyPolicy.buildTree(ExpressionManager EM, ClassifiableEntry p)
Expression	ClassPolicy.buildTree(ExpressionManager EM, ClassifiableEntry p)

Constructors in uk.ac.manchester.cs.jfact.kernel.actors with parameters of type ExpressionManager

Constructor and Description
TaxonomyActor(ExpressionManager em, Policy policy)

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

Constructors in uk.ac.manchester.cs.jfact.split with parameters of type ExpressionManager

Constructor and Description
KnowledgeExplorer(TBox box, ExpressionManager pEM)