Uses of Class
uk.ac.manchester.cs.jfact.split.TAxiomSplitter.TRecord

Packages that use TAxiomSplitter.TRecord

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

Uses of TAxiomSplitter.TRecord in uk.ac.manchester.cs.jfact.split

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

Modifier and Type	Field and Description
protected Map<ConceptName,TAxiomSplitter.TRecord>	TAxiomSplitter.ImpRens
protected List<TAxiomSplitter.TRecord>	TAxiomSplitter.R2
protected List<TAxiomSplitter.TRecord>	TAxiomSplitter.Renames

Methods in uk.ac.manchester.cs.jfact.split that return TAxiomSplitter.TRecord

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

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

Modifier and Type	Method and Description
protected void	TAxiomSplitter.buildSig(TAxiomSplitter.TRecord rec) create a signature of a module corresponding to a new axiom in record
protected boolean	TAxiomSplitter.checkSplitCorrectness(TAxiomSplitter.TRecord rec) check whether the record is independent wrt modularity; @return true iff split was incorrect
void	TAxiomSplitter.processRec(TAxiomSplitter.TRecord rec) process (register/unregister) axioms in a record REC