Uses of Interface
net.sf.tweety.logics.commons.analysis.InterpolantEnumerator

Packages that use InterpolantEnumerator

Package	Description
net.sf.tweety.logics.pl.analysis

Uses of InterpolantEnumerator in net.sf.tweety.logics.pl.analysis

Classes in net.sf.tweety.logics.pl.analysis that implement InterpolantEnumerator

Modifier and Type	Class	Description
class	SimplePlInterpolantEnumerator	Implements an exhaustive search approach to compute all interpolants of a knowledge base wrt.