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

Packages that use BotEquivalenceEvaluator

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

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

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

Modifier and Type	Method and Description
void	TopEquivalenceEvaluator.setBotEval(BotEquivalenceEvaluator eval) set the corresponding bottom evaluator