Uses of Class
uk.ac.manchester.cs.jfact.split.TSignature

Packages that use TSignature

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

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

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

Modifier and Type	Method and Description
TSignature	DLConceptTaxonomy.buildSignature(ClassifiableEntry p)
TSignature	Ontology.getSignature()
TSignature	TBox.getSignature(ClassifiableEntry c)

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

Modifier and Type	Method and Description
void	DLConceptTaxonomy.reclassify(TaxonomyVertex node, TSignature s)
void	ReasoningKernel.setSignature(TSignature sig) set the signature of the expression translator
void	ExpressionTranslator.setSignature(TSignature s) set internal signature to a given signature S

Method parameters in uk.ac.manchester.cs.jfact.kernel with type arguments of type TSignature

Modifier and Type	Method and Description
void	TBox.setNameSigMap(Map<NamedEntity,TSignature> p) set NameSigMap

Uses of TSignature in uk.ac.manchester.cs.jfact.kernel.dl.interfaces

Methods in uk.ac.manchester.cs.jfact.kernel.dl.interfaces that return TSignature

Modifier and Type	Method and Description
TSignature	AxiomInterface.getSignature()

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

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

Modifier and Type	Field and Description
TSignature	SplitVarEntry.sig signature

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

Modifier and Type	Method and Description
TSignature	TModularizer.getSignature()
TSignature	SemanticLocalityChecker.getSignature()
TSignature	LocalityChecker.getSignature()
TSignature	GeneralSyntacticLocalityChecker.getSignature()

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

Modifier and Type	Method and Description
void	TSignature.add(TSignature Sig) add another signature to a given one
void	TModularizer.extract(AxiomInterface begin, TSignature signature, ModuleType type)
void	TModularizer.extract(Collection<AxiomInterface> begin, TSignature signature, ModuleType type) extract module wrt SIGNATURE and TYPE from the set of axioms [BEGIN,END)
List<AxiomInterface>	TModularizer.extractModule(List<AxiomInterface> list, TSignature signature, ModuleType type) extract module wrt SIGNATURE and TYPE from O;
List<AxiomInterface>	OntologyBasedModularizer.getModule(List<AxiomInterface> axioms, TSignature sig, ModuleType type)
List<AxiomInterface>	OntologyBasedModularizer.getModule(TSignature sig, ModuleType type)
List<NamedEntity>	TSignature.intersect(TSignature s2)
void	SigAccessor.setSignature(TSignature s)
void	SemanticLocalityChecker.setSignatureValue(TSignature Sig) set a new value of a signature (without changing a locality parameters)
void	LocalityChecker.setSignatureValue(TSignature sig)
void	GeneralSyntacticLocalityChecker.setSignatureValue(TSignature Sig) set a new value of a signature (without changing a locality parameters)
boolean	TSignature.subset(TSignature sig, boolean improper)

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

Constructor and Description
ExtendedSyntacticLocalityChecker(TSignature s) init c'tor
GeneralSyntacticLocalityChecker(TSignature sig) init c'tor
SigAccessor(TSignature s)
TSignature(TSignature copy)
TSignatureUpdater(TSignature sig)