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

Packages that use SigIndex

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

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

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

Modifier and Type	Method and Description
SigIndex	TModularizer.getSigIndex() get RW access to the sigIndex (mainly to (un-)register axioms on the fly)