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 with parameters of type TSignature

Modifier and Type	Method and Description
void	ReasoningKernel.setSignature(TSignature sig) set the signature of the expression translator

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	Axiom.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	TSplitVar.Entry.sig
protected TSignature	TAxiomSplitter.sig

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

Modifier and Type	Method and Description
TSignature	TModularizer.getSignature() get access to a signature
TSignature	SyntacticLocalityChecker.getSignature()
TSignature	SemanticLocalityChecker.getSignature()
TSignature	LocalityChecker.getSignature()

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

Modifier and Type	Method and Description
void	TModularizer.extract(Collection<Axiom> begin, TSignature signature, ModuleType type) extract module wrt SIGNATURE and TYPE from the set of axioms [BEGIN,END)
List<Axiom>	TModularizer.extractModule(List<Axiom> list, TSignature signature, ModuleType type) extract module wrt SIGNATURE and TYPE from O; @return result in the Set
List<NamedEntity>	TSignature.intersect(TSignature s2)
void	SigAccessor.setSignature(TSignature s)
void	SyntacticLocalityChecker.setSignatureValue(TSignature Sig) set a new value of a signature (without changing a locality parameters)
void	SemanticLocalityChecker.setSignatureValue(TSignature Sig) set a new value of a signature (without changing a locality parameters)
void	LocalityChecker.setSignatureValue(TSignature sig)

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

Constructor and Description
TSignature(TSignature copy)
TSignatureUpdater(TSignature sig)