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

Packages that use TSplitVar

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

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

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

Modifier and Type	Field and Description
protected List<TSplitVar>	TSplitVars.Base
protected Map<ConceptName,TSplitVar>	TSplitVars.Index
protected Set<TSplitVar>	TAxiomSplitter.RejSplits

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

Modifier and Type	Method and Description
protected TSplitVar	TAxiomSplitter.splitImplicationsFor(ConceptName oldName) split all implications corresponding to oldName; @return split pointer

Methods in uk.ac.manchester.cs.jfact.split that return types with arguments of type TSplitVar

Modifier and Type	Method and Description
List<TSplitVar>	TSplitVars.getEntries()