Uses of Class
uk.ac.manchester.cs.jfact.kernel.modelcaches.ModelCacheIan

Packages that use ModelCacheIan

Package	Description
uk.ac.manchester.cs.jfact.kernel.modelcaches

Uses of ModelCacheIan in uk.ac.manchester.cs.jfact.kernel.modelcaches

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

Modifier and Type	Method and Description
ModelCacheState	ModelCacheIan.isMergableIan(ModelCacheIan q)